Sorin Lerner

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 37

Top Topics

Oracle Database G Express Edition

Control Structures

Top Venues

Publications

Chenyang An, Zhibo Chen, Qihao Ye, Emily First, Letian Peng, Jiayun Zhang, Zihan Wang, Sorin Lerner, Jingbo Shang
Learn from Failure: Fine-tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving. ACL (1) (2024)
Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F. Ferreira, Emily First
CoqPyt: Proof Navigation in Python in the Era of LLMs. SIGSOFT FSE Companion (2024)
Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F. Ferreira, Emily First
CoqPyt: Proof Navigation in Python in the Era of LLMs. CoRR (2024)
Kasra Ferdowsi, Ruanqianqian (Lisa) Huang, Michael B. James, Nadia Polikarpova, Sorin Lerner
Validating AI-Generated Code with Live Programming. CHI (2024)
Chenyang An, Zhibo Chen, Qihao Ye, Emily First, Letian Peng, Jiayun Zhang, Zihan Wang, Sorin Lerner, Jingbo Shang
Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving. CoRR (2024)
Kasra Ferdowsi, Ruanqianqian (Lisa) Huang, Michael B. James, Nadia Polikarpova, Sorin Lerner
Live Exploration of AI-Generated Programs. CoRR (2023)
Aishwarya Sivaraman, Alex Sanchez-Stern, Bretton Chen, Sorin Lerner, Todd D. Millstein
Data-driven lemma synthesis for interactive proofs. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Ruanqianqian (Lisa) Huang, Kasra Ferdowsi, Ana Selvaraj, Adalbert Gerald Soosai Raj, Sorin Lerner
Investigating the Impact of Using a Live Programming Environment in a CS1 Course. SIGCSE (1) (2022)
Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, Nadia Polikarpova
LooPy: interactive program synthesis with control structures. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Dylan Lukes, John Sarracino, Cora Coleman, Hila Peleg, Sorin Lerner, Nadia Polikarpova
Synthesis of web layouts from examples. ESEC/SIGSOFT FSE (2021)
John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, Deian Stefan
Scooter & Sidecar: a domain-specific approach to writing secure database migrations. PLDI (2021)
Evan Johnson, David Thien, Yousef Alhessi, Shravan Narayan, Fraser Brown, Sorin Lerner, Tyler McMullen, Stefan Savage, Deian Stefan
Доверя'й, но проверя'й: SFI safety for native-compiled Wasm. NDSS (2021)
Sean Kinzer, Joon Kyung Kim, Soroush Ghodrati, Brahmendra Reddy Yatham, Alric Althoff, Divya Mahajan, Sorin Lerner, Hadi Esmaeilzadeh
A Computational Stack for Cross-Domain Acceleration. HPCA (2021)
Sorin Lerner
Live programming and programming by example: better together (keynote). GPCE (2021)
Shravan Narayan, Craig Disselkoen, Tal Garfinkel, Nathan Froyd, Eric Rahm, Sorin Lerner, Hovav Shacham, Deian Stefan
Retrofitting Fine Grain Isolation in the Firefox Renderer (Extended Version). CoRR (2020)
Alex Sanchez-Stern, Yousef Alhessi, Lawrence K. Saul, Sorin Lerner
Generating correctness proofs with neural networks. MAPL@PLDI (2020)
Eman Sherif, Andy Liu, Brian Nguyen, Sorin Lerner, William G. Griswold
Gamification to Aid the Learning of Test Coverage Concepts. CSEE&T (2020)
Talia Ringer, Alex Sanchez-Stern, Dan Grossman, Sorin Lerner
REPLica: REPL instrumentation for Coq analysis. CPP (2020)
Kasra Ferdowsifard, Allen Ordookhanians, Hila Peleg, Sorin Lerner, Nadia Polikarpova
Small-Step Live Programming by Example. UIST (2020)
Fraser Brown, John Renner, Andres Nötzli, Sorin Lerner, Hovav Shacham, Deian Stefan
Towards a verified range analysis for JavaScript JITs. PLDI (2020)
Shravan Narayan, Craig Disselkoen, Tal Garfinkel, Nathan Froyd, Eric Rahm, Sorin Lerner, Hovav Shacham, Deian Stefan
Retrofitting Fine Grain Isolation in the Firefox Renderer. USENIX Security Symposium (2020)
Sorin Lerner
Projection Boxes: On-the-fly Reconfigurable Visualization for Live Programming. CHI (2020)
Sorin Lerner
Focused Live Programming with Loop Seeds. UIST (2020)
Alex Sanchez-Stern, Yousef Alhessi, Lawrence K. Saul, Sorin Lerner
Generating Correctness Proofs with Neural Networks. CoRR (2019)
John Sarracino, Shraddha Barke, Nadia Polikarpova, Sorin Lerner
Targeted Synthesis for Programming with Data Invariants. CoRR (2019)
Shravan Narayan, Tal Garfinkel, Sorin Lerner, Hovav Shacham, Deian Stefan
Gobi: WebAssembly as a Practical Path to Library Sandboxing. CoRR (2019)
Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock
Finding root causes of floating point error. PLDI (2018)
Azad Ghaffari, Imoleayo Abel, Daniel Ricketts, Sorin Lerner, Miroslav Krstic
Safety Verification Using Barrier Certificates with Application to Double Integrator with Input Saturation and Zero-Order Hold. ACC (2018)
Dimitar Bounov, Anthony DeRossi, Massimiliano Menarini, William G. Griswold, Sorin Lerner
Inferring Loop Invariants through Gamification. CHI (2018)
John Sarracino, Odaris Barrios-Arciga, Jasmine Zhu, Noah Marcus, Sorin Lerner, Ben Wiedermann
User-Guided Synthesis of Interactive Diagrams. CHI (2017)
Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock
Finding Root Causes of Floating Point Error with Herbgrind. CoRR (2017)
Alan Leung, Sorin Lerner
Parsimony: an IDE for example-guided synthesis of lexers and parsers. ASE (2017)
Zhaomo Yang, Brian Johannesmeyer, Anders Trier Olesen, Sorin Lerner, Kirill Levchenko
Dead Store Elimination (Still) Considered Harmful. USENIX Security Symposium (2017)
Gregory Malecha, Daniel Ricketts, Mario M. Alvarez, Sorin Lerner
Towards foundational verification of cyber-physical systems. SOSCYPS@CPSWeek (2016)
Marc Andrysco, Ranjit Jhala, Sorin Lerner
Printing floating-point numbers: a faster, always correct method. POPL (2016)
Dimitar Bounov, Rami Gökhan Kici, Sorin Lerner
Protecting C++ Dynamic Dispatch Through VTable Interleaving. NDSS (2016)
Daniel Ricketts, Gregory Malecha, Sorin Lerner
Modular deductive verification of sampled-data systems. EMSOFT (2016)
Lucas Francisco Wanner, Liangzhen Lai, Abbas Rahimi, Mark Gottscho, Pietro Mercati, Chu-Hsiang Huang, Frederic Sala, Yuvraj Agarwal, Lara Dolecek, Nikil D. Dutt, Puneet Gupta, Rajesh K. Gupta, Ranjit Jhala, Rakesh Kumar, Sorin Lerner, Subhasish Mitra, Alexandru Nicolau, Tajana Simunic Rosing, Mani B. Srivastava, Steven Swanson, Dennis Sylvester, Yuanyuan Zhou
NSF expedition on variability-aware software: Recent results and contributions. it Inf. Technol. 57 (3) (2015)
Marc Andrysco, David Kohlbrenner, Keaton Mowery, Ranjit Jhala, Sorin Lerner, Hovav Shacham
On Subnormal Floating Point and Abnormal Timing. IEEE Symposium on Security and Privacy (2015)
Alan Leung, John Sarracino, Sorin Lerner
Interactive parser synthesis by example. PLDI (2015)
Stephen R. Foster, Sorin Lerner, William G. Griswold
Seamless Integration of Coding and Gameplay: Writing Code Without Knowing it. FDG (2015)
Sorin Lerner, Stephen R. Foster, William G. Griswold
Polymorphic Blocks: Formalism-Inspired UI for Structured Connectors. CHI (2015)
Daniel Ricketts, Gregory Malecha, Mario M. Alvarez, Vignesh Gowda, Sorin Lerner
Towards verification of hybrid systems in a foundational proof assistant. MEMOCODE (2015)
Alan Leung, Dimitar Bounov, Sorin Lerner
C-to-Verilog translation validation. MEMOCODE (2015)
Dongseok Jang, Zachary Tatlock, Sorin Lerner
SafeDispatch: Securing C++ Virtual Calls from Memory Corruption Attacks. NDSS (2014)
Daniel Ricketts, Valentin Robert, Dongseok Jang, Zachary Tatlock, Sorin Lerner
Automating formal proofs for reactive systems. PLDI (2014)
Macneil Shonle, William G. Griswold, Sorin Lerner
A framework for the checking and refactoring of crosscutting concepts. ACM Trans. Softw. Eng. Methodol. 21 (3) (2012)
Dongseok Jang, Zachary Tatlock, Sorin Lerner
Establishing Browser Security Guarantees through Formal Shim Verification. USENIX Security Symposium (2012)
Stephen R. Foster, William G. Griswold, Sorin Lerner
WitchDoctor: IDE support for real-time auto-completion of refactorings. ICSE (2012)
Alan Leung, Manish Gupta, Yuvraj Agarwal, Rajesh Gupta, Ranjit Jhala, Sorin Lerner
Verifying GPU kernels by test amplification. PLDI (2012)
Panagiotis Vekris, Ranjit Jhala, Sorin Lerner, Yuvraj Agarwal
Towards Verifying Android Apps for the Absence of No-Sleep Energy Bugs. HotPower (2012)
Michael Stepp, Ross Tate, Sorin Lerner
Equality-Based Translation Validator for LLVM. CAV (2011)
Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner
Equality Saturation: A New Approach to Optimization Log. Methods Comput. Sci. 7 (1) (2011)
Ross Tate, Alan Leung, Sorin Lerner
Taming wildcards in Java's type system. PLDI (2011)
Macneil Shonle, William G. Griswold, Sorin Lerner
Using metaphors from natural discussion to improve the design of arcum. PLATEAU (2011)
Zachary Tatlock, Sorin Lerner
Bringing extensibility to verified compilers. PLDI (2010)
Ross Tate, Michael Stepp, Sorin Lerner
Generating compiler optimizations from proofs. POPL (2010)
Diane Hu, Laurens van der Maaten, Youngmin Cho, Lawrence K. Saul, Sorin Lerner
Latent Variable Models for Predicting File Dependencies in Large-Scale Software Development. NIPS (2010)
Dongseok Jang, Ranjit Jhala, Sorin Lerner, Hovav Shacham
An empirical study of privacy-violating information flows in JavaScript web applications. CCS (2010)
Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
Translation Validation of High-Level Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29 (4) (2010)
Sudipta Kundu, Zachary Tatlock, Sorin Lerner
Proving optimizations correct using parameterized program equivalence. PLDI (2009)
Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, Sorin Lerner
Staged information flow for javascript. PLDI (2009)
Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner
Equality saturation: a new approach to optimization. POPL (2009)
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
High-Level Verification. IPSJ Trans. Syst. LSI Des. Methodol. 2 (2009)
Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner
Dataflow analysis for concurrent programs using datarace detection. PLDI (2008)
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
Validating High-Level Synthesis. CAV (2008)
Macneil Shonle, William G. Griswold, Sorin Lerner
When refactoring acts like modularity: keeping options open with persistent condition checking. WRT@OOPSLA (2008)
Zachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner
Deep typechecking and refactoring. OOPSLA (2008)
Macneil Shonle, William G. Griswold, Sorin Lerner
Addressing common crosscutting problems with Arcum. PASTE (2008)
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
Automated refinement checking of concurrent systems. ICCAD (2007)
Macneil Shonle, William G. Griswold, Sorin Lerner
Beyond refactoring: a framework for modular maintenance of crosscutting design idioms. ESEC/SIGSOFT FSE (2007)
Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner
OPIUM: Optimal Package Install/Uninstall Manager. ICSE (2007)
Erika Rice Scherpelz, Sorin Lerner, Craig Chambers
Automatic inference of optimizer flow functions from semantic meanings. PLDI (2007)
Jan Wen Voung, Ranjit Jhala, Sorin Lerner
RELAY: static race detection on millions of lines of code. ESEC/SIGSOFT FSE (2007)
Sorin Lerner, Todd D. Millstein, Craig Chambers
Cobalt: A Language for Writing Provably-Sound Compiler Optimizations. Electron. Notes Theor. Comput. Sci. 132 (1) (2005)
Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers
Automated soundness proofs for dataflow analyses and transformations via local rules. POPL (2005)
Sorin Lerner, Todd D. Millstein, Craig Chambers
Automatically proving the correctness of compiler optimizations. PLDI (2003)
Sorin Lerner, David Grove, Craig Chambers
Composing dataflow analyses and transformations. POPL (2002)
Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. SAS (2002)
Manuvir Das, Sorin Lerner, Mark Seigle
ESP: Path-Sensitive Program Verification in Polynomial Time. PLDI (2002)