Anmol Sahoo
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 12 in the filters
who talks about the same things
- Kartik Nagar6 talks
- KC Sivaramakrishnan17 talks
- Kiran Gopinathan7 talks
- Sudha Parimala9 talks
- Aseem Rastogi7 talks
- Akash Lal4 talks
| title | conference | date |
|---|---|---|
| Synthesizing Runners Using Copatterns | HOPE 2026 | 2026-08-24 |
Deductive synthesis produces an adapter (runner) from coinductive copatterns specifications that filters environment behaviors into client-expected traces; the… | ||
| 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… | ||
| Retrofitting Parallelism onto Ocaml | ICFP 2020 | 2020-08-23 |
A mostly-concurrent, non-moving mark-and-sweep GC for multicore OCaml is implemented (major heap based on VCGC, allocator from Streamflow) and extended to… | ||
| RiTA: RISC-V Trace Analyzer | RISC-V Workshop Chennai 2018 | 2018-07-18 |
Presentations by Anmol Sahoo at IIT Madras and Neel Gala at InCore Semiconductors on July 18, 2018 at the RISC-V Workshop in Chennai, hosted by The Indian… | ||
| nothing matches | ||