Soham Sundar Chakraborty: All Publications

Thesis

Peer Reviewed

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'23	Compound Memory Models. Andres Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, Vijay Nagarajan.
PLDI'23	Optimal Reads-From Consistency Checking for C11-Style Memory Models. Hünkar C Tunc, Parosh A. Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis .
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. Redha Gouicem*, Dennis Sprokholt*, Jasper Ruehl, Rodrigo Rocha, Tom Spink, Soham Chakraborty, Pramod Bhatotia. [Project page] Distinguished Artifact Award
PODC'22	Parameterized Verification under Release Acquire is PSPACE-complete. Shankaranarayanan Krishna, Adwait Godbole, Roland Meyer, Soham Chakraborty.
PLDI 2022	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 2021	Robustness between Weak Memory Models. 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. In Proc. ACM Program. Lang. 3, POPL, Article 70
CGO 2017	Formalizing the concurrency semantics of an LLVM fragment. [Project page] Soham Chakraborty, Viktor Vafeiadis. In CGO 2017, pp. 100-110. ACM (February 2017) (Best Paper Nominee)
CGO 2016	Validating optimizations of concurrent C/C++ programs. [Project page] Soham Chakraborty, Viktor Vafeiadis. In CGO 2016, pp. 216-226. ACM (March 2016)
CC 2016	Improved MHP analyses. Aravind Sankar, Soham Chakraborty, V. Krishna Nandivada. In CC 2016, pp 207-217. ACM (March, 2016)
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. In POPL 2015, pp. 209-220. ACM (January 2015)
LMCS 2015	Aspect-oriented linearizability proofs. Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis. In Logical Methods in Computer Science 11(1:20) (March 2015).
IACC 2014	Harnessing partial vectorization in Open64 compiler. Ramshankar Ramanarayanan, Meghana Gupta, Soham Chakraborty, Dibyendu Das, Michael Lai. In IACC 2014, pp. 813-824. IEEE (2014)
ASE 2011	Towards an approach and framework for test-execution plan derivation. Soham Chakraborty, Vipul Shah. In ASE 2011, pp. 488-491. IEEE (November, 2011)
Onward 2010	Inferring arbitrary distributions for data and computation. Soham Chakraborty, V. Krishna Nandivada. In Onward 2010, OOPSLA Companion, pp. 51-60. ACM (October, 2010)
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. In Congress on Services - I 2009, pp: 585-592. IEEE (July, 2009)
ICWS 2009	Efficient testing of service-oriented applications using semantic service stubs. Senthil Mani, Vibha Sinha, Saurabh Sinha, Pankaj Dhoolia, Debdoot Mukherjee, Soham Chakraborty. In ICWS 2009, pp: 197-204. IEEE (July, 2009)
ISEC 2008	Precise static type analysis in component based programming environment. (Extended Abstract) Soham Sundar Chakraborty, Rajeev Kumar. In ISEC 2008, pp: 133-134. ACM (February, 2008)
ADCOM 2007	Static analysis based application specific dispatch table compaction. Soham Chakraborty, Rajeev Kumar. In ADCOM 2007, IEEE (December, 2007)
SIGPLAN 2007	Precise static type analysis for object oriented programs. Rajeev Kumar, Soham Chakraborty. In SIGPLAN Notices (42:2), pp: 17 - 26. ACM (February 2007)

Workshop & Report

Posters