Soham Chakraborty

Research Areas

Programming languages, Compilers, and Software Engineering

FMCAD'21	Robustness between Weak Memory Models. Soham Chakraborty.
Arxiv	On Architecture to Architecture Mapping for Concurrency. Soham Chakraborty.
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	Formalizing the concurrency semantics of an LLVM fragment. Soham Chakraborty, Viktor Vafeiadis. [Project page] (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	Common compiler optimisations are invalid in the C11 memory model and what we can do about it. Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty, Robin Morisset, Francesco Zappa Nardelli. [Project page]
LMCS'15	Aspect-oriented linearizability proofs. Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis.

Automated test cycle estimation system and method. US9032370B2.
Soham Sundar Chakraborty, Pavan Kumar Chittimalli, Vipul Shah.
Scalable partial vectorization. US9158511B2.
Ramshankar Ramanarayanan, Meghana Gupta, Soham S. Chakraborty, Dibyendu Das.
Automated test execution plan derivation system and method. US9378120B2.
Soham Sundar Chakraborty, Vipul Shah.