This talk video (slides) summarizes the high-level motivation and results of our primary line of research on superoptimization-based compiler design.
|[ CGO 2022 ]||Automatic Generation of Debug Headers through Blackbox Equivalence Checking|
|[ OOPSLA 2020 ]||
Counterexample-Guided Correlation Algorithm for Translation Validation [ 4-min video, 15-min video ]
More details in Shubhani's PhD thesis.
|[ PLDI 2020 ]||
OOElala: Order-Of-Evaluation based Alias Analysis for compiler optimization [ Short Video, Fun Video, Full Video ]
|[ APLAS 2017 ]||
Black-box equivalence checking across compiler optimizations
More details in Manjeet Dahiya's PhD thesis.
|[ SOSP 2013 ]||
Fast Dynamic Binary Translation for the Kernel [ talk video ]
This was the first SOSP paper ever from India.
|[ OSDI 2008 ]||
Binary Translation Using Peephole Superoptimizers
|[ ASPLOS 2006 ]||
Automatic Generation of Peephole Superoptimizers
This paper has received significant attention since it was published. Our current research is targetted towards generalizing and scaling the ideas presented in this paper.