About me
I am broadly interested in programming languages, compilers, and verification with a focus on parallel and concurrent systems and architectures. I am an assistant professor at the Programming Languages Group, TU Delft since 2021 and currently also a Visiting Assistant Professor at CSE, IIT Bombay (2025-2026), with former position as an assistant professor at the CSE Department, IIT Delhi. Prior to joining IIT Delhi, I obtained my PhD from the Max Planck Institute for Software Systems (MPI-SWS) in 2019. Before my PhD, I worked in industrial research and development roles with AMD Inc, TCS Research, and IBM Research from 2008-2013. In 2008, I obtained masters from CSE Department, IIT Kharagpur.Research
I am currently exploring parallelism and concurrency at the intersection of programming languages and architectures:Group
I am privileged to work with some of the most talented and smart people. Current
Teaching
-
TU Delft
IIT Delhi
Recent Publications (All Publications)
| ASPLOS'26 | Arancini: A Hybrid Binary Translator for Weak Memory Model Architectures. S. Reimers*, D. Sprokholt*, M. Fink, T. Augoustis, S. Kammermeier, R. Rocha, T. Spink, R. Gouicem, S. Chakraborty#, P. Bhatotia#. |
| ASPLOS'26 | vCXLGen: Automated Synthesis and Verification of CXL Bridges for Heterogeneous Architectures. Anatole Lefort, Julian Pritzi, Nicolò Carpentieri, David Schall, Simon Dittrich, Soham Chakraborty, Nicolai Oswald, Pramod Bhatotia. |
| HPCA'26 | $C^3$: CXL Coherence Controllers for Heterogeneous Architectures. Anatole Lefort, David Schall, Nicolò Carpentieri, Julian Pritzi, Soham Chakraborty, Nicolai Oswald, Pramod Bhatotia. |
| CAV'25 | GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency. [Technical Appendix] [Artifact] Soham Chakraborty, Krishna S, Andreas Pavlogiannis, Omkar Tuppe. |
| POPL'25 | Relaxed Memory Concurrency Re-executed. [Technical Appendix] [Artifact] Evgenii Moiseenko, Matteo Meluzzi, Innokentii Meleshchenko, Ivan Kabashnyi, Anton Podkopaev, Soham Chakraborty. Distinguished Paper Award |
| DATE'25 | Modeling and Analysis Technique for the Formal Verification of System-on-Chip Address Maps (Extended Abstract) Niels Mook, Erwin de Kock, Bas Arts, Soham Chakraborty, Arie van Deursen. |
| CGO'25 | Cage: Hardware-Accelerated Safe WebAssembly Martin Fink, Dimitrios Stavrakakis, Dennis Sprokholt, Soham Chakraborty, Jan-Erik Ekberg, Pramod Bhatotia. |
| PACT'24 | Toast: A Heterogeneous Memory Management System Maurice Bailleu, Dimitrios Stavrakakis, Rodrigo Rocha, Soham Chakraborty, Deepak Garg, Pramod Bhatotia. |
| POPL'24 | How Hard is Weak-Memory Testing? Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis. |
| PLDI'23a | Compound Memory Models. [Artifact] Andres Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, Vijay Nagarajan. |
| PLDI'23b | Optimal Reads-From Consistency Checking for C11-Style Memory Model]. [Artifact] Hunkar Can Tunc, Parosh A. Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis. |
| ASPLOS'23a | Probabilistic Concurrency Testing for Weak Memory Concurrency. [Artifact] Mingyu Gao, Soham Chakraborty, Burcu Kulahcioglu Ozkan. |
| ASPLOS'23b | Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures. [Project page] Redha Gouicem*, Dennis Sprokholt*, Jasper Ruehl, Rodrigo Rocha, Tom Spink, Soham Chakraborty, Pramod Bhatotia. Distinguished Artifact Award |
| PODC'22 | Parameterized Verification under Release Acquire is PSPACE-complete. Shankaranarayanan Krishna, Adwait Godbole, Roland Meyer, Soham Chakraborty. |
| PLDI'22 | Lasagne: A Static Binary Translator for Weak Memory Model Architectures. [Project page] Rodrigo Rocha*, Dennis Sprokholt*, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, Pramod Bhatotia. |
| FMCAD'21 | Robustness between Weak Memory Models. [Artifact] Soham Chakraborty. [Project page] |
| Arxiv |
On Architecture to Architecture Mapping for Concurrency.
Soham Chakraborty.
|