Publications

Ph.D. Dissertation

Scalable Validation Of Binary Lifters
by Sandeep Dasgupta. [URL] [BIB]

Conferences

Journals & Workshops

Invited Talks

Posters

Services