Sorin Lerner

Orcid: 0000-0003-3957-0628

Affiliations:
  • University of California, San Diego, USA


According to our database1, Sorin Lerner authored at least 77 papers between 2002 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving.
CoRR, 2024

CoqPyt: Proof Navigation in Python in the Era of LLMs.
Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

Validating AI-Generated Code with Live Programming.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2024

2023
Live Exploration of AI-Generated Programs.
CoRR, 2023

2022
Data-driven lemma synthesis for interactive proofs.
Proc. ACM Program. Lang., 2022

Investigating the Impact of Using a Live Programming Environment in a CS1 Course.
Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

2021
LooPy: interactive program synthesis with control structures.
Proc. ACM Program. Lang., 2021

Synthesis of web layouts from examples.
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.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Доверя'й, но проверя'й: SFI safety for native-compiled Wasm.
Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

A Computational Stack for Cross-Domain Acceleration.
Proceedings of the IEEE International Symposium on High-Performance Computer Architecture, 2021

Live programming and programming by example: better together (keynote).
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).
CoRR, 2020

Retrofitting Fine Grain Isolation in the Firefox Renderer.
Proceedings of the 29th USENIX Security Symposium, 2020

Focused Live Programming with Loop Seeds.
Proceedings of the UIST '20: The 33rd Annual ACM Symposium on User Interface Software and Technology, 2020

Small-Step Live Programming by Example.
Proceedings of the UIST '20: The 33rd Annual ACM Symposium on User Interface Software and Technology, 2020

Generating correctness proofs with neural networks.
Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2020

Towards a verified range analysis for JavaScript JITs.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Gamification to Aid the Learning of Test Coverage Concepts.
Proceedings of the 32nd IEEE Conference on Software Engineering Education and Training, 2020

REPLica: REPL instrumentation for Coq analysis.
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

Projection Boxes: On-the-fly Reconfigurable Visualization for Live Programming.
Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020

2019
Gobi: WebAssembly as a Practical Path to Library Sandboxing.
CoRR, 2019

Targeted Synthesis for Programming with Data Invariants.
CoRR, 2019

2018
Finding root causes of floating point error.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Inferring Loop Invariants through Gamification.
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.
Proceedings of the 2018 Annual American Control Conference, 2018

2017
Finding Root Causes of Floating Point Error with Herbgrind.
CoRR, 2017

Dead Store Elimination (Still) Considered Harmful.
Proceedings of the 26th USENIX Security Symposium, 2017

Parsimony: an IDE for example-guided synthesis of lexers and parsers.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

User-Guided Synthesis of Interactive Diagrams.
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

2016
Printing floating-point numbers: a faster, always correct method.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Protecting C++ Dynamic Dispatch Through VTable Interleaving.
Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016

Modular deductive verification of sampled-data systems.
Proceedings of the 2016 International Conference on Embedded Software, 2016

Towards foundational verification of cyber-physical systems.
Proceedings of the 2016 Science of Security for Cyber-Physical Systems Workshop, 2016

2015
NSF expedition on variability-aware software: Recent results and contributions.
it Inf. Technol., 2015

On Subnormal Floating Point and Abnormal Timing.
Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

Interactive parser synthesis by example.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Towards verification of hybrid systems in a foundational proof assistant.
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

C-to-Verilog translation validation.
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.
Proceedings of the 10th International Conference on the Foundations of Digital Games, 2015

Polymorphic Blocks: Formalism-Inspired UI for Structured Connectors.
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015

2014
Automating formal proofs for reactive systems.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

SafeDispatch: Securing C++ Virtual Calls from Memory Corruption Attacks.
Proceedings of the 21st Annual Network and Distributed System Security Symposium, 2014

2012
A framework for the checking and refactoring of crosscutting concepts.
ACM Trans. Softw. Eng. Methodol., 2012

Establishing Browser Security Guarantees through Formal Shim Verification.
Proceedings of the 21th USENIX Security Symposium, Bellevue, WA, USA, August 8-10, 2012, 2012

Verifying GPU kernels by test amplification.
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.
Proceedings of the 2012 Workshop on Power-Aware Computing Systems, HotPower'12, 2012

WitchDoctor: IDE support for real-time auto-completion of refactorings.
Proceedings of the 34th International Conference on Software Engineering, 2012

2011
Equality Saturation: A New Approach to Optimization
Log. Methods Comput. Sci., 2011

Taming wildcards in Java's type system.
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.
Proceedings of the 3rd ACM SIGPLAN workshop on Evaluation and usability of programming languages and tools, 2011

Equality-Based Translation Validator for LLVM.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

High-Level Verification - Methods and Tools for Verification of System-Level Designs.
Springer, ISBN: 978-1-4419-9358-8, 2011

2010
Translation Validation of High-Level Synthesis.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

Generating compiler optimizations from proofs.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Bringing extensibility to verified compilers.
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.
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.
Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

2009
High-Level Verification.
IPSJ Trans. Syst. LSI Des. Methodol., 2009

Proving optimizations correct using parameterized program equivalence.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Staged information flow for javascript.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008
Dataflow analysis for concurrent programs using datarace detection.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Addressing common crosscutting problems with Arcum.
Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2008

Deep typechecking and refactoring.
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.
Proceedings of the Second ACM Workshop on Refactoring Tools, 2008

Validating High-Level Synthesis.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007
RELAY: static race detection on millions of lines of code.
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.
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.
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

OPIUM: Optimal Package Install/Uninstall Manager.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Automated refinement checking of concurrent systems.
Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

2005
Automated soundness proofs for dataflow analyses and transformations via local rules.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

2004
Cobalt: A Language for Writing Provably-Sound Compiler Optimizations.
Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, 2004

2003
Automatically proving the correctness of compiler optimizations.
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.
Proceedings of the Static Analysis, 9th International Symposium, 2002

Composing dataflow analyses and transformations.
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.
Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002


  Loading...