Research
Areas
Programming languages, Compilers, and Software Engineering
Group
Service
POPL 2024 (PC),
APLAS 2023 (PC),
APLAS 2020 (PC),
OOPSLA 2020 (ERC),
PLDI 2018 (AEC),
CGO 2018 (AEC)
PLDI'23 |
Compound Memory Models.
Andres Goens,
Soham Chakraborty,
Susmit Sarkar,
Sukarn Agarwal,
Nicolai Oswald,
Vijay Nagarajan.
|
PLDI'23 |
Optimal Reads-From Consistency Checking for C11-Style Memory Models.
Hünkar C Tun,
Parosh A. Abdulla,
Soham Chakraborty,
Shankaranarayanan Krishna,
Umang Mathur,
Andreas Pavlogiannis .
|
ASPLOS'23 |
Probabilistic Concurrency Testing for Weak Memory Concurrency.
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.
Soham Chakraborty.
[Project page]
|
Arxiv
|
|
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 |
|
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 |
|
LMCS'15 |
|
Patents
Teaching
Industrial Experience