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).

[BibT_eX]

[DOI]

CoRR, 2020

Retrofitting Fine Grain Isolation in the Firefox Renderer.

[BibT_eX]

[DOI]

Proceedings of the 29th USENIX Security Symposium, 2020

Focused Live Programming with Loop Seeds.

[BibT_eX]

[DOI]

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

Small-Step Live Programming by Example.

[BibT_eX]

[DOI]

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

Generating correctness proofs with neural networks.

[BibT_eX]

[DOI]

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

Towards a verified range analysis for JavaScript JITs.

[BibT_eX]

[DOI]

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

Gamification to Aid the Learning of Test Coverage Concepts.

[BibT_eX]

[DOI]

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

REPLica: REPL instrumentation for Coq analysis.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

2019

Gobi: WebAssembly as a Practical Path to Library Sandboxing.

[BibT_eX]

[DOI]

CoRR, 2019

Targeted Synthesis for Programming with Data Invariants.

[BibT_eX]

[DOI]

CoRR, 2019

2018

Finding root causes of floating point error.

[BibT_eX]

[DOI]

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

Inferring Loop Invariants through Gamification.

[BibT_eX]

[DOI]

Dimitar Bounov

Anthony DeRossi

Massimiliano Menarini

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.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Finding Root Causes of Floating Point Error with Herbgrind.

[BibT_eX]

[DOI]

CoRR, 2017

Dead Store Elimination (Still) Considered Harmful.

[BibT_eX]

[DOI]

Proceedings of the 26th USENIX Security Symposium, 2017

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

[BibT_eX]

[DOI]

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

User-Guided Synthesis of Interactive Diagrams.

[BibT_eX]

[DOI]

John Sarracino

Odaris Barrios-Arciga

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

2016

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

[BibT_eX]

[DOI]

Marc Andrysco

Ranjit Jhala

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

Protecting C++ Dynamic Dispatch Through VTable Interleaving.

[BibT_eX]

[DOI]

Dimitar Bounov

Rami Gökhan Kici

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

Modular deductive verification of sampled-data systems.

[BibT_eX]

[DOI]

Daniel Ricketts

Gregory Malecha

Proceedings of the 2016 International Conference on Embedded Software, 2016

Towards foundational verification of cyber-physical systems.

[BibT_eX]

[DOI]

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

2015

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

[BibT_eX]

[DOI]

it Inf. Technol., 2015

On Subnormal Floating Point and Abnormal Timing.

[BibT_eX]

[DOI]

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

Interactive parser synthesis by example.

[BibT_eX]

[DOI]

John Sarracino

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

Towards verification of hybrid systems in a foundational proof assistant.

[BibT_eX]

[DOI]

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

C-to-Verilog translation validation.

[BibT_eX]

[DOI]

Dimitar Bounov

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.

[BibT_eX]

[DOI]

Stephen R. Foster

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

Polymorphic Blocks: Formalism-Inspired UI for Structured Connectors.

[BibT_eX]

[DOI]

Stephen R. Foster

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

2014

Automating formal proofs for reactive systems.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Dongseok Jang

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

2012

A framework for the checking and refactoring of crosscutting concepts.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2012

Establishing Browser Security Guarantees through Formal Shim Verification.

[BibT_eX]

[DOI]

Dongseok Jang

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

Verifying GPU kernels by test amplification.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Stephen R. Foster

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

2011

Equality Saturation: A New Approach to Optimization

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2011

Taming wildcards in Java's type system.

[BibT_eX]

[DOI]

Ross Tate

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.

[BibT_eX]

[DOI]

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

Equality-Based Translation Validator for LLVM.

[BibT_eX]

[DOI]

Michael Stepp

Ross Tate

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

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

[BibT_eX]

[DOI]

Rajesh K. Gupta

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

2010

Translation Validation of High-Level Synthesis.

[BibT_eX]

[DOI]

Rajesh K. Gupta

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

Generating compiler optimizations from proofs.

[BibT_eX]

[DOI]

Ross Tate

Michael Stepp

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

Bringing extensibility to verified compilers.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Diane Hu

Laurens van der Maaten

Youngmin Cho

Lawrence K. Saul

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.

[BibT_eX]

[DOI]

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

2009

High-Level Verification.

[BibT_eX]

[DOI]

Rajesh Gupta

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

Proving optimizations correct using parameterized program equivalence.

[BibT_eX]

[DOI]

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

Staged information flow for javascript.

[BibT_eX]

[DOI]

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

2008

Dataflow analysis for concurrent programs using datarace detection.

[BibT_eX]

[DOI]

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

Addressing common crosscutting problems with Arcum.

[BibT_eX]

[DOI]

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

Deep typechecking and refactoring.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Second ACM Workshop on Refactoring Tools, 2008

Validating High-Level Synthesis.

[BibT_eX]

[DOI]

Rajesh Gupta

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

2007

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

[BibT_eX]

[DOI]

Jan Wen Voung

Ranjit Jhala

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Erika Rice Scherpelz