Soham Chakraborty

According to our database, Soham Chakraborty authored at least 26 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

How Hard Is Weak-Memory Testing?

Soham Chakraborty, Shankara Narayanan Krishna, Umang Mathur, Andreas Pavlogiannis

Proc. ACM Program. Lang., January, 2024

Cage: Hardware-Accelerated Safe WebAssembly.

Martin Fink, Dimitrios Stavrakakis, Dennis Sprokholt, Soham Chakraborty, Jan-Erik Ekberg, Pramod Bhatotia

CoRR, 2024

Toast: A Heterogeneous Memory Management System.

Maurice Bailleu, Dimitrios Stavrakakis, Rodrigo Caetano Rocha, Soham Chakraborty, Deepak Garg, Pramod Bhatotia

Proceedings of the 2024 International Conference on Parallel Architectures and Compilation Techniques, 2024

2023

Optimal Reads-From Consistency Checking for C11-Style Memory Models.

Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis

Dataset, March, 2023

Optimal Reads-From Consistency Checking for C11-Style Memory Models.

Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis

Dataset, March, 2023

Optimal Reads-From Consistency Checking for C11-Style Memory Models.

Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis

Proc. ACM Program. Lang., 2023

Compound Memory Models.

Andrés Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, Vijay Nagarajan

Proc. ACM Program. Lang., 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, Pramod Bhatotia

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

Probabilistic Concurrency Testing for Weak Memory Programs.

Mingyu Gao, Soham Chakraborty, Burcu Kulahcioglu Ozkan

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

Parameterized Verification under Release Acquire is PSPACE-complete.

Shankaranarayanan Krishna, Adwait Godbole, Roland Meyer, Soham Chakraborty

Proceedings of the PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25, 2022

Lasagne: a static binary translator for weak memory model architectures.

Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, Pramod Bhatotia

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Robustness between Weak Memory Models.

Soham Chakraborty

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

On Architecture to Architecture Mapping for Concurrency.

Soham Chakraborty

CoRR, 2020

Promising 2.0: global optimizations in relaxed memory concurrency.

Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Correct Compilation of Relaxed Memory Concurrency.

Soham Chakraborty

PhD thesis, 2019

Grounding thin-air reads with event structures.

Soham Chakraborty, Viktor Vafeiadis

Proc. ACM Program. Lang., 2019

2017

Formalizing the concurrency semantics of an LLVM fragment.

Soham Chakraborty, Viktor Vafeiadis

Proceedings of the 2017 International Symposium on Code Generation and Optimization, 2017

2016

Validating optimizations of concurrent C/C++ programs.

Soham Chakraborty, Viktor Vafeiadis

Proceedings of the 2016 International Symposium on Code Generation and Optimization, 2016

Improved MHP Analysis.

Aravind Sankar, Soham Chakraborty, V. Krishna Nandivada

Proceedings of the 25th International Conference on Compiler Construction, 2016

2015

Aspect-oriented linearizability proofs.

Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis

Log. Methods Comput. Sci., 2015

Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it.

Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty, Robin Morisset, Francesco Zappa Nardelli

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2011

Towards an approach and framework for test-execution plan derivation.

Soham Sundar Chakraborty, Vipul Shah

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010

Inferring arbitrary distributions for data and computation.

Soham Sundar Chakraborty, V. Krishna Nandivada

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009

Efficient Testing of Service-Oriented Applications Using Semantic Service Stubs.

Senthil Mani, Vibha Singhal Sinha, Saurabh Sinha, Pankaj Dhoolia, Debdoot Mukherjee, Soham Chakraborty

Proceedings of the IEEE International Conference on Web Services, 2009

2008

Precise static type analysis in component based programming environment.

Soham Sundar Chakraborty, Rajeev Kumar

Proceedings of the Proceeding of the 1st Annual India Software Engineering Conference, 2008

2007

Precise static type analysis for object oriented programs.

Rajeev Kumar, Soham Sundar Chakraborty

ACM SIGPLAN Notices, 2007