Research
Areas
Programming languages, Compilers, and Software Engineering
Group
I am always interested to supervise highly motivated Postdoc, PhD, and MSc candidates. If you are interested in programming languages, compilers, concurrency, and formal methods, do not hesitate to contact me!
| ASPLOS'23 |
Probabilistic Concurrency Testing for Weak Memory Concurrency.
Mingyu Gao,
Soham Chakraborty,
Burcu Kulahcioglu Ozkan.
|
| ASPLOS'23 |
Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures. [Project page]
Redha Gouicem*,
Dennis Sprokholt*,
Jasper Ruehl,
Rodrigo Rocha,
Tom Spink,
Soham Chakraborty,
Pramod Bhatotia.
|
| PODC'22 |
Parameterized Verification under Release Acquire is PSPACE-complete.
Shankaranarayanan Krishna,
Adwait Godbole,
Roland Meyer,
Soham Chakraborty.
|
| PLDI'22 |
Lasagne: A Static Binary Translator for Weak Memory Model Architectures. [Project page]
Rodrigo Rocha*,
Dennis Sprokholt*,
Martin Fink,
Redha Gouicem,
Tom Spink,
Soham Chakraborty,
Pramod Bhatotia.
|
| FMCAD'21 |
Robustness between Weak Memory Models.
Soham Chakraborty.
[Project page]
|
|
Arxiv
|
|
|
PLDI'20
|
Promising 2.0: Global Optimizations in Relaxed Memory Concurrency. [Project page]
Sung-Hwan Lee,
Minki Cho,
Anton Podkopaev,
Soham Chakraborty,
Chung-Kil Hur,
Ori Lahav,
Viktor Vafeiadis.
|
| POPL'19 |
Grounding thin-air reads with event structures.
Soham Chakraborty,
Viktor Vafeiadis.
[Project page]
|
| CGO'17 |
|
| 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
Teaching
Industrial Experience
Professional Activities
APLAS 2020 (PC),
OOPSLA 2020 (ERC),
PLDI 2018 (AEC),
CGO 2018 (AEC)
