Soham Chakraborty

31 papers A* 5A 5B 3Journal 12Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Algorithm Support for Graph Databases, Done Right.
CoRR
Daan de Graaf, Robert Brijder, Soham Chakraborty, George Fletcher, Bram Van De Wall, Nikolay Yakovets
2026 — conf
Arancini: A Hybrid Binary Translator for Weak Memory Model Architectures.
ASPLOS (2)
Sebastian Reimers, Dennis Sprokholt, Martin Fink, Theofilos Augoustis, Simon Kammermeier, Rodrigo C. O. Rocha, Tom Spink, Redha Gouicem, Soham Chakraborty, Pramod Bhatotia
2026 A* conf
C³: CXL Coherence Controllers for Heterogeneous Architectures.
HPCA
Anatole Lefort, David Schall, Nicolò Carpentieri, Julian Pritzi, Soham Chakraborty, Nicolai Oswald, Pramod Bhatotia
2026 — conf
vCXLGen: Automated Synthesis and Verification of CXL Bridges for Heterogeneous Architectures.
ASPLOS (2)
Anatole Lefort, Julian Pritzi, Nicolò Carpentieri, David Schall, Simon Dittrich, Soham Chakraborty, Nicolai Oswald, Pramod Bhatotia
2025 A conf
Cage: Hardware-Accelerated Safe WebAssembly.
CGO
Martin Fink, Dimitrios Stavrakakis, Dennis Sprokholt, Soham Chakraborty, Jan-Erik Ekberg, Pramod Bhatotia
2025 J jnl
GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency.
CoRR
Soham Chakraborty, S. Krishna, Andreas Pavlogiannis, Omkar Tuppe
2025 A conf
Modeling and Analysis Technique for the Formal Verification of System-on-Chip Address Maps: Extended Abstract.
DATE
Niels Mook, Erwin de Kock, Bas Arts, Soham Chakraborty, Arie van Deursen
2025 J jnl
Relaxed Memory Concurrency Re-executed.
Proc. ACM Program. Lang.
Evgenii Moiseenko, Matteo Meluzzi, Innokentii Meleshchenko, Ivan Kabashnyi, Anton Podkopaev, Soham Chakraborty
2025 — conf
sfGPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency.
CAV (3)
Soham Chakraborty, S. Krishna, Andreas Pavlogiannis, Omkar Tuppe
2024 J jnl
Cage: Hardware-Accelerated Safe WebAssembly.
CoRR
Martin Fink, Dimitrios Stavrakakis, Dennis Sprokholt, Soham Chakraborty, Jan-Erik Ekberg, Pramod Bhatotia
2024 J jnl
How Hard Is Weak-Memory Testing?
Proc. ACM Program. Lang.
Soham Chakraborty, Shankara Narayanan Krishna, Umang Mathur, Andreas Pavlogiannis
2024 B conf
Toast: A Heterogeneous Memory Management System.
PACT
Maurice Bailleu, Dimitrios Stavrakakis, Rodrigo Caetano Rocha, Soham Chakraborty, Deepak Garg, Pramod Bhatotia
2023 J jnl
Compound Memory Models.
Proc. ACM Program. Lang.
Andrés Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, Vijay Nagarajan
2023 J jnl
How Hard is Weak-Memory Testing?
CoRR
Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis
2023 J jnl
Optimal Reads-From Consistency Checking for C11-Style Memory Models.
CoRR
Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç
2023 J jnl
Optimal Reads-From Consistency Checking for C11-Style Memory Models.
Proc. ACM Program. Lang.
Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis
2023 — conf
Probabilistic Concurrency Testing for Weak Memory Programs.
ASPLOS (2)
Mingyu Gao, Soham Chakraborty, Burcu Kulahcioglu Ozkan
2023 — conf
Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures.
ASPLOS (1)
Redha Gouicem, Dennis Sprokholt, Jasper Ruehl, Rodrigo C. O. Rocha, Tom Spink, Soham Chakraborty, Pramod Bhatotia
2022 A* conf
Lasagne: a static binary translator for weak memory model architectures.
PLDI
Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, Pramod Bhatotia
2022 A* conf
Parameterized Verification under Release Acquire is PSPACE-complete.
PODC
Shankaranarayanan Krishna, Adwait Godbole, Roland Meyer, Soham Chakraborty
2021 B conf
Robustness between Weak Memory Models.
FMCAD
Soham Chakraborty
2020 J jnl
On Architecture to Architecture Mapping for Concurrency.
CoRR
Soham Chakraborty
2020 A* conf
Promising 2.0: global optimizations in relaxed memory concurrency.
PLDI
Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis
2019 — —
Correct Compilation of Relaxed Memory Concurrency.
Soham Chakraborty
2019 J jnl
Grounding thin-air reads with event structures.
Proc. ACM Program. Lang.
Soham Chakraborty, Viktor Vafeiadis
2017 A conf
Formalizing the concurrency semantics of an LLVM fragment.
CGO
Soham Chakraborty, Viktor Vafeiadis
2016 B conf
Improved MHP Analysis.
CC
Aravind Sankar, Soham Chakraborty, V. Krishna Nandivada
2016 A conf
Validating optimizations of concurrent C/C++ programs.
CGO
Soham Chakraborty, Viktor Vafeiadis
2015 J jnl
Aspect-oriented linearizability proofs.
Log. Methods Comput. Sci.
Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis
2015 A* conf
Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it.
POPL
Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty, Robin Morisset, Francesco Zappa Nardelli
2009 A conf
Efficient Testing of Service-Oriented Applications Using Semantic Service Stubs.
ICWS
Senthil Mani, Vibha Singhal Sinha, Saurabh Sinha, Pankaj Dhoolia, Debdoot Mukherjee, Soham Chakraborty