Dinakar Dhurjati

14 papers A* 4A 3B 4Misc 1Journal 1
YearRankTypeTitle / Venue / Authors
2016 B conf
GreenThumb: superoptimizer construction framework.
CC
Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodík, Dinakar Dhurjati
2016 A* conf
Scaling up Superoptimization.
ASPLOS
Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodík, Dinakar Dhurjati
2011 A conf
Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems.
ICST
Ajay Chander, Dinakar Dhurjati, Koushik Sen, Dachuan Yu
2009 B conf
Formal Specification and Analysis of Timing Properties in Software Systems.
FASE
Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura
2008 A conf
Dynamic test input generation for web applications.
ISSTA
Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su
2007 A* conf
Secure virtual architecture: a safe execution environment for commodity operating systems.
SOSP
John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve
2006 A* conf
Backwards-compatible array bounds checking for C with very low overhead.
ICSE
Dinakar Dhurjati, Vikram S. Adve
2006 A conf
Efficiently Detecting All Dangling Pointer Uses in Production Servers.
DSN
Dinakar Dhurjati, Vikram S. Adve
2006 B conf
Path-Sensitive Dataflow Analysis with Iterative Refinement.
SAS
Dinakar Dhurjati, Manuvir Das, Yue Yang
2006 — —
SAFECode: A Platform for Developing Reliable Software in Unsafe Languages
Dinakar Dhurjati
2006 A* conf
SAFECode: enforcing alias analysis for weakly typed languages.
PLDI
Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve
2005 J jnl
Memory safety without garbage collection for embedded applications.
ACM Trans. Embed. Comput. Syst.
Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner
2003 B conf
Memory safety without runtime checks or garbage collection.
LCTES
Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner
2002 Misc conf
Ensuring code safety without runtime checks for real-time control systems.
CASES
Sumant Kowshik, Dinakar Dhurjati, Vikram S. Adve