The SCEAS System
Navigation Menu

Search the dblp DataBase


Sorin Lerner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.004secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002