Sorin Lerner

According to our database, Sorin Lerner authored at least 74 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Live Exploration of AI-Generated Programs.

Kasra Ferdowsi, Ruanqianqian (Lisa) Huang, Michael B. James, Nadia Polikarpova, Sorin Lerner

CoRR, 2023

2022

Data-driven lemma synthesis for interactive proofs.

Aishwarya Sivaraman, Alex Sanchez-Stern, Bretton Chen, Sorin Lerner, Todd D. Millstein

Proc. ACM Program. Lang., 2022

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

Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

2021

LooPy: interactive program synthesis with control structures.

Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, Nadia Polikarpova

Proc. ACM Program. Lang., 2021

Synthesis of web layouts from examples.

Dylan Lukes, John Sarracino, Cora Coleman, Hila Peleg, Sorin Lerner, Nadia Polikarpova

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Scooter & Sidecar: a domain-specific approach to writing secure database migrations.

John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, Deian Stefan

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Доверя'й, но проверя'й: SFI safety for native-compiled Wasm.

Evan Johnson, David Thien, Yousef Alhessi, Shravan Narayan, Fraser Brown, Sorin Lerner, Tyler McMullen, Stefan Savage, Deian Stefan

Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

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

Proceedings of the IEEE International Symposium on High-Performance Computer Architecture, 2021

Live programming and programming by example: better together (keynote).

Sorin Lerner

Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

2020

Retrofitting Fine Grain Isolation in the Firefox Renderer (Extended Version).

Shravan Narayan, Craig Disselkoen, Tal Garfinkel, Nathan Froyd, Eric Rahm, Sorin Lerner, Hovav Shacham, Deian Stefan

CoRR, 2020

Retrofitting Fine Grain Isolation in the Firefox Renderer.

Shravan Narayan, Craig Disselkoen, Tal Garfinkel, Nathan Froyd, Eric Rahm, Sorin Lerner, Hovav Shacham, Deian Stefan

Proceedings of the 29th USENIX Security Symposium, 2020

Focused Live Programming with Loop Seeds.

Sorin Lerner

Proceedings of the UIST '20: The 33rd Annual ACM Symposium on User Interface Software and Technology, 2020

Small-Step Live Programming by Example.

Kasra Ferdowsifard, Allen Ordookhanians, Hila Peleg, Sorin Lerner, Nadia Polikarpova

Proceedings of the UIST '20: The 33rd Annual ACM Symposium on User Interface Software and Technology, 2020

Generating correctness proofs with neural networks.

Alex Sanchez-Stern, Yousef Alhessi, Lawrence K. Saul, Sorin Lerner

Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2020

Towards a verified range analysis for JavaScript JITs.

Fraser Brown, John Renner, Andres Nötzli, Sorin Lerner, Hovav Shacham, Deian Stefan

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Gamification to Aid the Learning of Test Coverage Concepts.

Eman Sherif, Andy Liu, Brian Nguyen, Sorin Lerner, William G. Griswold

Proceedings of the 32nd IEEE Conference on Software Engineering Education and Training, 2020

REPLica: REPL instrumentation for Coq analysis.

Talia Ringer, Alex Sanchez-Stern, Dan Grossman, Sorin Lerner

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

Projection Boxes: On-the-fly Reconfigurable Visualization for Live Programming.

Sorin Lerner

Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020

2019

Gobi: WebAssembly as a Practical Path to Library Sandboxing.

Shravan Narayan, Tal Garfinkel, Sorin Lerner, Hovav Shacham, Deian Stefan

CoRR, 2019

Targeted Synthesis for Programming with Data Invariants.

John Sarracino, Shraddha Barke, Nadia Polikarpova, Sorin Lerner

CoRR, 2019

2018

Finding root causes of floating point error.

Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Inferring Loop Invariants through Gamification.

Dimitar Bounov, Anthony DeRossi, Massimiliano Menarini, William G. Griswold, Sorin Lerner

Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

Safety Verification Using Barrier Certificates with Application to Double Integrator with Input Saturation and Zero-Order Hold.

Azad Ghaffari, Imoleayo Abel, Daniel Ricketts, Sorin Lerner, Miroslav Krstic

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Finding Root Causes of Floating Point Error with Herbgrind.

Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock

CoRR, 2017

Dead Store Elimination (Still) Considered Harmful.

Zhaomo Yang, Brian Johannesmeyer, Anders Trier Olesen, Sorin Lerner, Kirill Levchenko

Proceedings of the 26th USENIX Security Symposium, 2017

Parsimony: an IDE for example-guided synthesis of lexers and parsers.

Alan Leung, Sorin Lerner

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

User-Guided Synthesis of Interactive Diagrams.

John Sarracino, Odaris Barrios-Arciga, Jasmine Zhu, Noah Marcus, Sorin Lerner, Ben Wiedermann

Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

2016

Printing floating-point numbers: a faster, always correct method.

Marc Andrysco, Ranjit Jhala, Sorin Lerner

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Protecting C++ Dynamic Dispatch Through VTable Interleaving.

Dimitar Bounov, Rami Gökhan Kici, Sorin Lerner

Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016

Modular deductive verification of sampled-data systems.

Daniel Ricketts, Gregory Malecha, Sorin Lerner

Proceedings of the 2016 International Conference on Embedded Software, 2016

Towards foundational verification of cyber-physical systems.

Gregory Malecha, Daniel Ricketts, Mario M. Alvarez, Sorin Lerner

Proceedings of the 2016 Science of Security for Cyber-Physical Systems Workshop, 2016

2015

NSF expedition on variability-aware software: Recent results and contributions.

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

it Inf. Technol., 2015

On Subnormal Floating Point and Abnormal Timing.

Marc Andrysco, David Kohlbrenner, Keaton Mowery, Ranjit Jhala, Sorin Lerner, Hovav Shacham

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

Interactive parser synthesis by example.

Alan Leung, John Sarracino, Sorin Lerner

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Towards verification of hybrid systems in a foundational proof assistant.

Daniel Ricketts, Gregory Malecha, Mario M. Alvarez, Vignesh Gowda, Sorin Lerner

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

C-to-Verilog translation validation.

Alan Leung, Dimitar Bounov, Sorin Lerner

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

Seamless Integration of Coding and Gameplay: Writing Code Without Knowing it.

Stephen R. Foster, Sorin Lerner, William G. Griswold

Proceedings of the 10th International Conference on the Foundations of Digital Games, 2015

Polymorphic Blocks: Formalism-Inspired UI for Structured Connectors.

Sorin Lerner, Stephen R. Foster, William G. Griswold

Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015

2014

Automating formal proofs for reactive systems.

Daniel Ricketts, Valentin Robert, Dongseok Jang, Zachary Tatlock, Sorin Lerner

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

SafeDispatch: Securing C++ Virtual Calls from Memory Corruption Attacks.

Dongseok Jang, Zachary Tatlock, Sorin Lerner

Proceedings of the 21st Annual Network and Distributed System Security Symposium, 2014

2012

A framework for the checking and refactoring of crosscutting concepts.

Macneil Shonle, William G. Griswold, Sorin Lerner

ACM Trans. Softw. Eng. Methodol., 2012

Establishing Browser Security Guarantees through Formal Shim Verification.

Dongseok Jang, Zachary Tatlock, Sorin Lerner

Proceedings of the 21th USENIX Security Symposium, Bellevue, WA, USA, August 8-10, 2012, 2012

Verifying GPU kernels by test amplification.

Alan Leung, Manish Gupta, Yuvraj Agarwal, Rajesh Gupta, Ranjit Jhala, Sorin Lerner

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Towards Verifying Android Apps for the Absence of No-Sleep Energy Bugs.

Panagiotis Vekris, Ranjit Jhala, Sorin Lerner, Yuvraj Agarwal

Proceedings of the 2012 Workshop on Power-Aware Computing Systems, HotPower'12, 2012

WitchDoctor: IDE support for real-time auto-completion of refactorings.

Stephen R. Foster, William G. Griswold, Sorin Lerner

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Equality Saturation: A New Approach to Optimization

Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner

Log. Methods Comput. Sci., 2011

Taming wildcards in Java's type system.

Ross Tate, Alan Leung, Sorin Lerner

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Using metaphors from natural discussion to improve the design of arcum.

Macneil Shonle, William G. Griswold, Sorin Lerner

Proceedings of the 3rd ACM SIGPLAN workshop on Evaluation and usability of programming languages and tools, 2011

Equality-Based Translation Validator for LLVM.

Michael Stepp, Ross Tate, Sorin Lerner

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

High-Level Verification - Methods and Tools for Verification of System-Level Designs.

Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta

Springer, ISBN: 978-1-4419-9358-8, 2011

2010

Translation Validation of High-Level Synthesis.

Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

Generating compiler optimizations from proofs.

Ross Tate, Michael Stepp, Sorin Lerner

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Bringing extensibility to verified compilers.

Zachary Tatlock, Sorin Lerner

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Latent Variable Models for Predicting File Dependencies in Large-Scale Software Development.

Diane Hu, Laurens van der Maaten, Youngmin Cho, Lawrence K. Saul, Sorin Lerner

Proceedings of the Advances in Neural Information Processing Systems 23: 24th Annual Conference on Neural Information Processing Systems 2010. Proceedings of a meeting held 6-9 December 2010, 2010

An empirical study of privacy-violating information flows in JavaScript web applications.

Dongseok Jang, Ranjit Jhala, Sorin Lerner, Hovav Shacham

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

2009

High-Level Verification.

Sudipta Kundu, Sorin Lerner, Rajesh Gupta

IPSJ Trans. Syst. LSI Des. Methodol., 2009

Proving optimizations correct using parameterized program equivalence.

Sudipta Kundu, Zachary Tatlock, Sorin Lerner

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Staged information flow for javascript.

Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, Sorin Lerner

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008

Dataflow analysis for concurrent programs using datarace detection.

Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Addressing common crosscutting problems with Arcum.

Macneil Shonle, William G. Griswold, Sorin Lerner

Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2008

Deep typechecking and refactoring.

Zachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

When refactoring acts like modularity: keeping options open with persistent condition checking.

Macneil Shonle, William G. Griswold, Sorin Lerner

Proceedings of the Second ACM Workshop on Refactoring Tools, 2008

Validating High-Level Synthesis.

Sudipta Kundu, Sorin Lerner, Rajesh Gupta

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

RELAY: static race detection on millions of lines of code.

Jan Wen Voung, Ranjit Jhala, Sorin Lerner

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Beyond refactoring: a framework for modular maintenance of crosscutting design idioms.

Macneil Shonle, William G. Griswold, Sorin Lerner

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Automatic inference of optimizer flow functions from semantic meanings.

Erika Rice Scherpelz, Sorin Lerner, Craig Chambers

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

OPIUM: Optimal Package Install/Uninstall Manager.

Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Automated refinement checking of concurrent systems.

Sudipta Kundu, Sorin Lerner, Rajesh Gupta

Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

2005

Automated soundness proofs for dataflow analyses and transformations via local rules.

Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

2004

Cobalt: A Language for Writing Provably-Sound Compiler Optimizations.

Sorin Lerner, Todd D. Millstein, Craig Chambers

Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, 2004

2003

Automatically proving the correctness of compiler optimizations.

Sorin Lerner, Todd D. Millstein, Craig Chambers

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

2002

Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis.

Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer

Proceedings of the Static Analysis, 9th International Symposium, 2002

Composing dataflow analyses and transformations.

Sorin Lerner, David Grove, Craig Chambers

Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

ESP: Path-Sensitive Program Verification in Polynomial Time.

Manuvir Das, Sorin Lerner, Mark Seigle

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002