Martin Vechev
where else to find them
what they talk about
all 7 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2025
all 5 in the filters
on a stage with
all 21 in the filters
who talks about the same things
- Marc Fischer2 talks
- Michael Carbin14 talks
- Jonathan Ragan-Kelley12 talks
- Gilles Barthe17 talks
- Adam Chlipala23 talks
- Michel Steuwer17 talks
| title | conference | date |
|---|---|---|
| Type-Constrained Code Generation with Language Models | PLDI 2025 | 2025-06-16 |
Introduces a type-constrained decoding method that integrates an incremental type checker into token-level LLM decoding using prefix automata plus a search… | ||
| Synthetiq: Fast and Versatile Quantum Circuit Synthesis | OOPSLA 2024 | 2024-10-20 |
Synthetiq uses Simulated Annealing with a domain-specific energy function and a custom simplification pass to synthesize circuits over arbitrary finite gate… | ||
| Prompting Is Programming: A Query Language for Large Language Models | PLDI 2023 | 2023-06-17 |
Introduces LMQL, a small query language that combines templated prompts, Python control flow and constraint decoding to steer off‑the‑shelf LLMs by masking… | ||
| Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks | PLDI 2023 | 2023-06-17 |
A new abstract-interpretation framework abstracts the concrete fixpoints of numerical fixpoint iterators and implements it in CRAFT, introducing the… | ||
| PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull | POPL 2022 | 2022-01-16 |
PRIMA presents a verifier that computes scalable convex-hull abstractions for groups of neurons using a novel dual-space partial double description method and… | ||
| Metha: Network Verifiers Need To Be Correct Too! | NSDI ’21 | 2021-04-12 |
Metha automatically tests network analysis tools by generating syntactically and semantically valid configurations in a two‑stage generator, running each… | ||
| Config2Spec: Mining Network Specifications from Network Configurations | NSDI 2020 | 2020-02-25 |
Config2Spec automatically synthesizes a formal network specification from device configurations plus a failure model, combining data‑plane analysis and… | ||
| nothing matches | ||