Dinakar Dhurjati

According to our database, Dinakar Dhurjati authored at least 14 papers between 2002 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

GreenThumb: superoptimizer construction framework.

Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodík, Dinakar Dhurjati

Proceedings of the 25th International Conference on Compiler Construction, 2016

Scaling up Superoptimization.

Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodík, Dinakar Dhurjati

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2011

Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems.

Ajay Chander, Dinakar Dhurjati, Koushik Sen, Dachuan Yu

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2009

Formal Specification and Analysis of Timing Properties in Software Systems.

Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008

Dynamic test input generation for web applications.

Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

2007

Secure virtual architecture: a safe execution environment for commodity operating systems.

John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve

Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

2006

SAFECode: A Platform for Developing Reliable Software in Unsafe Languages

Dinakar Dhurjati

PhD thesis, 2006

Path-Sensitive Dataflow Analysis with Iterative Refinement.

Dinakar Dhurjati, Manuvir Das, Yue Yang

Proceedings of the Static Analysis, 13th International Symposium, 2006

SAFECode: enforcing alias analysis for weakly typed languages.

Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Backwards-compatible array bounds checking for C with very low overhead.

Dinakar Dhurjati, Vikram S. Adve

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Efficiently Detecting All Dangling Pointer Uses in Production Servers.

Dinakar Dhurjati, Vikram S. Adve

Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

2005

Memory safety without garbage collection for embedded applications.

Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner

ACM Trans. Embed. Comput. Syst., 2005

2003

Memory safety without runtime checks or garbage collection.

Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner

Proceedings of the 2003 Conference on Languages, 2003

2002

Ensuring code safety without runtime checks for real-time control systems.

Sumant Kowshik, Dinakar Dhurjati, Vikram S. Adve

Proceedings of the International Conference on Compilers, 2002