Shachar Itzhaky
where else to find them
what they talk about
all 6 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2025
all 6 in the filters
on a stage with
all 17 in the filters
who talks about the same things
- Nadia Polikarpova24 talks
- Armando Solar-Lezama18 talks
- Ori Lahav17 talks
- Travis Hance7 talks
- Deian Stefan14 talks
- Ilya Sergey25 talks
| title | conference | date |
|---|---|---|
| Enhancing Symbolic Execution with Machine-Checked Safety Proofs | CPP 2026 | 2026-01-12 |
Generates machine-checked safety proofs per-analysis so an exhaustive symbolic run yields a Rocq-verified proof tying symbolic to concrete LLVM IR semantics… | ||
| Ductape: Optimizing Dynamically Typed Programs using Ahead-of-Time Compilation and(…) | SAS 2025 | 2025-10-13 |
Ductape ahead-of-time compiles TypeScript by building a program-dependence IR, running a Datalog-based pointer analysis and sound fixpoint type inference that… | ||
| Dynamic Robustness Verification against Weak Memory | PLDI 2025 | 2025-06-16 |
Algorithm verifies robustness against C11/C++20 weak memory using location clocks and runs as the RSAN/Arson tool that reports full backtraces for violations… | ||
| Scalable Spreadsheet-driven End-User Applications with Incremental Computation | Onward! 2023 | 2023-10-25 |
Claims a compiler converts a spreadsheet table into a program that ingests a stream of edits and emits delta updates so aggregations (sums, AVG, filters)… | ||
| Leveraging Rust Types for Program Synthesis | PLDI 2023 | 2023-06-17 |
First deductive synthesizer for safe Rust that uses Rust types to both shrink specifications and prune search, extracting programs from proofs and guaranteeing… | ||
| Programming with a Read-Eval-Synth Loop | OOPSLA 2020 | 2020-11-15 |
A live REPL extended with synthesis called Read-Eval-Synth Loop stitches examples, sketching, and new predicates (notably retain) into specifications so the… | ||
| Liquid Information Flow Control | ICFP 2020 | 2020-08-23 |
Claims a new DSL called Lifty domain-specific language that encodes information-flow policies as liquid refinements and enforces them with a TIO-style security… | ||
| nothing matches | ||