| 2026 | EuroPar | Asynchronous Checkpoint for Eventually Consistent Databases. | Raaghav Ravishankar, Sandeep S. Kulkarni, Nitin H. Vaidya |
| 2026 | ICDCIT | Fault-Tolerant Decentralized Distributed Asynchronous Federated Learning with Adaptive Termination Detection. | Phani Sahasra Akkinepally, Manaswini Piduguralla, Sushant Joshi, Sathya Peri, Sandeep S. Kulkarni |
| 2025 | ICDCN | Quantitative characterization of consistency violating faults at individual distributed computing processes. | Amit Garu, Arya Tanmay Gupta, Duong Ngoc Nguyen, Sandeep S. Kulkarni |
| 2025 | ICDCN | Distributing Context-Aware Shared Memory Data Structures: A Case Study on Singly-Linked Lists. | Raaghav Ravishankar, Sandeep S. Kulkarni, Sathya Peri, Gokarna Sharma |
| 2025 | SECRYPT | SONNI: Secure Oblivious Neural Network Inference. | Luke Sperling, Sandeep S. Kulkarni |
| 2024 | EDCC | Tolerance to Asynchrony of an Algorithm for Gathering Myopic Robots on an Infinite Triangular Grid. | Arya Tanmay Gupta, Sandeep S. Kulkarni |
| 2024 | ICDCN | Replay Clocks. | Ishaan Lagwankar, Sandeep S. Kulkarni |
| 2023 | ICDCN | Analyzing Program Transitions to Compute Benefit of Tolerating Consistency Violation Faults. | Duong Ngoc Nguyen, Arya Tanmay Gupta, Sandeep S. Kulkarni |
| 2023 | SRDS | Inducing Lattices in Non-Lattice-Linear Problems. | Arya Tanmay Gupta, Sandeep S. Kulkarni |
| 2023 | SSS | Lattice Linearity of Multiplication and Modulo. | Arya Tanmay Gupta, Sandeep S. Kulkarni |
| 2022 | ICDCN | Achieving Causality with Physical Clocks. | Sandeep S. Kulkarni, Gabe Appleton, Duong N. Nguyen |
| 2022 | SSS | Brief Announcement: Fully Lattice Linear Algorithms. | Arya Tanmay Gupta, Sandeep S. Kulkarni |
| 2021 | SSS | Extending Lattice Linearity for Self-stabilizing Algorithms. | Arya Tanmay Gupta, Sandeep S. Kulkarni |
| 2020 | SRDS | Benefits of Stabilization versus Rollback in Self-Stabilizing Graph-Based Applications on Eventually Consistent Key-Value Stores. | Duong N. Nguyen, Sandeep S. Kulkarni |
| 2020 | SRDS | Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems. | Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Gabe Appleton |
| 2019 | ICDCN | Benefit of self-stabilizing protocols in eventually consistent key-value stores: a case study. | Duong N. Nguyen, Sandeep S. Kulkarni, Ajoy K. Datta |
| 2019 | ICDCN | Session guarantees with raft and hybrid logical clocks. | Mohammad Roohitavaf, Jung-Sang Ahn, Woon-Hak Kang, Kun Ren, Gene Zhang, Sami Ben-Romdhane, Sandeep S. Kulkarni |
| 2019 | SSS | Achieving Starvation-Freedom with Greater Concurrency in Multi-Version Object-based Transactional Memory Systems. | Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani |
| 2018 | GECCO | NetSynth: a framework for synthesizing customized network protocols using genetic programming. | Mohammad Roohitavaf, Ling Zhu, Sandeep S. Kulkarni, Subir Biswas |
| 2018 | GECCO | Synthesizing customized network protocols using genetic programming. | Mohammad Roohitavaf, Ling Zhu, Sandeep S. Kulkarni, Subir Biswas |
| 2018 | SACMAT | Independent Key Distribution Protocols for Broadcast Authentication. | Bruhadeshwar Bezawada, Sandeep S. Kulkarni, Indrajit Ray, Indrakshi Ray, Rui Li |
| 2018 | SIROCCO | Biased Clocks: A Novel Approach to Improve the Ability To Perform Predicate Detection with O(1) Clocks. | Vidhya Tekken Valapil, Sandeep S. Kulkarni |
| 2018 | SSS | An Innovative Approach to Achieve Compositionality Efficiently Using Multi-version Object Based Transactional Systems. | Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani |
| 2017 | EDCC | Preserving Stabilization While Practically Bounding State Space. | Vidhya Tekken Valapil, Sandeep S. Kulkarni |
| 2017 | ICDCN | Efficient Algorithms for Predicate Detection using Hybrid Logical Clocks. | Sorrachai Yingchareonthawornchai, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas |
| 2017 | ICDCS | Retrospective Lightweight Distributed Snapshots Using Loosely Synchronized Clocks. | Aleksey Charapko, Ailidani Ailijiang, Murat Demirbas, Sandeep S. Kulkarni |
| 2017 | PODC | Effectiveness of Delaying Timestamp Computation. | Sandeep S. Kulkarni, Nitin H. Vaidya |
| 2017 | RV | Monitoring Partially Synchronous Distributed Systems Using SMT Solvers. | Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas |
| 2017 | SRDS | CausalSpartan: Causal Consistency for Distributed Data Stores Using Hybrid Logical Clocks. | Mohammad Roohitavaf, Murat Demirbas, Sandeep S. Kulkarni |
| 2016 | DAC | A framework for verification of SystemC TLM programs with model slicing: a case study. | Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni |
| 2016 | FORTE | Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. | Fathiyeh Faghih, Borzoo Bonakdarpour, Sbastien Tixeuil, Sandeep S. Kulkarni |
| 2016 | ICDCN | Stabilization and fault-tolerance in presence of unchangeable environment actions. | Mohammad Roohitavaf, Sandeep S. Kulkarni |
| 2016 | RV | Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems. | Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas |
| 2016 | SRDS | Collaborative Stabilization. | Mohammad Roohitavaf, Sandeep S. Kulkarni |
| 2016 | SSS | Automatic Addition of Conflicting Properties. | Mohammad Roohitavaf, Sandeep S. Kulkarni |
| 2015 | CEC | Multi-scenario, multi-objective optimization using evolutionary algorithms: Initial results. | Kalyanmoy Deb, Ling Zhu, Sandeep S. Kulkarni |
| 2015 | GECCO | Using Model Checking Techniques For Evaluating the Effectiveness of Evolutionary Computing in Synthesis of Distributed Fault-Tolerant Programs. | Ling Zhu, Sandeep S. Kulkarni |
| 2015 | OPODIS | Ensuring Average Recovery with Adversarial Scheduler. | Jingshu Chen, Mohammad Roohitavaf, Sandeep S. Kulkarni |
| 2015 | OPODIS | Analysis of Bounds on Hybrid Vector Clocks. | Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Murat Demirbas |
| 2015 | SRDS | Auditable Restoration of Distributed Programs. | Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni |
| 2015 | SSS | Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms. | Ling Zhu, Jingshu Chen, Sandeep S. Kulkarni |
| 2014 | CEC | Multi-scenario optimization using multi-criterion methods: A case study on Byzantine agreement problem. | Ling Zhu, Kalyanmoy Deb, Sandeep S. Kulkarni |
| 2014 | FM | Knowledge-Based Automated Repair of Authentication Protocols. | Borzoo Bonakdarpour, Reza Hajisheykhi, Sandeep S. Kulkarni |
| 2014 | ISSTA | Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability. | Yiyan Lin, Sandeep S. Kulkarni |
| 2014 | OPODIS | Logical Physical Clocks. | Sandeep S. Kulkarni, Murat Demirbas, Deepak Madappa, Bharadwaj Avva, Marcelo Leone |
| 2014 | SEFM | Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
| 2013 | ICDCN | SMT-Based Model Checking for Stabilizing Programs | Jingshu Chen, Sandeep S. Kulkarni |
| 2013 | MICRO | Modeling and analyzing timing faults in transaction level SystemC programs. | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
| 2013 | SRDS | Automated Multi-graceful Degradation: A Case Study. | Yiyan Lin, Sandeep S. Kulkarni |
| 2013 | SSS | Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs. | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
| 2013 | SSS | Automated Addition of Fault-Tolerance under Synchronous Semantics. | Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2013 | SSS | Synthesizing Round Based Fault-Tolerant Programs Using Genetic Programming. | Ling Zhu, Sandeep S. Kulkarni |
| 2012 | ICDCN | Application of Automated Revision for UML Models: A Case Study. | Jingshu Chen, Sandeep S. Kulkarni |
| 2012 | ICDCN | Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs. | Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni |
| 2012 | ISCC | Maestro: A cloud computing framework with automated locking. | Murat Demirbas, Serafettin Tasci, Sandeep S. Kulkarni |
| 2012 | SRDS | Automatic Generation of Graceful Programs. | Yiyan Lin, Sandeep S. Kulkarni |
| 2012 | SSS | Brief Announcement: Verification of Stabilizing Programs with SMT Solvers. | Jingshu Chen, Sandeep S. Kulkarni |
| 2011 | EMSOFT | Automated addition of fault recovery to cyber-physical component-based models. | Borzoo Bonakdarpour, Yiyan Lin, Sandeep S. Kulkarni |
| 2011 | SSS | Active Stabilization. | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2010 | ICDCS | Complexity Analysis of Weak Multitolerance. | Jingshu Chen, Sandeep S. Kulkarni |
| 2010 | OPODIS | Effect of Fairness in Model Checking of Self-stabilizing Programs. | Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni |
| 2010 | SSS | Complexity Issues in Automated Model Revision without Explicit Legitimate State. | Fuad Abujarad, Sandeep S. Kulkarni |
| 2010 | SSS | "Slow Is Fast" for Wireless Sensor Networks in the Presence of Message Losses. | Mahesh Arumugam, Murat Demirbas, Sandeep S. Kulkarni |
| 2009 | EMSOFT | Compositional verification of fault-tolerant real-time programs. | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2009 | FM | On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery. | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2009 | MASS | Mobile Relay Configuration in Data-intensive Wireless Sensor Networks. | Fatm El-Moukaddem, Eric Torng, Guoliang Xing, Sandeep S. Kulkarni |
| 2009 | SRDS | Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance. | Fuad Abujarad, Sandeep S. Kulkarni |
| 2009 | SSS | Multicore Constraint-Based Automated Stabilization. | Fuad Abujarad, Sandeep S. Kulkarni |
| 2008 | CONCUR | SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs. | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2008 | EMSOFT | Disassembling real-time fault-tolerant programs. | Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora |
| 2008 | ESORICS | Symmetric Key Approaches to Securing BGP - A Little Bit Trust Is Enough. | Bezawada Bruhadeshwar, Sandeep S. Kulkarni, Alex X. Liu |
| 2008 | FM | Masking Faults While Providing Bounded-Time Phased Recovery. | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2008 | OPODIS | Revising Distributed UNITY Programs Is NP-Complete. | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2007 | ICDCIT | On the Design of Mobility-Tolerant TDMA-Based Media Access Control (MAC) Protocol for Mobile Sensor Networks. | Arshad Jhumka, Sandeep S. Kulkarni |
| 2007 | ICDCS | Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space. | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2007 | ICSE | Testing Dynamic Adaptation in Distributed Systems. | Karun N. Biyani, Sandeep S. Kulkarni |
| 2007 | ICSE | Mixed-Mode Adaptation in Distributed Systems: A Case Study. | Karun N. Biyani, Sandeep S. Kulkarni |
| 2007 | SECON | ProSe - A Programming Tool for Rapid Prototyping of Sensor Networks. | Mahesh Arumugam, Sandeep S. Kulkarni |
| 2007 | SSS | Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. | Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad |
| 2006 | DCOSS | Untitled record | Limin Wang, Sandeep S. Kulkarni |
| 2006 | FMICS | Automated Incremental Synthesis of Timed Automata. | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2006 | SECON | Sacrificing a Little Coverage Can Substantially Increase Network Lifetime. | Limin Wang, Sandeep S. Kulkarni |
| 2006 | SSS | A Case Study on Prototyping Power Management Protocols for Sensor Networks. | Mahesh Arumugam, Limin Wang, Sandeep S. Kulkarni |
| 2006 | SSS | Incremental Synthesis of Fault-Tolerant Real-Time Programs. | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2006 | SSS | Brief Announcement: Distributed Synthesis of Fault-Tolerance. | Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad |
| 2006 | SSS | Logarithmic Keying of Communication Networks. | Mohamed G. Gouda, Sandeep S. Kulkarni, Ehab S. Elmallah |
| 2005 | DCOSS | Project ExScal (Short Abstract). | Anish Arora, Rajiv Ramnath, Prasun Sinha, Emre Ertin, Sandip Bapat, Vinayak Naik, Vinod Kulathumani, Hongwei Zhang, Mukundan Sridharan, Santosh Kumar, Hui Cao, Nick Seddon, Chris Anderson, Ted Herman, Chen Zhang, Nishank Trivedi, Mohamed G. Gouda, Young-ri Choi, Mikhail Nesterenko, Romil Shah, Sandeep S. Kulkarni, Mahesh Aramugam, Limin Wang, David E. Culler, Prabal Dutta, Cory Sharp, Gilman Tolle, Mike Grimmer, Bill Ferriera, Ken Parker |
| 2005 | EDCC | Adding Fault-Tolerance Using Pre-synthesized Components. | Sandeep S. Kulkarni, Ali Ebnenasir |
| 2005 | ICDCIT | Self-stabilizing Deterministic TDMA for Sensor Networks. | Mahesh Arumugam, Sandeep S. Kulkarni |
| 2005 | ICDCIT | User Revocation in Secure Adhoc Networks. | Bezawada Bruhadeshwar, Sandeep S. Kulkarni |
| 2005 | ICDCS | MNP: Multihop Network Reprogramming Service for Sensor Networks. | Sandeep S. Kulkarni, Limin Wang |
| 2005 | ICNP | A Family of Collusion Resistant Protocols for Instantiating Security. | Sandeep S. Kulkarni, Bezawada Bruhadeshwar |
| 2005 | NDSS | Rekeying and Storage Cost for Multiple User Revocation. | Sandeep S. Kulkarni, Bezawada Bruhadeshwar |
| 2005 | OPODIS | Revising UNITY Programs: Possibilities and Limitations. | Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour |
| 2005 | RTCSA | ExScal: Elements of an Extreme Scale Wireless Sensor Network. | Anish Arora, Rajiv Ramnath, Emre Ertin, Prasun Sinha, Sandip Bapat, Vinayak Naik, Vinod Kulathumani, Hongwei Zhang, Hui Cao, Mukundan Sridharan, Santosh Kumar, Nick Seddon, Chris Anderson, Ted Herman, Nishank Trivedi, Chen Zhang, Mikhail Nesterenko, Romil Shah, Sandeep S. Kulkarni, Mahesh Aramugam, Limin Wang, Mohamed G. Gouda, Young-ri Choi, David E. Culler, Prabal Dutta, Cory Sharp, Gilman Tolle, Mike Grimmer, Bill Ferriera, Ken Parker |
| 2004 | DSN | Automated Synthesis of Multitolerance. | Sandeep S. Kulkarni, Ali Ebnenasir |
| 2004 | ICDCIT | Distributing Key Updates in Secure Dynamic Groups. | Sandeep S. Kulkarni, Bezawada Bruhadeshwar |
| 2004 | LOPSTR | Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. | Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir |
| 2003 | ICDCS | Enhancing The Fault-Tolerance of Nonmasking Programs. | Sandeep S. Kulkarni, Ali Ebnenasir |
| 2003 | OPODIS | Transformations for Write-All-with-Collision Model. | Sandeep S. Kulkarni, Umamaheswaran Arumugam |
| 2003 | SSS | Collision-Free Communication in Sensor Networks. | Sandeep S. Kulkarni, Umamaheswaran Arumugam |
| 2002 | ICDCS | The Complexity of Adding Failsafe Fault-Tolerance. | Sandeep S. Kulkarni, Ali Ebnenasir |
| 2001 | DSN | Graybox Stabilization. | Anish Arora, Murat Demirbas, Sandeep S. Kulkarni |
| 2001 | SRDS | Polynomial Time Synthesis of Byzantine Agreement. | Sandeep S. Kulkarni, Anish Arora, Arun Chippada |
| 2000 | PODC | Resettable vector clocks. | Anish Arora, Sandeep S. Kulkarni, Murat Demirbas |
| 1998 | ICDCS | Detectors and Correctors: A Theory of Fault-Tolerance Components. | Anish Arora, Sandeep S. Kulkarni |
| 1998 | ICPP | Low-cost Fault-tolerance in Barrier Synchronizations. | Sandeep S. Kulkarni, Anish Arora |
| 1997 | ICNP | Once-and-for all management protocol (OFMP). | Sandeep S. Kulkarni, Anish Arora |
| 1995 | SRDS | Designing Masking Fault Tolerance via Nonmasking Fault Tolerance. | Anish Arora, Sandeep S. Kulkarni |