Research

Areas

Programming languages, Compilers, and Software Engineering

Group


I am always interested to supervise highly motivated Postdoc, PhD, and MSc candidates. If you are interested in programming languages, compilers, concurrency, and formal methods, do not hesitate to contact me!

Recent Publications (All Publications)

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.
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

Professional Activities

APLAS 2020 (PC), OOPSLA 2020 (ERC), PLDI 2018 (AEC), CGO 2018 (AEC)