Research
Areas
Programming languages, Compilers, and Software Engineering
Group
| 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.
Rodrigo Rocha,
Dennis Sprokholt,
Martin Fink,
Redha Gouicem,
Tom Spink,
Soham Chakraborty,
Pramod Bhatotia.
[Project page]
|
| FMCAD'21 |
Robustness between Weak Memory Models.
Soham Chakraborty.
[Project page]
|
|
Arxiv
|
|
|
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 |
(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 |
|
| LMCS'15 |
|
Patents
Teaching
Industrial Experience
