Abhishek Kr Singh
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 2 in the filters
on a stage with
- Ori Lahavonce
who talks about the same things
- Ori Lahav17 talks
- Akash Lal4 talks
- Anmol Sahoo4 talks
- Kartik Nagar6 talks
- Viktor Vafeiadis23 talks
- Jeehoon Kang14 talks
| title | conference | date |
|---|---|---|
| An Operational Approach to Library Abstraction under Relaxed Memory Concurrency | POPL 2023 | 2023-01-15 |
Claims a library-abstraction theorem for RC11-style weak memory by giving an operational semantics exposing knowledge propagation that records propagation… | ||
| A Constructive Formalization of the Weak Perfect Graph Theorem | CPP 2020 | 2020-01-20 |
Presenter: Abhishek Kr Singh
Presented at CPP'20, colocated with POPL 2020. | ||
| nothing matches | ||