Soham Chakraborty
where else to find them
linkedin:soham-chakraborty-31136514
what they talk about
all 4 in the filters
where they keep going back
- POPL2 editions2024–2025
all 5 in the filters
on a stage with
all 16 in the filters
who talks about the same things
- Ori Lahav17 talks
- Parosh Aziz Abdulla9 talks
- Andrés Goens6 talks
- Mark Batty5 talks
- Anton Podkopaev5 talks
- Andreas Pavlogiannis18 talks
| title | conference | date |
|---|---|---|
| Running Kubernetes on 'small scale' clusters - lessons learned | DevOpsDays Prague 2025 | 2025-05-22 |
Runs kOps on AWS with three self-hosted clusters, 35–40 nodes and ~300 pods each, and shows concrete configs for using kOps on AWS with 3 clusters, 35–40… | ||
| Relaxed Memory Concurrency Re-executed | POPL 2025 | 2025-01-19 |
Proposes XMM, an almost per‑execution semantics that enforces memory consistency by adding an in‑order execute rule and an out‑of‑order reexecute rule that… | ||
| A Tale of Shared Memory Concurrency in Programming Languages | PLMW@PLDI 2024 | 2024-06-24 |
A concise history of shared‑memory models that shows why language semantics keep changing: concrete example where the outcome a=b=1 outcome on ARM/Power is… | ||
| Heterogeneous concurrency -- a new frontier for weak memory | The Future of Weak Memory 2024 | 2024-01-15 |
Claims a compound memory model that composes x86 and PTX semantics, gives both an axiomatic formulation and a POP‑style operational model, and proves the usual… | ||
| How Hard is Weak-Memory Testing? | POPL 2024 | 2024-01-14 |
Paper proves that consistency testing for many weak-memory models is NP-complete even with bounded threads, memory locations, and values, ruling out… | ||
| Optimal Reads-From Consistency Checking for C11-Style Memory Models | PLDI 2023 | 2023-06-17 |
Characterizes reads-from consistency for C11 variants and gives concrete algorithms and hardness results: introduces a minimal coherence witness to avoid… | ||
| Compound Memory Models | PLDI 2023 | 2023-06-17 |
Defines a compositional operational specification that composes distinct device models into a x86TSO/PTX compound model and proves C-to-architecture compiler… | ||
| nothing matches | ||