Search the dblp DataBase

Publications of Author

1. Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner
   OPIUM: Optimal Package Install/Uninstall Manager. [Citation Graph (0, 0)][DBLP]
   ICSE, 2007, pp:178-188 [Conf]
   
2. Manuvir Das, Sorin Lerner, Mark Seigle
   ESP: Path-Sensitive Program Verification in Polynomial Time. [Citation Graph (0, 0)][DBLP]
   PLDI, 2002, pp:57-68 [Conf]
   
3. Sorin Lerner, Todd D. Millstein, Craig Chambers
   Automatically proving the correctness of compiler optimizations. [Citation Graph (0, 0)][DBLP]
   PLDI, 2003, pp:220-231 [Conf]
   
4. Sorin Lerner, David Grove, Craig Chambers
   Composing dataflow analyses and transformations. [Citation Graph (0, 0)][DBLP]
   POPL, 2002, pp:270-282 [Conf]
   
5. Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers
   Automated soundness proofs for dataflow analyses and transformations via local rules. [Citation Graph (0, 0)][DBLP]
   POPL, 2005, pp:364-377 [Conf]
   
6. Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer
   Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. [Citation Graph (0, 0)][DBLP]
   SAS, 2002, pp:230-246 [Conf]
   
7. Sorin Lerner, Todd D. Millstein, Craig Chambers
   Cobalt: A Language for Writing Provably-Sound Compiler Optimizations. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:132, n:1, pp:5-17 [Journal]
   
8. Erika Rice Scherpelz, Sorin Lerner, Craig Chambers
   Automatic inference of optimizer flow functions from semantic meanings. [Citation Graph (0, 0)][DBLP]
   PLDI, 2007, pp:135-145 [Conf]
   
9. Jan Wen Voung, Ranjit Jhala, Sorin Lerner
   RELAY: static race detection on millions of lines of code. [Citation Graph (0, 0)][DBLP]
   ESEC/SIGSOFT FSE, 2007, pp:205-214 [Conf]
   
10. Macneil Shonle, William G. Griswold, Sorin Lerner
    Beyond refactoring: a framework for modular maintenance of crosscutting design idioms. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:175-184 [Conf]
    
11. 
    Validating High-Level Synthesis. [Citation Graph (, )][DBLP]
    
    
12. 
    Automated refinement checking of concurrent systems. [Citation Graph (, )][DBLP]
    
    
13. 
    Deep typechecking and refactoring. [Citation Graph (, )][DBLP]
    
    
14. 
    Addressing common crosscutting problems with Arcum. [Citation Graph (, )][DBLP]
    
    
15. 
    Dataflow analysis for concurrent programs using datarace detection. [Citation Graph (, )][DBLP]
    
    
16. 
    Proving optimizations correct using parameterized program equivalence. [Citation Graph (, )][DBLP]
    
    
17. 
    Staged information flow for javascript. [Citation Graph (, )][DBLP]
    
    
18. 
    Bringing extensibility to verified compilers. [Citation Graph (, )][DBLP]
    
    
19. 
    Equality saturation: a new approach to optimization. [Citation Graph (, )][DBLP]
    
    
20. 
    Generating compiler optimizations from proofs. [Citation Graph (, )][DBLP]