Soham Sundar Chakraborty: All Publications

Thesis

PhD 2019	Correct Compilation of Relaxed Memory Concurrency.
MS 2008	Static analysis and optimization of object oriented systems: concepts and approaches.

Peer Reviewed

ASPLOS'26	Arancini: A Hybrid Binary Translator for Weak Memory Model Architectures. S. Reimers, D. Sprokholt, M. Fink, T. Augoustis, S. Kammermeier, R. Rocha, T. Spink, R. Gouicem, S. Chakraborty#, P. Bhatotia#.
ASPLOS'26	vCXLGen: Automated Synthesis and Verification of CXL Bridges for Heterogeneous Architectures. Anatole Lefort, Julian Pritzi, Nicolò Carpentieri, David Schall, Simon Dittrich, Soham Chakraborty, Nicolai Oswald, Pramod Bhatotia.
HPCA'26	$C^3$: CXL Coherence Controllers for Heterogeneous Architectures. Anatole Lefort, David Schall, Nicolò Carpentieri, Julian Pritzi, Soham Chakraborty, Nicolai Oswald, Pramod Bhatotia.
CAV'25	GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency. [Technical Appendix] [Artifact] Soham Chakraborty, Krishna S, Andreas Pavlogiannis, Omkar Tuppe.
POPL'25	Relaxed Memory Concurrency Re-executed. [Technical Appendix] [Artifact] Evgenii Moiseenko, Matteo Meluzzi, Innokentii Meleshchenko, Ivan Kabashnyi, Anton Podkopaev, Soham Chakraborty. Distinguished Paper Award
DATE'25	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, Arie van Deursen.
CGO'25	Cage: Hardware-Accelerated Safe WebAssembly Martin Fink, Dimitrios Stavrakakis, Dennis Sprokholt, Soham Chakraborty, Jan-Erik Ekberg, Pramod Bhatotia.
PACT'24	Toast: A Heterogeneous Memory Management System Maurice Bailleu, Dimitrios Stavrakakis, Rodrigo Rocha, Soham Chakraborty, Deepak Garg, Pramod Bhatotia.
POPL'24	How Hard is Weak-Memory Testing? Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis.
PLDI'23a	Compound Memory Models. [Artifact] Andres Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, Vijay Nagarajan.
PLDI'23b	Optimal Reads-From Consistency Checking for C11-Style Memory Model]. [Artifact] Hunkar Can Tunc, Parosh A. Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis.
ASPLOS'23a	Probabilistic Concurrency Testing for Weak Memory Concurrency. [Artifact] Mingyu Gao, Soham Chakraborty, Burcu Kulahcioglu Ozkan.
ASPLOS'23b	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. Distinguished Artifact Award
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. [Artifact] Soham Chakraborty. [Project page]
PLDI 2020	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 2019	Grounding thin-air reads with event structures. [Project page] Soham Chakraborty, Viktor Vafeiadis.
CGO 2017	Formalizing the concurrency semantics of an LLVM fragment. [Project page] Soham Chakraborty, Viktor Vafeiadis. Best Paper Nominee
CGO 2016	Validating optimizations of concurrent C/C++ programs. [Project page] Soham Chakraborty, Viktor Vafeiadis.
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. [Project page] Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty, Robin Morisset, Francesco Zappa Nardelli.
LMCS 2015	Aspect-oriented linearizability proofs. Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis.
IACC 2014	Harnessing partial vectorization in Open64 compiler. Ramshankar Ramanarayanan, Meghana Gupta, Soham Chakraborty, Dibyendu Das, Michael Lai.
ASE 2011	Towards an approach and framework for test-execution plan derivation. Soham Chakraborty, Vipul Shah.
Onward 2010	Inferring arbitrary distributions for data and computation. Soham Chakraborty, V. Krishna Nandivada.
SERVICES 2009	Toward the development of cross-platform business applications via model-driven transformations. Rama Akkiraju, Tilak Mitra, Nilay Ghosh, Dipankar Saha, Usha Thulasiram, Soham Chakraborty.
ICWS 2009	Efficient testing of service-oriented applications using semantic service stubs. Senthil Mani, Vibha Sinha, Saurabh Sinha, Pankaj Dhoolia, Debdoot Mukherjee, Soham Chakraborty.
ISEC 2008	Precise static type analysis in component based programming environment. (Extended Abstract) Soham Sundar Chakraborty, Rajeev Kumar.
ADCOM 2007	Static analysis based application specific dispatch table compaction. Soham Chakraborty, Rajeev Kumar.
SIGPLAN 2007	Precise static type analysis for object oriented programs. Rajeev Kumar, Soham Chakraborty.

Workshop & Report

Open64-W 2012(co-located with PLDI'12)	Experience with partial simdization in Open64 compiler using dynamic programming. Dibyendu Das, Soham Chakraborty, Michael Lai.
IBM 2010	Parallelizing loops in parallel programs. Soham Chakraborty, V. Krishna Nandivada. In IBM Research Report : RI10007. IBM (October, 2010)

Posters

POPL 2015	Validating optimizations of C11 concurrent programs. Soham Chakraborty, Viktor Vafeiadis. In POPL 2015.
AATC 2012	Identifying Parallelism through dynamic profiling. Deepak Porwal, Soham Chakraborty. In AMD Asia Technical Conference (AATC), 2012.(Company Internal).
HiPC 2008	Prioritizing methods for optimal method inlining. Soham Sundar Chakraborty, Rajeev Kumar. In HiPC 2008.