Michael Coblenz
where else to find them
what they talk about
all 10 in the filters
where they keep going back
on a stage with
- Alan Jeffreyonce
- Anil Madhavapeddyonce
- Brad A. Myersonce
all 15 in the filters
who talks about the same things
- Jonathan Aldrich17 talks
- Michael Hicks18 talks
- Eric Mugnier4 talks
- Ranjit Jhala19 talks
- Ondřej Lhoták11 talks
- Derek Dreyer35 talks
| title | conference | date |
|---|---|---|
| On the Impact of Formal Verification on Software Development | OOPSLA 2025 | 2025-10-16 |
Auto-active verifier Dafny is studied via 14 interviews using grounded theory and the paper reports concrete pain points: SMT queries balloon to 5 GB of SMT… | ||
| An Empirical Evaluation of Property-Based Testing in Python | OOPSLA 2025 | 2025-10-16 |
Corpus study of 426 Python projects using Hypothesis classifies PBTs into 12 dataflow-based categories, runs mutation testing on 40 projects, and reports an… | ||
| RestPi: Path-Sensitive Type Inference for REST APIs | OOPSLA 2025 | 2025-10-16 |
REST𝜋 implements path-sensitive type inference for Ruby on Rails servers and automatically generates OpenAPI‑style specs by encoding symbolic path constraints… | ||
| A FAIR Case for a Live Computational Commons | PROPL 2025 | 2025-10-13 |
Proposal for a planetary-scale live computational commons called Fairground that stores thousands of executable artifacts, runs them with a distributed… | ||
| REVIS: An Error Visualization Tool for Rust | HATRA 2023 | 2023-10-22 |
A VSCode extension visualizes lifetime-related Rust compiler errors as SVG line decorations showing regions for lifetimes, arrows for moves/borrows, and… | ||
| Discussion | HATRA 2022 | 2022-12-05 |
Discussion argues that automated proof generation from LLMs and tools like CoPilot has a roughly 40% chance of working for real verification workflows, but… | ||
| An Empirical Study of Ownership, Assets, and Typestate in Obsidian | OOPSLA 2020 | 2020-11-15 |
A new language, Obsidian, implements typestate and linearity to track ownership and prevent asset loss; authors run a randomized controlled trial with 20… | ||
| nothing matches | ||