Dinakar Dhurjati

Publication Activity (10 Years)

Years Active: 2002-2016
Publications (10 Years): 2

Top Topics

Multiresolution

Computational Framework

Social Networks

Top Venues

Publications

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