Compilers, Software Testing, Software Reliability, Security, Programming Languages, Program Verification

Publications

• Path-Sensitive Dataflow Analysis with Iterative Refinement
  Dinakar Dhurjati, Manuvir Das , Yue Yang
  In Static Analysis Symposium (SAS) 2006.
  
  
• Detecting All Dangling Pointer Uses in Production Servers
  Dinakar Dhurjati and Vikram Adve
  In International Conference on Dependable Systems and Networks (DSN) - DCCS track 2006
  
  
• Enforcing Alias Analysis for Weakly Typed Languages
  Dinakar Dhurjati, Sumant Kowshik and Vikram Adve
  In Proc. ACM SIGNPLAN Conference on Programming Language Design and Implementation (PLDI) 2006.
  
  
• Backwards-Compatible Array Bounds Checking for C with Very Low Overhead
  Dinakar Dhurjati and Vikram Adve
  In International Conference on Software Engineering (ICSE) 2006.
  
  
• Memory Safety Without Garbage Collection for Embedded Applications
  Dinakar Dhurjati, Sumant Kowshik, Vikram Adve and Chris Lattner
  In ACM Transactions on Embedded Computing Systems (TECS) , vol. 4, no. 1, pp. 73-111, February 2005.


• Memory Safety without Runtime Checks or Garbage Collection
  Dinakar Dhurjati, Sumant Kowshik, Vikram Adve and Chris Lattner
  In Languages, Compilers, and Tools for Embedded Systems, (LCTES) 2003
  Selected to appear in a special issue of ACM TECS for best papers from LCTES 2003. The TECS paper above is an updated version of this paper.


• Ensuring Code Safety without Runtime Checks for Real Time Control Systems
  Sumant Kowshik, Dinakar Dhurjati, Vikram Adve. In international conference on Compilers, Architecture, and Synthesis for Embedded Systems, (CASES) 2002.


• A Fast Automaton Method for Detecting Anomalous Program Behaviors
  R. Sekar, M. Bendre, D. Dhurjati and P.Bollineni
  In IEEE Security and Privacy , 2001.