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)

Recent Publications (All Publications)

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.
Parosh A. Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis, H√ľnkar C Tunc.
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