Soham Chakraborty

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 15

Top Topics

Concurrent Programs

Top Venues

Proc. ACM Program. Lang.

Publications

Soham Chakraborty, Shankara Narayanan Krishna, Umang Mathur, Andreas Pavlogiannis
How Hard Is Weak-Memory Testing? Proc. ACM Program. Lang. 8 (POPL) (2024)
Mingyu Gao, Soham Chakraborty, Burcu Kulahcioglu Ozkan
Probabilistic Concurrency Testing for Weak Memory Programs. ASPLOS (2) (2023)
Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis
Optimal Reads-From Consistency Checking for C11-Style Memory Models. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis
How Hard is Weak-Memory Testing? CoRR (2023)
Redha Gouicem, Dennis Sprokholt, Jasper Ruehl, Rodrigo C. O. Rocha, Tom Spink, Soham Chakraborty, Pramod Bhatotia
Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures. ASPLOS (1) (2023)
Andrés Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, Vijay Nagarajan
Compound Memory Models. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Parosh Aziz Abdulla, Soham Chakraborty, Shankara Narayanan Krishna, Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç
Optimal Reads-From Consistency Checking for C11-Style Memory Models. CoRR (2023)
Shankara Narayanan Krishna, Adwait Godbole, Roland Meyer, Soham Chakraborty
Parameterized Verification under Release Acquire is PSPACE-complete. PODC (2022)
Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, Pramod Bhatotia
Lasagne: a static binary translator for weak memory model architectures. PLDI (2022)
Soham Chakraborty
On Architecture to Architecture Mapping for Concurrency. CoRR (2020)
Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis
Promising 2.0: global optimizations in relaxed memory concurrency. PLDI (2020)
Soham Chakraborty, Viktor Vafeiadis
Grounding thin-air reads with event structures. Proc. ACM Program. Lang. 3 (POPL) (2019)
Soham Chakraborty, Viktor Vafeiadis
Formalizing the concurrency semantics of an LLVM fragment. CGO (2017)
Aravind Sankar, Soham Chakraborty, V. Krishna Nandivada
Improved MHP Analysis. CC (2016)
Soham Chakraborty, Viktor Vafeiadis
Validating optimizations of concurrent C/C++ programs. CGO (2016)
Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis
Aspect-oriented linearizability proofs. Log. Methods Comput. Sci. 11 (1) (2015)
Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty, Robin Morisset, Francesco Zappa Nardelli
Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it. POPL (2015)
Senthil Mani, Vibha Singhal Sinha, Saurabh Sinha, Pankaj Dhoolia, Debdoot Mukherjee, Soham Chakraborty
Efficient Testing of Service-Oriented Applications Using Semantic Service Stubs. ICWS (2009)