Research Areas

Programming languages, Compilers, and Software Engineering

Recent Publications (All Publications)

FMCAD'21 Robustness between Weak Memory Models. Soham Chakraborty. [Project page]
Arxiv
PLDI'20 Promising 2.0: Global Optimizations in Relaxed Memory Concurrency.
Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis. [Project page]
POPL'19 Grounding thin-air reads with event structures. Soham Chakraborty, Viktor Vafeiadis. [Project page]
CGO'17
(Best Paper Nominee)
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

Industrial Experience

Teaching