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. |