Precise static type analysis for object oriented programs. - Rajeev Kumar; Soham Sundar Chakraborty (ACM SIGPLAN Notices, 2007)

Precise static type analysis in component based programming environment. - Soham Sundar Chakraborty; Rajeev Kumar (ISEC, 2008)

Efficient Testing of Service-Oriented Applications Using Semantic Service Stubs. - Senthil Mani; Vibha Singhal Sinha; Saurabh Sinha; Pankaj Dhoolia; Debdoot Mukherjee; Soham Chakraborty 001 (ICWS, 2009)

Inferring arbitrary distributions for data and computation. - Soham Sundar Chakraborty; V. Krishna Nandivada (SPLASH/OOPSLA Companion, 2010)

Towards an approach and framework for test-execution plan derivation. - Soham Sundar Chakraborty; Vipul Shah (ASE, 2011)

Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it. - Viktor Vafeiadis; Thibaut Balabonski; Soham Chakraborty 001; Robin Morisset; Francesco Zappa Nardelli (POPL, 2015)

Aspect-oriented linearizability proofs. - Soham Chakraborty 001; Thomas A. Henzinger; Ali Sezgin; Viktor Vafeiadis (Log. Methods Comput. Sci., 2015)

Improved MHP Analysis. - Aravind Sankar; Soham Chakraborty 001; V. Krishna Nandivada (CC, 2016)

Validating optimizations of concurrent C/C++ programs. - Soham Chakraborty 001; Viktor Vafeiadis (CGO, 2016)

Formalizing the concurrency semantics of an LLVM fragment. - Soham Chakraborty 001; Viktor Vafeiadis (CGO, 2017)

Grounding thin-air reads with event structures. - Soham Chakraborty 001; Viktor Vafeiadis (Proc. ACM Program. Lang., 2019)

Correct Compilation of Relaxed Memory Concurrency. - Soham Chakraborty 001 (2019)

Promising 2.0: global optimizations in relaxed memory concurrency. - Sung-Hwan Lee 001; Minki Cho; Anton Podkopaev; Soham Chakraborty 001; Chung-Kil Hur; Ori Lahav 001; Viktor Vafeiadis (PLDI, 2020)

On Architecture to Architecture Mapping for Concurrency. - Soham Chakraborty 001 (CoRR, 2020)

Robustness between Weak Memory Models. - Soham Chakraborty 001 (FMCAD, 2021)

Lasagne: a static binary translator for weak memory model architectures. - Rodrigo C. O. Rocha; Dennis Sprokholt; Martin Fink 004; Redha Gouicem; Tom Spink; Soham Chakraborty 001; Pramod Bhatotia (PLDI, 2022)

Parameterized Verification under Release Acquire is PSPACE-complete. - Shankaranarayanan Krishna; Adwait Godbole; Roland Meyer 001; Soham Chakraborty 001 (PODC, 2022)

Probabilistic Concurrency Testing for Weak Memory Programs. - Mingyu Gao 006; Soham Chakraborty 001; Burcu Kulahcioglu Ozkan (ASPLOS (2), 2023)

Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures. - Redha Gouicem; Dennis Sprokholt; Jasper Ruehl; Rodrigo C. O. Rocha; Tom Spink; Soham Chakraborty 001; Pramod Bhatotia (ASPLOS (1), 2023)

Compound Memory Models. - Andrés Goens; Soham Chakraborty 001; Susmit Sarkar; Sukarn Agarwal; Nicolai Oswald; Vijay Nagarajan (Proc. ACM Program. Lang., 2023)

Optimal Reads-From Consistency Checking for C11-Style Memory Models. - Hünkar Can Tunç; Parosh Aziz Abdulla; Soham Chakraborty 001; Shankaranarayanan Krishna; Umang Mathur 001; Andreas Pavlogiannis (Proc. ACM Program. Lang., 2023)

Optimal Reads-From Consistency Checking for C11-Style Memory Models. - Hünkar Can Tunç; Parosh Aziz Abdulla; Soham Chakraborty 001; Shankaranarayanan Krishna; Umang Mathur 001; Andreas Pavlogiannis (Zenodo, 2023)

Optimal Reads-From Consistency Checking for C11-Style Memory Models. - Hünkar Can Tunç; Parosh Aziz Abdulla; Soham Chakraborty 001; Shankaranarayanan Krishna; Umang Mathur 001; Andreas Pavlogiannis (Zenodo, 2023)

Toast: A Heterogeneous Memory Management System. - Maurice Bailleu; Dimitrios Stavrakakis; Rodrigo Caetano Rocha; Soham Chakraborty 001; Deepak Garg 001; Pramod Bhatotia (PACT, 2024)

How Hard Is Weak-Memory Testing? - Soham Chakraborty 001; Shankara Narayanan Krishna; Umang Mathur 001; Andreas Pavlogiannis (Proc. ACM Program. Lang., 2024)

sfGPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency. - Soham Chakraborty 001; S. Krishna 004; Andreas Pavlogiannis; Omkar Tuppe (CAV (3), 2025)

Cage: Hardware-Accelerated Safe WebAssembly. - Martin Fink 004; Dimitrios Stavrakakis; Dennis Sprokholt; Soham Chakraborty 001; Jan-Erik Ekberg; Pramod Bhatotia (CGO, 2025)

Modeling and Analysis Technique for the Formal Verification of System-on-Chip Address Maps: Extended Abstract. - Niels Mook; Erwin de Kock; Bas Arts; Soham Chakraborty 001; Arie van Deursen (DATE, 2025)

Relaxed Memory Concurrency Re-executed. - Evgenii Moiseenko; Matteo Meluzzi; Innokentii Meleshchenko; Ivan Kabashnyi; Anton Podkopaev; Soham Chakraborty 001 (Proc. ACM Program. Lang., 2025)

GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency. - Soham Chakraborty 001; S. Krishna 004; Andreas Pavlogiannis; Omkar Tuppe (CoRR, 2025)