Soham Chakraborty
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
30
Venues
15
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
30 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ASPLOS | 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 |
| 2026 | ASPLOS | Arancini: A Hybrid Binary Translator for Weak Memory Model Architectures. | Sebastian Reimers, Dennis Sprokholt, Martin Fink, Theofilos Augoustis, Simon Kammermeier, Rodrigo C. O. Rocha, Tom Spink, Redha Gouicem, Soham Chakraborty, Pramod Bhatotia |
| 2026 | CAV | Burrow: A Proof Framework for Weak Memory. | Dennis Sprokholt, Soham Chakraborty |
| 2026 | HPCA | C³: CXL Coherence Controllers for Heterogeneous Architectures. | Anatole Lefort, David Schall, Nicol Carpentieri, Julian Pritzi, Soham Chakraborty, Nicolai Oswald, Pramod Bhatotia |
| 2026 | Mobisys | Poster: BLERelayGuard: An Inter-Protocol Timing Approach to Detecting Bluetooth Relay Attacks. | Soham Chakraborty, Steele Kersten, Pradnyan Khodke, Elahe Soltanaghai |
| 2025 | CAV | sfGPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency. | Soham Chakraborty, S. Krishna, Andreas Pavlogiannis, Omkar Tuppe |
| 2025 | CGO | Cage: Hardware-Accelerated Safe WebAssembly. | Martin Fink, Dimitrios Stavrakakis, Dennis Sprokholt, Soham Chakraborty, Jan-Erik Ekberg, Pramod Bhatotia |
| 2025 | DATE | 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 |
| 2025 | SmartComp | RadarTrack: Enhancing Ego-Vehicle Speed Estimation with Single-chip mmWave Radar. | Argha Sen, Soham Chakraborty, Soham Tripathy, Sandip Chakraborty |
| 2025 | SmartComp | DEMO: Beyond Doppler - Demonstrating Phase-Based Ego-Speed Estimation on Embedded mmWave Radar. | Argha Sen, Soham Chakraborty, Soham Tripathy, Sandip Chakraborty |
| 2024 | IECON | SVM-Based Synchronized Fault Detection for 100% Renewable Microgrids. | Soham Chakraborty, Yue Chen, Ahmed S. Zamzam, Jing Wang |
| 2024 | IECON | Design of Multifunctional Electromagnetic Transient Model for Grid-Forming Inverters. | Soham Chakraborty, Jing Wang, Rasel Mahmud, Andy Hoke, Brian Johnson, Rmulo Goncalves Bainy, Hangtian Lei |
| 2024 | IECON | A Plug and Play Distributed Secondary Controller for Microgrids with Grid-Forming Inverters. | Vivek Khatana, Soham Chakraborty, Murti V. Salapaka |
| 2024 | IECON | A Distributed Malicious Agent Detection Scheme for Resilient Power Apportioning in Microgrids. | Vivek Khatana, Soham Chakraborty, Govind Saraswat, Sourav Patel, Murti V. Salapaka |
| 2024 | Mobisys | Poster: Dynamic Ego-Velocity Estimation Using Moving mmWave Radar: A Phase-Based Approach. | Argha Sen, Soham Chakraborty, Soham Tripathy, Sandip Chakraborty |
| 2023 | ASPLOS | Probabilistic Concurrency Testing for Weak Memory Programs. | Mingyu Gao, Soham Chakraborty, Burcu Kulahcioglu Ozkan |
| 2023 | ASPLOS | 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 |
| 2022 | IECON | Novel Power-Hardware-in-the-Loop Interface Method for Grid-Forming Inverter Systems. | Soham Chakraborty, Jaesang Park, Govind Saraswat, Toby Meyers, Jing Wang, Soumya Tiwari, Atif Maqsood, Apurva Somani, Murti V. Salapaka |
| 2022 | IECON | Active Synchronization of Islanded Microgrid using Droop-controlled Grid-forming Inverters. | Soham Chakraborty, Mohammed Tuhin Rana, Murti V. Salapaka |
| 2022 | PLDI | 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 |
| 2022 | PODC | Parameterized Verification under Release Acquire is PSPACE-complete. | Shankaranarayanan Krishna, Adwait Godbole, Roland Meyer, Soham Chakraborty |
| 2021 | FMCAD | Robustness between Weak Memory Models. | Soham Chakraborty |
| 2020 | PLDI | 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 |
| 2017 | CGO | Formalizing the concurrency semantics of an LLVM fragment. | Soham Chakraborty, Viktor Vafeiadis |
| 2016 | CC | Improved MHP Analysis. | Aravind Sankar, Soham Chakraborty, V. Krishna Nandivada |
| 2016 | CGO | Validating optimizations of concurrent C/C++ programs. | Soham Chakraborty, Viktor Vafeiadis |
| 2015 | POPL | 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 |
| 2009 | ICWS | Efficient Testing of Service-Oriented Applications Using Semantic Service Stubs. | Senthil Mani, Vibha Singhal Sinha, Saurabh Sinha, Pankaj Dhoolia, Debdoot Mukherjee, Soham Chakraborty |
| 2008 | ICCS | Real-Time Data Driven Wildland Fire Modeling. | Jonathan D. Beezley, Soham Chakraborty, Janice L. Coen, Craig C. Douglas, Jan Mandel, Anthony Vodacek, Zhen Wang |
| 2007 | ICCS | A Dynamic Data Driven Wildland Fire Model. | Jan Mandel, Jonathan D. Beezley, Lynn S. Bennethum, Soham Chakraborty, Janice L. Coen, Craig C. Douglas, Jay Hatcher, Minjeong Kim, Anthony Vodacek |