Sotabase

Career

· Postdoctoral Researcher, Ecole normale supérieure2025–
· PHD Researcher, KU Leuven2020–2024
· Master of Science - MSc, Mathematics, Chennai Mathematical Institute2018–2020
· Bachelor of Science - BSc, Mathematics and Computer Science, Chennai Mathematical Institute2015–2018

Publications (43)

Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it
ACM-SIGACT Symposium on Principles of Programming Languages · 2015
126
cited
Aspect-Oriented Linearizability Proofs
International Conference on Concurrency Theory · 2013
78
cited
Grounding thin-air reads with event structures
Proc. ACM Program. Lang. · 2019
73
cited
Promising 2.0: global optimizations in relaxed memory concurrency
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2020
65
cited
A Dynamic Data Driven Wildland Fire Model
International Conference on Conceptual Structures · 2007
44
cited
Formalizing the concurrency semantics of an LLVM fragment
IEEE/ACM International Symposium on Code Generation and Optimization · 2017
37
cited
Validating optimizations of concurrent C/C++ programs
IEEE/ACM International Symposium on Code Generation and Optimization · 2016
29
cited
Efficient Testing of Service-Oriented Applications Using Semantic Service Stubs
IEEE International Conference on Web Services · 2009
20
cited
Lasagne: a static binary translator for weak memory model architectures
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2022
17
cited
Optimal Reads-From Consistency Checking for C11-Style Memory Models
Proc. ACM Program. Lang. · 2023
12
cited
Compound Memory Models
Proc. ACM Program. Lang. · 2023
11
cited
Probabilistic Concurrency Testing for Weak Memory Programs
International Conference on Architectural Support for Programming Languages and Operating Systems · 2023
10
cited
Improved MHP Analysis
International Conference on Compiler Construction · 2016
8
cited
Real-Time Data Driven Wildland Fire Modeling
International Conference on Conceptual Structures · 2008
8
cited
Parameterized Verification under Release Acquire is PSPACE-complete
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing · 2022
6
cited
Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures
International Conference on Architectural Support for Programming Languages and Operating Systems · 2022
6
cited
Towards an approach and framework for test-execution plan derivation
International Conference on Automated Software Engineering · 2011
6
cited
Cage: Hardware-Accelerated Safe WebAssembly
IEEE/ACM International Symposium on Code Generation and Optimization · 2024
4
cited
Dynamic Data-Driven Application Systems for Empty Houses, Contaminat Tracking, and Wildland Fireline Prediction
Grid-Based Problem Solving Environments · 2006
4
cited
Precise static type analysis for object oriented programs
SIGP · 2007
3
cited
Sotabase
Soham Chakraborty | Researcher Profile | Sotabase | Sotabase