Sorin Lerner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
55
Venues
22
Active years
2002–2026
Best venue rank
A*
Where they publish
- A*PLDI15 papers
- A*CHI6 papers
- A*POPL5 papers
- A*ICSE4 papers
- A*NDSS3 papers
- AOOPSLA3 papers
- A*UIST2 papers
- CMEMOCODE2 papers
- A*CAV2 papers
- A*IJCAI1 paper
- A*ACL1 paper
- ASIGCSE1 paper
- BGPCE1 paper
- A*HPCA1 paper
- BCPP1 paper
- Journal PublishedEMSOFT1 paper
- CFDG1 paper
- A*SP1 paper
- A*OSDI1 paper
- A*CCS1 paper
- AICCAD1 paper
- BSAS1 paper
Papers
55 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CHI | Tidynote: Always-Clear Notebook Authoring. | Ruanqianqian (Lisa) Huang, Brian Hempel, Yining Cao, James D. Hollan, Haijun Xia, Sorin Lerner |
| 2025 | IJCAI | Synthesizing Composite Hierarchical Structure from Symbolic Music Corpora. | Ilana Shapiro, Ruanqianqian (Lisa) Huang, Zachary Novack, Cheng-i Wang, Hao-Wen Dong, Taylor Berg-Kirkpatrick, Shlomo Dubnov, Sorin Lerner |
| 2025 | ICSE | How Scientists Use Jupyter Notebooks: Goals, Quality Attributes, and Opportunities. | Ruanqianqian (Lisa) Huang, Savitha Ravi, Michael He, Boyu Tian, Sorin Lerner, Michael Coblenz |
| 2025 | ICSE | Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification. | Kyle Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, Joo F. Ferreira, Sorin Lerner, Emily First |
| 2024 | ACL | Learn from Failure: Fine-tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving. | Chenyang An, Zhibo Chen, Qihao Ye, Emily First, Letian Peng, Jiayun Zhang, Zihan Wang, Sorin Lerner, Jingbo Shang |
| 2024 | CHI | Validating AI-Generated Code with Live Programming. | Kasra Ferdowsi, Ruanqianqian (Lisa) Huang, Michael B. James, Nadia Polikarpova, Sorin Lerner |
| 2022 | SIGCSE | Investigating the Impact of Using a Live Programming Environment in a CS1 Course. | Ruanqianqian (Lisa) Huang, Kasra Ferdowsi, Ana Selvaraj, Adalbert Gerald Soosai Raj, Sorin Lerner |
| 2021 | GPCE | Live programming and programming by example: better together (keynote). | Sorin Lerner |
| 2021 | HPCA | A Computational Stack for Cross-Domain Acceleration. | Sean Kinzer, Joon Kyung Kim, Soroush Ghodrati, Brahmendra Reddy Yatham, Alric Althoff, Divya Mahajan, Sorin Lerner, Hadi Esmaeilzadeh |
| 2021 | NDSS | Доверя'й, но проверя'й: SFI safety for native-compiled Wasm. | Evan Johnson, David Thien, Yousef Alhessi, Shravan Narayan, Fraser Brown, Sorin Lerner, Tyler McMullen, Stefan Savage, Deian Stefan |
| 2021 | PLDI | Scooter & Sidecar: a domain-specific approach to writing secure database migrations. | John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, Deian Stefan |
| 2020 | CHI | Projection Boxes: On-the-fly Reconfigurable Visualization for Live Programming. | Sorin Lerner |
| 2020 | CPP | REPLica: REPL instrumentation for Coq analysis. | Talia Ringer, Alex Sanchez-Stern, Dan Grossman, Sorin Lerner |
| 2020 | PLDI | Towards a verified range analysis for JavaScript JITs. | Fraser Brown, John Renner, Andres Ntzli, Sorin Lerner, Hovav Shacham, Deian Stefan |
| 2020 | PLDI | Generating correctness proofs with neural networks. | Alex Sanchez-Stern, Yousef Alhessi, Lawrence K. Saul, Sorin Lerner |
| 2020 | UIST | Small-Step Live Programming by Example. | Kasra Ferdowsifard, Allen Ordookhanians, Hila Peleg, Sorin Lerner, Nadia Polikarpova |
| 2020 | UIST | Focused Live Programming with Loop Seeds. | Sorin Lerner |
| 2018 | CHI | Inferring Loop Invariants through Gamification. | Dimitar Bounov, Anthony DeRossi, Massimiliano Menarini, William G. Griswold, Sorin Lerner |
| 2018 | PLDI | Finding root causes of floating point error. | Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock |
| 2017 | CHI | User-Guided Synthesis of Interactive Diagrams. | John Sarracino, Odaris Barrios-Arciga, Jasmine Zhu, Noah Marcus, Sorin Lerner, Ben Wiedermann |
| 2016 | EMSOFT | Modular deductive verification of sampled-data systems. | Daniel Ricketts, Gregory Malecha, Sorin Lerner |
| 2016 | NDSS | Protecting C++ Dynamic Dispatch Through VTable Interleaving. | Dimitar Bounov, Rami Gkhan Kici, Sorin Lerner |
| 2016 | POPL | Printing floating-point numbers: a faster, always correct method. | Marc Andrysco, Ranjit Jhala, Sorin Lerner |
| 2015 | CHI | Polymorphic Blocks: Formalism-Inspired UI for Structured Connectors. | Sorin Lerner, Stephen R. Foster, William G. Griswold |
| 2015 | FDG | Seamless Integration of Coding and Gameplay: Writing Code Without Knowing it. | Stephen R. Foster, Sorin Lerner, William G. Griswold |
| 2015 | MEMOCODE | C-to-Verilog translation validation. | Alan Leung, Dimitar Bounov, Sorin Lerner |
| 2015 | MEMOCODE | Towards verification of hybrid systems in a foundational proof assistant. | Daniel Ricketts, Gregory Malecha, Mario M. Alvarez, Vignesh Gowda, Sorin Lerner |
| 2015 | PLDI | Interactive parser synthesis by example. | Alan Leung, John Sarracino, Sorin Lerner |
| 2015 | SP | On Subnormal Floating Point and Abnormal Timing. | Marc Andrysco, David Kohlbrenner, Keaton Mowery, Ranjit Jhala, Sorin Lerner, Hovav Shacham |
| 2014 | NDSS | SafeDispatch: Securing C++ Virtual Calls from Memory Corruption Attacks. | Dongseok Jang, Zachary Tatlock, Sorin Lerner |
| 2014 | PLDI | Automating formal proofs for reactive systems. | Daniel Ricketts, Valentin Robert, Dongseok Jang, Zachary Tatlock, Sorin Lerner |
| 2012 | ICSE | WitchDoctor: IDE support for real-time auto-completion of refactorings. | Stephen R. Foster, William G. Griswold, Sorin Lerner |
| 2012 | OSDI | Towards Verifying Android Apps for the Absence of No-Sleep Energy Bugs. | Panagiotis Vekris, Ranjit Jhala, Sorin Lerner, Yuvraj Agarwal |
| 2012 | PLDI | Verifying GPU kernels by test amplification. | Alan Leung, Manish Gupta, Yuvraj Agarwal, Rajesh Gupta, Ranjit Jhala, Sorin Lerner |
| 2011 | CAV | Equality-Based Translation Validator for LLVM. | Michael Stepp, Ross Tate, Sorin Lerner |
| 2011 | OOPSLA | Using metaphors from natural discussion to improve the design of arcum. | Macneil Shonle, William G. Griswold, Sorin Lerner |
| 2011 | PLDI | Taming wildcards in Java's type system. | Ross Tate, Alan Leung, Sorin Lerner |
| 2010 | CCS | An empirical study of privacy-violating information flows in JavaScript web applications. | Dongseok Jang, Ranjit Jhala, Sorin Lerner, Hovav Shacham |
| 2010 | PLDI | Bringing extensibility to verified compilers. | Zachary Tatlock, Sorin Lerner |
| 2010 | POPL | Generating compiler optimizations from proofs. | Ross Tate, Michael Stepp, Sorin Lerner |
| 2009 | PLDI | Staged information flow for javascript. | Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, Sorin Lerner |
| 2009 | PLDI | Proving optimizations correct using parameterized program equivalence. | Sudipta Kundu, Zachary Tatlock, Sorin Lerner |
| 2009 | POPL | Equality saturation: a new approach to optimization. | Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner |
| 2008 | CAV | Validating High-Level Synthesis. | Sudipta Kundu, Sorin Lerner, Rajesh Gupta |
| 2008 | OOPSLA | When refactoring acts like modularity: keeping options open with persistent condition checking. | Macneil Shonle, William G. Griswold, Sorin Lerner |
| 2008 | OOPSLA | Deep typechecking and refactoring. | Zachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner |
| 2008 | PLDI | Dataflow analysis for concurrent programs using datarace detection. | Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner |
| 2007 | ICCAD | Automated refinement checking of concurrent systems. | Sudipta Kundu, Sorin Lerner, Rajesh Gupta |
| 2007 | ICSE | OPIUM: Optimal Package Install/Uninstall Manager. | Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner |
| 2007 | PLDI | Automatic inference of optimizer flow functions from semantic meanings. | Erika Rice Scherpelz, Sorin Lerner, Craig Chambers |
| 2005 | POPL | Automated soundness proofs for dataflow analyses and transformations via local rules. | Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers |
| 2003 | PLDI | Automatically proving the correctness of compiler optimizations. | Sorin Lerner, Todd D. Millstein, Craig Chambers |
| 2002 | PLDI | ESP: Path-Sensitive Program Verification in Polynomial Time. | Manuvir Das, Sorin Lerner, Mark Seigle |
| 2002 | POPL | Composing dataflow analyses and transformations. | Sorin Lerner, David Grove, Craig Chambers |
| 2002 | SAS | Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. | Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer |