Search the dblp DataBase

Publications of Author

1. Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins
   An overview of the saturn project. [Citation Graph (0, 0)][DBLP]
   PASTE, 2007, pp:43-48 [Conf]
   
2. Isil Dillig, Thomas Dillig, Alex Aiken
   Static error detection using semantic inconsistency inference. [Citation Graph (0, 0)][DBLP]
   PLDI, 2007, pp:435-445 [Conf]
   
3. 
   Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers. [Citation Graph (, )][DBLP]
   
   
4. 
   Fluid Updates: Beyond Strong vs. Weak Updates. [Citation Graph (, )][DBLP]
   
   
5. 
   The CLOSER: automating resource management in java. [Citation Graph (, )][DBLP]
   
   
6. 
   Sound, complete and scalable path-sensitive analysis. [Citation Graph (, )][DBLP]
   
   
7. 
   Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis. [Citation Graph (, )][DBLP]
   
   
8. 
   Reasoning about the unknown in static analysis. [Citation Graph (, )][DBLP]