Michael D. Bond
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2024–2026
- OOPSLA2 editions2024–2025
all 4 in the filters
on a stage with
all 16 in the filters
who talks about the same things
- Vincent Beardsley2 talks
- Ada Lamba2 talks
- Michael Hicks18 talks
- Deian Stefan14 talks
- Limin Jia17 talks
- Derek Dreyer35 talks
| title | conference | date |
|---|---|---|
| &inator: Correct, Precise C-to-Rust Interface Translation | PLDI 2026 | 2026-06-15 |
&inator automatically produces Rust declarations for C top-levels by formulating semantic-equivalence and borrow-checking as SMT constraints and solving them… | ||
| Carapace: Static–Dynamic Information Flow Control in Rust | OOPSLA 2025 | 2025-10-16 |
Carapace implements hybrid static–dynamic information flow control for unmodified Rust via a library and macros that add secure blocks and generated runtime… | ||
| Cocoon: Static Information Flow Control in Rust | OOPSLA 2024 | 2024-10-20 |
Cocoon is a Rust library that enforces noninterference by using Rust’s type system and procedural macros to create a type-and-effect IFC system without… | ||
| Session: ISMM - Welcome from the chairs | ISMM 2024 | 2024-06-25 |
Conference logistics and program details include lunch at 12:20 and a welcome reception at 18:00; proceedings are already in the ACM Digital Library… | ||
| IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly(…) | PLDI 2024 | 2024-06-24 |
IsoPredict takes an observed serializable run, emits SMT constraints that encode weak isolation (causal/read‑committed), and searches for a feasible… | ||
| MMTk and The Case for Modular VM Development | VMIL 2022 | 2022-12-05 |
Argues that measured GC cost is misleading and introduces a distillation/elbow method that produces a lower bound on collector overhead; shows MMTk… | ||
| nothing matches | ||