Research
Areas
Programming languages, Compilers, and Software Engineering
Group
Previous Positions
Recent Publications (All Publications)
| 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'23 | Compound Memory Models. [Artifact] Andres Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, Vijay Nagarajan. |
| PLDI'23 | 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'23 | Probabilistic Concurrency Testing for Weak Memory Concurrency. [Artifact] Mingyu Gao, Soham Chakraborty, Burcu Kulahcioglu Ozkan. |
| ASPLOS'23 | 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.
|
| PLDI'20 | Promising 2.0: Global Optimizations in Relaxed Memory Concurrency. [Project page] Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis. |
| POPL'19 | Grounding thin-air reads with event structures. Soham Chakraborty, Viktor Vafeiadis. [Project page] |
| CGO'17 | Formalizing the concurrency semantics of an LLVM fragment.
Soham Chakraborty, Viktor Vafeiadis.
[Project page]
|
| CGO'16 | Validating optimizations of concurrent C/C++ programs. Soham Chakraborty, Viktor Vafeiadis. [Project page] |
| CC'16 | Improved MHP analyses. Aravind Sankar, Soham Chakraborty, V. Krishna Nandivada. |
| POPL'15 | Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty, Robin Morisset, Francesco Zappa Nardelli. |
| LMCS'15 | Aspect-oriented linearizability proofs.
Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis.
|