About

My research interests are programming languages, compilers, and software engineering with a current focus on relaxed memory concurrency and compiler correctness.

Prior to joining IIT Delhi, I was a PhD student at Max Planck Institute for Software Systems under the supervision of Dr. Viktor Vafeiadis.

Recent Publications (All Publications)

PLDI 2020 Promising 2.0: Global Optimizations in Relaxed Memory Concurrency. (accepted).
Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis.
POPL 2019 Grounding thin-air reads with event structures. Soham Chakraborty, Viktor Vafeiadis. [Project page]
CGO 2017
(Best Paper Nominee)
CGO 2016 Validating optimizations of concurrent C/C++ programs. Soham Chakraborty, Viktor Vafeiadis. [Project page]
CC 2016 Improved MHP analyses. Aravind Sankar, Soham Chakraborty, V. Krishna Nandivada.
POPL 2015
LMCS 2015

Patents

Industrial Experience

Teaching

Talks