Sorin Lerner - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Sorin Lerner' as author, editor, or advisor:

Establishing Browser Security Guarantees through Formal Shim VerificationDongseok Jang, Zachary Tatlock, Sorin Lerner. uss 2012: 113-128 [doi]
Verifying GPU kernels by test amplificationAlan Leung, Manish Gupta, Yuvraj Agarwal, Rajesh Gupta, Ranjit Jhala, Sorin Lerner. PLDI 2012: 383-394 [doi]
Live programming and programming by example: better together (keynote)Sorin Lerner. GPCE 2021: 1 [doi]
SafeDispatch: Securing C++ Virtual Calls from Memory Corruption AttacksDongseok Jang, Zachary Tatlock, Sorin Lerner. ndss 2014: [doi]
Towards Verifying Android Apps for the Absence of No-Sleep Energy BugsPanagiotis Vekris, Ranjit Jhala, Sorin Lerner, Yuvraj Agarwal. osdi 2012: [doi]
Printing floating-point numbers: a faster, always correct methodMarc Andrysco, Ranjit Jhala, Sorin Lerner. POPL 2016: 555-567 [doi]
Equality-Based Translation Validator for LLVMMichael Stepp, Ross Tate, Sorin Lerner. cav 2011: 737-742 [doi]
Towards foundational verification of cyber-physical systemsGregory Malecha, Daniel Ricketts, Mario M. Alvarez, Sorin Lerner. cpsweek 2016: 1-5 [doi]
High-Level Verification - Methods and Tools for Verification of System-Level DesignsSudipta Kundu, Sorin Lerner, Rajesh K. Gupta. Springer, 2011. [doi]
Safety Verification Using Barrier Certificates with Application to Double Integrator with Input Saturation and Zero-Order HoldAzad Ghaffari, Imoleayo Abel, Daniel Ricketts, Sorin Lerner, Miroslav Krstic. amcc 2018: 4664-4669 [doi]
Seamless Integration of Coding and Gameplay: Writing Code Without Knowing itStephen R. Foster, Sorin Lerner, William G. Griswold. fdg 2015: [doi]
Modular deductive verification of sampled-data systemsDaniel Ricketts, Gregory Malecha, Sorin Lerner. emsoft 2016: [doi]
NSF expedition on variability-aware software: Recent results and contributionsLucas 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 0002, Sorin Lerner, Subhasish Mitra, Alexandru Nicolau, Tajana Simunic Rosing, Mani B. Srivastava, Steven Swanson, Dennis Sylvester, Yuanyuan Zhou. it, 57(3):181-198, 2015. [doi]
When refactoring acts like modularity: keeping options open with persistent condition checkingMacneil Shonle, William G. Griswold, Sorin Lerner. OOPSLA 2008: 3 [doi]
Projection Boxes: On-the-fly Reconfigurable Visualization for Live ProgrammingSorin Lerner. CHI 2020: 1-7 [doi]
LooPy: interactive program synthesis with control structuresKasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, Nadia Polikarpova. PACMPL, 5(ICFP):1-29, 2021. [doi]
Towards verification of hybrid systems in a foundational proof assistantDaniel Ricketts, Gregory Malecha, Mario M. Alvarez, Vignesh Gowda, Sorin Lerner. memocode 2015: 248-257 [doi]
Latent Variable Models for Predicting File Dependencies in Large-Scale Software DevelopmentDiane Hu, Laurens van der Maaten, Youngmin Cho, Lawrence K. Saul, Sorin Lerner. nips 2010: 865-873 [doi]
User-Guided Synthesis of Interactive DiagramsJohn Sarracino, Odaris Barrios-Arciga, Jasmine Zhu, Noah Marcus, Sorin Lerner, Ben Wiedermann. CHI 2017: 195-207 [doi]
Translation Validation of High-Level SynthesisSudipta Kundu, Sorin Lerner, Rajesh K. Gupta. tcad, 29(4):566-579, 2010. [doi]
Data-driven lemma synthesis for interactive proofsAishwarya Sivaraman, Alex Sanchez-Stern, Bretton Chen, Sorin Lerner, Todd D. Millstein. PACMPL, 6(OOPSLA2):505-531, 2022. [doi]
Retrofitting Fine Grain Isolation in the Firefox RendererShravan Narayan, Craig Disselkoen, Tal Garfinkel, Nathan Froyd, Eric Rahm, Sorin Lerner, Hovav Shacham, Deian Stefan. uss 2020: 699-716 [doi]
A framework for the checking and refactoring of crosscutting conceptsMacneil Shonle, William G. Griswold, Sorin Lerner. TOSEM, 21(3):15, 2012. [doi]
Protecting C++ Dynamic Dispatch Through VTable InterleavingDimitar Bounov, Rami Gökhan Kici, Sorin Lerner. ndss 2016: [doi]
Small-Step Live Programming by ExampleKasra Ferdowsifard, Allen Ordookhanians, Hila Peleg, Sorin Lerner, Nadia Polikarpova. uist 2020: 614-626 [doi]
Доверя'й, но проверя'й: SFI safety for native-compiled WasmEvan Johnson, David Thien, Yousef Alhessi, Shravan Narayan, Fraser Brown, Sorin Lerner, Tyler Mcmullen, Stefan Savage, Deian Stefan. ndss 2021: [doi]
A Computational Stack for Cross-Domain AccelerationSean Kinzer, Joon Kyung Kim, Soroush Ghodrati, Brahmendra Reddy Yatham, Alric Althoff, Divya Mahajan, Sorin Lerner, Hadi Esmaeilzadeh. hpca 2021: 54-70 [doi]
Scooter & Sidecar: a domain-specific approach to writing secure database migrationsJohn Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, Deian Stefan. PLDI 2021: 710-724 [doi]
Finding root causes of floating point errorAlex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock. PLDI 2018: 256-269 [doi]
Parsimony: an IDE for example-guided synthesis of lexers and parsersAlan Leung, Sorin Lerner. ASE 2017: 815-825 [doi]
Dead Store Elimination (Still) Considered HarmfulZhaomo Yang, Brian Johannesmeyer, Anders Trier Olesen, Sorin Lerner, Kirill Levchenko. uss 2017: 1025-1040 [doi]
Polymorphic Blocks: Formalism-Inspired UI for Structured ConnectorsSorin Lerner, Stephen R. Foster, William G. Griswold. CHI 2015: 3063-3072 [doi]
Investigating the Impact of Using a Live Programming Environment in a CS1 CourseRuanqianqian (Lisa) Huang, Kasra Ferdowsi, Ana Selvaraj, Adalbert Gerald Soosai Raj, Sorin Lerner. sigcse 2022: 495-501 [doi]
Synthesis of web layouts from examplesDylan Lukes, John Sarracino, Cora Coleman, Hila Peleg, Sorin Lerner, Nadia Polikarpova. FSE 2021: 651-663 [doi]
On Subnormal Floating Point and Abnormal TimingMarc Andrysco, David Kohlbrenner, Keaton Mowery, Ranjit Jhala, Sorin Lerner, Hovav Shacham. sp 2015: 623-639 [doi]
WitchDoctor: IDE support for real-time auto-completion of refactoringsStephen R. Foster, William G. Griswold, Sorin Lerner. ICSE 2012: 222-232 [doi]
Towards a verified range analysis for JavaScript JITsFraser Brown, John Renner, Andres Nötzli, Sorin Lerner, Hovav Shacham, Deian Stefan. PLDI 2020: 135-150 [doi]
Generating correctness proofs with neural networksAlex Sanchez-Stern, Yousef Alhessi, Lawrence K. Saul, Sorin Lerner. PLDI 2020: 1-10 [doi]
Focused Live Programming with Loop SeedsSorin Lerner. uist 2020: 607-613 [doi]
Taming wildcards in Java s type systemRoss Tate, Alan Leung, Sorin Lerner. PLDI 2011: 614-627 [doi]
Inferring Loop Invariants through GamificationDimitar Bounov, Anthony DeRossi, Massimiliano Menarini, William G. Griswold, Sorin Lerner. CHI 2018: 231 [doi]
Using metaphors from natural discussion to improve the design of arcumMacneil Shonle, William G. Griswold, Sorin Lerner. OOPSLA 2011: 39-44 [doi]
Gamification to Aid the Learning of Test Coverage ConceptsEman Sherif, Andy Liu, Brian Nguyen, Sorin Lerner, William G. Griswold. csee 2020: 1-5 [doi]
High-Level VerificationSudipta Kundu, Sorin Lerner, Rajesh Gupta. ipsj, 2:131-144, 2009. [doi]
C-to-Verilog translation validationAlan Leung, Dimitar Bounov, Sorin Lerner. memocode 2015: 42-47 [doi]
REPLica: REPL instrumentation for Coq analysisTalia Ringer, Alex Sanchez-Stern, Dan Grossman, Sorin Lerner. CPP 2020: 99-113 [doi]
Automating formal proofs for reactive systemsDaniel Ricketts, Valentin Robert, Dongseok Jang, Zachary Tatlock, Sorin Lerner. PLDI 2014: 47 [doi]
Interactive parser synthesis by exampleAlan Leung, John Sarracino, Sorin Lerner. PLDI 2015: 565-574 [doi]

runs on WebDSL