Conrad Zimmerman
where else to find them
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification | TPSA 2025 | 2025-01-19 |
Claims a formal semantics for optimistic verification by defining gradual exact logic as a consistent lifting of exact triples over a collecting semantics… | ||
| Sound Gradual Verification with Symbolic Execution | POPL 2024 | 2024-01-14 |
Provides a formal, machine-checked semantics for symbolic execution and for optimized runtime-check generation, proves that gradual verification implemented… | ||
| Latte: Lightweight Aliasing Tracking for Java | IWACO 2023 | 2023-10-24 |
A formal alias-tracking type system for Java that requires annotations only on parameters and fields, infers all local aliases, and enforces unique parameters… | ||
| Latte: Lightweight Aliasing Tracking for Java | HATRA 2023 | 2023-10-22 |
Latte adds a lightweight aliasing layer to Java that only requires annotations on parameters and fields while inferring local variable annotations, tracks… | ||
| nothing matches | ||