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, 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, during 2008-2013, I worked in industrial research and development positions with AMD Inc, TCS Research, and IBM Research. 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.
Teaching
Recent Publications (All Publications)
| 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.
|