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.
Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis. [Project page]
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

Professional Activities

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

Teaching

Talks