Kartik Nagar
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- OOPSLA2 editions2024–2025
on a stage with
all 10 in the filters
who talks about the same things
- Gowtham Kaki10 talks
- Aseem Rastogi7 talks
- Suresh Jagannathan16 talks
- Anmol Sahoo4 talks
- Akash Lal4 talks
- Constantin Enea14 talks
| title | conference | date |
|---|---|---|
| A Mechanically Verified Garbage Collector for OCaml | OCaml Workshop 2025 | 2025-10-17 |
Verified stop‑the‑world mark‑and‑sweep GC implemented from scratch, mechanized in F with its low‑level subset Low and extracted to C via KaRaMel, then linked… | ||
| Automatically Verifying Replication-aware Linearizability | OOPSLA 2025 | 2025-10-16 |
Automated verification framework proves replication-aware linearizability for Mergeable Replicated Data Types by checking novel algebraic laws on the three-way… | ||
| Automated Robustness Verification of Concurrent Data Structure Libraries Against(…) | OOPSLA 2024 | 2024-10-20 |
An automated procedure verifies that C11-style concurrent data-structure implementations are robust by checking that every relaxed-memory execution is possible… | ||
| nothing matches | ||