| 2016 | ASPLOS | Scaling up Superoptimization. | Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodk, Dinakar Dhurjati |
| 2016 | CC | GreenThumb: superoptimizer construction framework. | Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodk, Dinakar Dhurjati |
| 2011 | ICST | Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems. | Ajay Chander, Dinakar Dhurjati, Koushik Sen, Dachuan Yu |
| 2009 | FASE | Formal Specification and Analysis of Timing Properties in Software Systems. | Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura |
| 2008 | ISSTA | Dynamic test input generation for web applications. | Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su |
| 2007 | SOSP | Secure virtual architecture: a safe execution environment for commodity operating systems. | John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve |
| 2006 | DSN | Efficiently Detecting All Dangling Pointer Uses in Production Servers. | Dinakar Dhurjati, Vikram S. Adve |
| 2006 | ICSE | Backwards-compatible array bounds checking for C with very low overhead. | Dinakar Dhurjati, Vikram S. Adve |
| 2006 | PLDI | SAFECode: enforcing alias analysis for weakly typed languages. | Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve |
| 2006 | SAS | Path-Sensitive Dataflow Analysis with Iterative Refinement. | Dinakar Dhurjati, Manuvir Das, Yue Yang |
| 2002 | CASES | Ensuring code safety without runtime checks for real-time control systems. | Sumant Kowshik, Dinakar Dhurjati, Vikram S. Adve |