Sorin Lerner
where else to find them
no profile links on file
what they talk about
all 7 in the filters
where they keep going back
- OOPSLA2 editions2021–2022
all 6 in the filters
on a stage with
all 26 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Unfolding State Changes via Live State-First Debugging | LIVE 2023 | 2023-10-23 |
Implements a live state-first debugger called Unfold for web GUIs that records and replays user traces, shows a timeline of changed UI states, links each state… | ||
| Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers | PriSC 2023 | 2023-01-21 |
Cachet is a DSL that compiles Cachet to Boogie and C++ and encodes JIT invariants so the verifier proves generated code never violates them. The toolchain uses… | ||
| FaJITa: Verifying Optimizations on Just-In-Time Programs | PriSC 2023 | 2023-01-21 |
FaJITa is a translation validator that checks semantic equivalence of JavaScript functions after Firefox JIT optimizations by combining symbolic execution with… | ||
| Data-Driven Lemma Synthesis for Interactive Proofs | OOPSLA 2022 | 2022-12-05 |
A tool called lfind as a Coq tactic reduces lemma synthesis to a data-driven program synthesis problem: it generalizes a stuck goal, generates input/output… | ||
| Live Programming and Programming by Example: Better Together | GPCE 2021 | 2021-10-17 |
Live visualization of runtime values via Projection Boxes feeds concrete examples to a synthesizer, implemented as SnipPy, and extended to loop-aware synthesis… | ||
| LooPy: Interactive Program Synthesis with Control Structures | OOPSLA 2021 | 2021-10-17 |
A Live Programming–integrated synthesizer called LooPy extends Small-Step Live PBE to handle loops by treating holes as runtime pauses and asking the… | ||
| Inferring Loop Invariants through Gamification | CHI 2018 | 2018-04-21 |
A puzzle game shows runtime traces and asks players to enter arithmetic and Boolean expressions; the backend uses counterexample pruning to filter and combine… | ||
| Dead Store Elimination (Still) Considered Harmful | 26th USENIX Security Symposium (USENIX Security '17) | 2017-08-16 |
Paper surveys memory scrubbing techniques, evaluates them on GCC Clang and MSVC, and instruments Clang to detect dead store elimination. Authors examine 11… | ||
| nothing matches | ||