Soham Chakraborty

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)

Arxiv	On Architecture to Architecture Mapping for Concurrency. Soham Chakraborty.
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	Formalizing the concurrency semantics of an LLVM fragment. Soham Chakraborty, Viktor Vafeiadis. [Project page] (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	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 2015	Aspect-oriented linearizability proofs. Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis.

Patents

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.

Industrial Experience

AMD Compiler Group, India [July 2011 - September 2013]

Enablement of LLVM compiler for HSA systems.
Vectorization and code generation in LLVM and Open64 compilers.
Performance analysis of SPEC CPU2006 benchmarks.

TCS Research (TRDDC), India [February 2010 - June 2011]

Efficient test execution plan generation for software test cycles.

IBM Research Lab, India [March 2008 - February 2010]

Bug detection tool for SAP ABAP programs
Software model to model transformations
Analysis and refactoring for parallelization.

Professional Activities

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

Teaching

COL 380. 2021 I Introduction to Parallel and Distributed Programming
COL 862. 2020-2021 I Special topics in Software Systems (Applied Program Analysis)
COL 869. 2019-2020 II Special topics in Concurrency (Relaxed Memory Concurrency)

Talks

Validating Optimizations of Concurrent C/C++ Programs SAT-SMT School 2019.
Grounding Thin-Air Reads with Event Structures POPL 2019.
Validating optimizations of concurrent C/C++ programs. Dagstuhl seminar Program Equivalence, 2018.
Formalizing the concurrency semantics of an LLVM fragment. Concurrency Workshop 2017.
Formalizing the concurrency semantics of an LLVM fragment. EuroLLVM 2017.
Formalizing the concurrency semantics of an LLVM fragment. CGO 2017.
Validating optimizations of concurrent C/C++ programs. CGO 2016.