A Token Based k-Resilient Mutual Exclusion Algorithm for Distributed Systems. - Dhananjay M. Dhamdhere; Sandeep S. Kulkarni (Inf. Process. Lett., 1994)

Once-and-for all management protocol (OFMP). - Sandeep S. Kulkarni; Anish Arora (ICNP, 1997)

Compositional design of multitolerant repetitive byzantine agreement. - Sandeep S. Kulkarni; Anish Arora (WSS, 1997)

Multitolerant Barrier Synchronization. - Sandeep S. Kulkarni; Anish Arora (Inf. Process. Lett., 1997)

Detectors and Correctors: A Theory of Fault-Tolerance Components. - Anish Arora; Sandeep S. Kulkarni (ICDCS, 1998)

Low-cost Fault-tolerance in Barrier Synchronizations. - Sandeep S. Kulkarni; Anish Arora (ICPP, 1998)

Multitolerance in Distributed Reset. - Sandeep S. Kulkarni; Anish Arora (Chic. J. Theor. Comput. Sci., 1998)

Component Based Design of Multitolerant Systems. - Anish Arora; Sandeep S. Kulkarni (IEEE Trans. Software Eng., 1998)

Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance. - Anish Arora; Sandeep S. Kulkarni (IEEE Trans. Software Eng., 1998)

A case-study in component-based mechanical verification of fault-tolerant programs. - Sandeep S. Kulkarni; John M. Rushby; Natarajan Shankar (WSS, 1999)

Automating the Addition of Fault-Tolerance. - Sandeep S. Kulkarni; Anish Arora (FTRTFT, 2000)

Graybox Stabilization. - Anish Arora; Murat Demirbas; Sandeep S. Kulkarni (DSN, 2001)

Polynomial Time Synthesis of Byzantine Agreement. - Sandeep S. Kulkarni; Anish Arora; Arun Chippada (SRDS, 2001)

The Complexity of Adding Failsafe Fault-Tolerance. - Sandeep S. Kulkarni; Ali Ebnenasir (ICDCS, 2002)

Reducing the Cost of the Critical Path in Secure Multicast for Dynamic Groups. - Sandeep S. Kulkarni; Bezawada Bruhadeshwar (ICDCS Workshops, 2002)

Education: Interactive Distributed Applications and the Computer Science Curriculum. - Philip K. McKinley; Kurt Stirewalt; Betty H. C. Cheng; Laura K. Dillon; Sandeep S. Kulkarni (IEEE Distributed Syst. Online, 2002)

Enhancing The Fault-Tolerance of Nonmasking Programs. - Sandeep S. Kulkarni; Ali Ebnenasir (ICDCS, 2003)

Transformations for Write-All-with-Collision Model. - Sandeep S. Kulkarni; Umamaheswaran Arumugam (OPODIS, 2003)

Collision-Free Communication in Sensor Networks. - Sandeep S. Kulkarni; Umamaheswaran Arumugam (Self-Stabilizing Systems, 2003)

Correctness of Component-Based Adaptation. - Sandeep S. Kulkarni; Karun N. Biyani (CBSE, 2004)

Automated Synthesis of Multitolerance. - Sandeep S. Kulkarni; Ali Ebnenasir (DSN, 2004)

Distributing Key Updates in Secure Dynamic Groups. - Sandeep S. Kulkarni; Bezawada Bruhadeshwar (ICDCIT, 2004)

TDMA Service for Sensor Networks. - Sandeep S. Kulkarni; Umamaheswaran Arumugam (ICDCS Workshops, 2004)

Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. - Sandeep S. Kulkarni; Borzoo Bonakdarpour; Ali Ebnenasir (LOPSTR, 2004)

A line in the sand: a wireless sensor network for target detection, classification, and tracking. - Anish Arora; Prabal Dutta; Sandip Bapat; Vinod Kulathumani; Hongwei Zhang 001; Vinayak Naik; Vineet Mittal; Hui Cao 001; Murat Demirbas; Mohamed G. Gouda; Young-ri Choi; Ted Herman; et al. (Comput. Networks, 2004)

Project ExScal (Short Abstract). - Anish Arora; Rajiv Ramnath; Prasun Sinha; Emre Ertin; Sandip Bapat; Vinayak Naik; Vinod Kulathumani; Hongwei Zhang 001; Mukundan Sridharan; Santosh Kumar 001; Hui Cao 001; Nick Seddon; et al. (DCOSS, 2005)

Adding Fault-Tolerance Using Pre-synthesized Components. - Sandeep S. Kulkarni; Ali Ebnenasir (EDCC, 2005)

Self-stabilizing Deterministic TDMA for Sensor Networks. - Mahesh Arumugam; Sandeep S. Kulkarni (ICDCIT, 2005)

User Revocation in Secure Adhoc Networks. - Bezawada Bruhadeshwar; Sandeep S. Kulkarni (ICDCIT, 2005)

MNP: Multihop Network Reprogramming Service for Sensor Networks. - Sandeep S. Kulkarni; Limin Wang 012 (ICDCS, 2005)

A Family of Collusion Resistant Protocols for Instantiating Security. - Sandeep S. Kulkarni; Bezawada Bruhadeshwar (ICNP, 2005)

Rekeying and Storage Cost for Multiple User Revocation. - Sandeep S. Kulkarni; Bezawada Bruhadeshwar (NDSS, 2005)

Revising UNITY Programs: Possibilities and Limitations. - Ali Ebnenasir; Sandeep S. Kulkarni; Borzoo Bonakdarpour (OPODIS, 2005)

Proactive Reliable Bulk Data Dissemination in Sensor Networks. - Limin Wang 012; Sandeep S. Kulkarni (IASTED PDCS, 2005)

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 001; Hui Cao 001; Mukundan Sridharan; Santosh Kumar 001; Nick Seddon; et al. (RTCSA, 2005)

Alternators in read/write atomicity. - Sandeep S. Kulkarni; Chase Bolen; John Oleszkiewicz; Andrew Robinson (Inf. Process. Lett., 2005)

Stabilizing causal deterministic merge. - Sandeep S. Kulkarni; Ravikant (J. High Speed Networks, 2005)

Building component families to support adaptation. - Karun N. Biyani; Sandeep S. Kulkarni (ACM SIGSOFT Softw. Eng. Notes, 2005)

Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance. - Sandeep S. Kulkarni; Ali Ebnenasir (IEEE Trans. Dependable Secur. Comput., 2005)

The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance. - Sandeep S. Kulkarni; Ali Ebnenasir (IEEE Trans. Dependable Secur. Comput., 2005)

Gappa: Gossip Based Multi-channel Reprogramming for Sensor Networks. - Limin Wang 012; Sandeep S. Kulkarni (DCOSS, 2006)

Automated Incremental Synthesis of Timed Automata. - Borzoo Bonakdarpour; Sandeep S. Kulkarni (FMICS/PDMC, 2006)

Concurrency Tradeoffs in Dynamic Adaptation. - Karun N. Biyani; Sandeep S. Kulkarni (ICDCS Workshops, 2006)

A Case Study on Prototyping Power Management Protocols for Sensor Networks. - Mahesh Arumugam; Limin Wang 012; Sandeep S. Kulkarni (SSS, 2006)

Incremental Synthesis of Fault-Tolerant Real-Time Programs. - Borzoo Bonakdarpour; Sandeep S. Kulkarni (SSS, 2006)

Brief Announcement: Distributed Synthesis of Fault-Tolerance. - Borzoo Bonakdarpour; Sandeep S. Kulkarni; Fuad Abujarad (SSS, 2006)

Logarithmic Keying of Communication Networks. - Mohamed G. Gouda; Sandeep S. Kulkarni; Ehab S. Elmallah (SSS, 2006)

Load balancing and resource reservation in mobile ad hoc networks. - Gautam Chakrabarti; Sandeep S. Kulkarni (Ad Hoc Networks, 2006)

Transformations for write-all-with-collision model, . - Sandeep S. Kulkarni; Mahesh Arumugam (Comput. Commun., 2006)

Secret instantiation in ad-hoc networks. - Sandeep S. Kulkarni; Mohamed G. Gouda; Anish Arora (Comput. Commun., 2006)

Erratum to "Secret instantiation in ad-hoc networks" [Computer Communications 29 (2006) 200-215]. - Sandeep S. Kulkarni; Mohamed G. Gouda; Anish Arora (Comput. Commun., 2006)

Infuse: A TDMA Based Data Dissemination Protocol for Sensor Networks. - Sandeep S. Kulkarni; Mahesh Arumugam (Int. J. Distributed Sens. Networks, 2006)

Self-Stabilizing Deterministic Time Division Multiple Access for Sensor Networks. - Mahesh Arumugam; Sandeep S. Kulkarni (J. Aerosp. Comput. Inf. Commun., 2006)

Resettable vector clocks. - Anish Arora; Sandeep S. Kulkarni; Murat Demirbas (J. Parallel Distributed Comput., 2006)

On the Design of Mobility-Tolerant TDMA-Based Media Access Control (MAC) Protocol for Mobile Sensor Networks. - Arshad Jhumka; Sandeep S. Kulkarni (ICDCIT, 2007)

Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space. - Borzoo Bonakdarpour; Sandeep S. Kulkarni (ICDCS, 2007)

Testing Dynamic Adaptation in Distributed Systems. - Karun N. Biyani; Sandeep S. Kulkarni (AST, 2007)

Mixed-Mode Adaptation in Distributed Systems: A Case Study. - Karun N. Biyani; Sandeep S. Kulkarni (SEAMS, 2007)

Authentication in Reprogramming of Sensor Networks for Mote Class Adversaries. - Limin Wang 012; Sandeep S. Kulkarni (IPDPS, 2007)

Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. - Borzoo Bonakdarpour; Sandeep S. Kulkarni; Fuad Abujarad (SSS, 2007)

DFT MAX and Power. - Rohit Kapur; T. Finklea; Felix Ng; Anshuman Chandra; Sanjay Ramnath; Peter Wohl; Thomas W. Williams; Ashok Anbalan; Sandeep S. Kulkarni; Tammy Fernandes; Pramod Notiyath; Rajesh Uppuluri (J. Low Power Electron., 2007)

Terminating alternator. - Sandeep S. Kulkarni (Parallel Process. Lett., 2007)

SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs. - Borzoo Bonakdarpour; Sandeep S. Kulkarni (CONCUR, 2008)

Disassembling real-time fault-tolerant programs. - Borzoo Bonakdarpour; Sandeep S. Kulkarni; Anish Arora (EMSOFT, 2008)

Masking Faults While Providing Bounded-Time Phased Recovery. - Borzoo Bonakdarpour; Sandeep S. Kulkarni (FM, 2008)

Automated Addition of Fault-Tolerance to SCR Toolset: A Case Study. - Fuad Abujarad; Sandeep S. Kulkarni (ICDCS Workshops, 2008)

Revising Distributed UNITY Programs Is NP-Complete. - Borzoo Bonakdarpour; Sandeep S. Kulkarni (OPODIS, 2008)

Sacrificing a little coverage can substantially increase network lifetime. - Limin Wang 012; Sandeep S. Kulkarni (Ad Hoc Networks, 2008)

Assurance of dynamic adaptation in distributed systems. - Karun N. Biyani; Sandeep S. Kulkarni (J. Parallel Distributed Comput., 2008)

FTSyn: a framework for automatic synthesis of fault-tolerance. - Ali Ebnenasir; Sandeep S. Kulkarni; Anish Arora (Int. J. Softw. Tools Technol. Transf., 2008)

Logarithmic keying. - Ehab S. Elmallah; Mohamed G. Gouda; Sandeep S. Kulkarni (ACM Trans. Auton. Adapt. Syst., 2008)

Compositional verification of fault-tolerant real-time programs. - Borzoo Bonakdarpour; Sandeep S. Kulkarni (EMSOFT, 2009)

On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery. - Borzoo Bonakdarpour; Sandeep S. Kulkarni (FM, 2009)

Mobile Relay Configuration in Data-intensive Wireless Sensor Networks. - Fatmé El-Moukaddem; Eric Torng; Guoliang Xing; Sandeep S. Kulkarni (MASS, 2009)

ProSe: A Programming Tool for Rapid Prototyping of Sensor Networks. - Mahesh Arumugam; Sandeep S. Kulkarni (S-CUBE, 2009)

Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance. - Fuad Abujarad; Sandeep S. Kulkarni (SRDS, 2009)

Multicore Constraint-Based Automated Stabilization. - Fuad Abujarad; Sandeep S. Kulkarni (SSS, 2009)

Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs - Fuad Abujarad; Borzoo Bonakdarpour; Sandeep S. Kulkarni (PDMC, 2009)

Weakest Invariant Generation for Automated Addition of Fault-Tolerance. - Fuad Abujarad; Sandeep S. Kulkarni (LAFT@LICS, 2009)

Complexity results in revising UNITY programs. - Borzoo Bonakdarpour; Ali Ebnenasir; Sandeep S. Kulkarni (ACM Trans. Auton. Adapt. Syst., 2009)

Energy-efficient multihop reprogramming for sensor networks. - Sandeep S. Kulkarni; Limin Wang 012 (ACM Trans. Sens. Networks, 2009)

Stabilizing Interference-Free Slot Assignment for Wireless Mesh Networks. - Mahesh Arumugam; Arshad Jhumka; Fuad Abujarad; Sandeep S. Kulkarni (Guide to Wireless Mesh Networks, 2009)

Complexity Analysis of Weak Multitolerance. - Jingshu Chen; Sandeep S. Kulkarni (ICDCS, 2010)

Effect of Fairness in Model Checking of Self-stabilizing Programs. - Jingshu Chen; Fuad Abujarad; Sandeep S. Kulkarni (OPODIS, 2010)

Complexity Issues in Automated Model Revision without Explicit Legitimate State. - Fuad Abujarad; Sandeep S. Kulkarni (SSS, 2010)

"Slow Is Fast" for Wireless Sensor Networks in the Presence of Message Losses. - Mahesh Arumugam; Murat Demirbas; Sandeep S. Kulkarni (SSS, 2010)

Key-update distribution in secure group communication. - Sandeep S. Kulkarni; Bezawada Bruhadeshwar (Comput. Commun., 2010)

Automated addition of fault recovery to cyber-physical component-based models. - Borzoo Bonakdarpour; Yiyan Lin; Sandeep S. Kulkarni (EMSOFT, 2011)

Active Stabilization. - Borzoo Bonakdarpour; Sandeep S. Kulkarni (SSS, 2011)

Automated constraint-based addition of nonmasking and stabilizing fault-tolerance. - Fuad Abujarad; Sandeep S. Kulkarni (Theor. Comput. Sci., 2011)

Preface. - Shlomi Dolev; Sandeep S. Kulkarni; André Schiper (Theor. Comput. Sci., 2011)

Balancing Revocation and Storage Trade-Offs in Secure Group Communication. - Bezawada Bruhadeshwar; Sandeep S. Kulkarni (IEEE Trans. Dependable Secur. Comput., 2011)

Feasibility of Stepwise Design of Multitolerant Programs. - Ali Ebnenasir; Sandeep S. Kulkarni (ACM Trans. Softw. Eng. Methodol., 2011)

Symmetric Key Approaches to Securing BGP - A Little Bit Trust Is Enough. - Bezawada Bruhadeshwar; Sandeep S. Kulkarni; Alex X. Liu (IEEE Trans. Parallel Distributed Syst., 2011)

Application of Automated Revision for UML Models: A Case Study. - Jingshu Chen; Sandeep S. Kulkarni (ICDCN, 2012)

Maestro: A cloud computing framework with automated locking. - Murat Demirbas; Serafettin Tasci; Sandeep S. Kulkarni (ISCC, 2012)

Automatic Generation of Graceful Programs. - Yiyan Lin; Sandeep S. Kulkarni (SRDS, 2012)

Brief Announcement: Verification of Stabilizing Programs with SMT Solvers. - Jingshu Chen; Sandeep S. Kulkarni (SSS, 2012)

Symbolic synthesis of masking fault-tolerant distributed programs. - Borzoo Bonakdarpour; Sandeep S. Kulkarni; Fuad Abujarad (Distributed Comput., 2012)

Automated model repair for distributed programs. - Borzoo Bonakdarpour; Sandeep S. Kulkarni (SIGACT News, 2012)

SMT-Based Model Checking for Stabilizing Programs, . - Jingshu Chen; Sandeep S. Kulkarni (ICDCN, 2013)

Modeling and analyzing timing faults in transaction level SystemC programs. - Reza Hajisheykhi; Ali Ebnenasir; Sandeep S. Kulkarni (NoCArc@MICRO, 2013)

Automated Multi-graceful Degradation: A Case Study. - Yiyan Lin; Sandeep S. Kulkarni (SRDS, 2013)

Automated Addition of Fault-Tolerance under Synchronous Semantics. - Yiyan Lin; Borzoo Bonakdarpour; Sandeep S. Kulkarni (SSS, 2013)

Synthesizing Round Based Fault-Tolerant Programs Using Genetic Programming. - Ling Zhu 001; Sandeep S. Kulkarni (SSS, 2013)

Towards scalable model checking of self-stabilizing programs. - Jingshu Chen; Fuad Abujarad; Sandeep S. Kulkarni (J. Parallel Distributed Comput., 2013)

MR4UM: A framework for adding fault tolerance to UML state diagrams. - Jingshu Chen; Sandeep S. Kulkarni (Theor. Comput. Sci., 2013)

Facilitating the design of fault tolerance in transaction level SystemC programs. - Ali Ebnenasir; Reza Hajisheykhi; Sandeep S. Kulkarni (Theor. Comput. Sci., 2013)

Multi-scenario optimization using multi-criterion methods: A case study on Byzantine agreement problem. - Ling Zhu 001; Kalyanmoy Deb; Sandeep S. Kulkarni (IEEE Congress on Evolutionary Computation, 2014)

Knowledge-Based Automated Repair of Authentication Protocols. - Borzoo Bonakdarpour; Reza Hajisheykhi; Sandeep S. Kulkarni (FM, 2014)

Analysis of Permanent Faults in Transaction Level SystemC Models. - Reza Hajisheykhi; Ali Ebnenasir; Sandeep S. Kulkarni (ICDCS Workshops, 2014)

Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability. - Yiyan Lin; Sandeep S. Kulkarni (ISSTA, 2014)

Logical Physical Clocks. - Sandeep S. Kulkarni; Murat Demirbas; Deepak Madappa; Bharadwaj Avva; Marcelo Leone (OPODIS, 2014)

Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. - Reza Hajisheykhi; Ali Ebnenasir; Sandeep S. Kulkarni (SEFM, 2014)

The Complexity of Adding Multitolerance. - Jingshu Chen; Ali Ebnenasir; Sandeep S. Kulkarni (ACM Trans. Auton. Adapt. Syst., 2014)

Multi-scenario, multi-objective optimization using evolutionary algorithms: Initial results. - Kalyanmoy Deb; Ling Zhu 001; Sandeep S. Kulkarni (CEC, 2015)

Using Model Checking Techniques For Evaluating the Effectiveness of Evolutionary Computing in Synthesis of Distributed Fault-Tolerant Programs. - Ling Zhu 001; Sandeep S. Kulkarni (GECCO, 2015)

Highly Auditable Distributed Systems. - Murat Demirbas; Sandeep S. Kulkarni (HotCloud, 2015)

Using Genetic Programming to Identify Tradeoffs in Self-Stabilizing Programs: A Case Study. - Ling Zhu 001; Sandeep S. Kulkarni (ICDCS Workshops, 2015)

UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata. - Reza Hajisheykhi; Ali Ebnenasir; Sandeep S. Kulkarni (NFM, 2015)

Ensuring Average Recovery with Adversarial Scheduler. - Jingshu Chen; Mohammad Roohitavaf; Sandeep S. Kulkarni (OPODIS, 2015)

Analysis of Bounds on Hybrid Vector Clocks. - Sorrachai Yingchareonthawornchai; Sandeep S. Kulkarni; Murat Demirbas (OPODIS, 2015)

Auditable Restoration of Distributed Programs. - Reza Hajisheykhi; Mohammad Roohitavaf; Sandeep S. Kulkarni (SRDS, 2015)

Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms. - Ling Zhu 001; Jingshu Chen; Sandeep S. Kulkarni (SSS, 2015)

The complexity of automated addition of fault-tolerance without explicit legitimate states. - Fuad Abujarad; Yiyan Lin; Borzoo Bonakdarpour; Sandeep S. Kulkarni (Distributed Comput., 2015)

Synthesizing bounded-time 2-phase fault recovery. - Borzoo Bonakdarpour; Sandeep S. Kulkarni (Formal Aspects Comput., 2015)

"Slow is Fast" for wireless sensor networks in the presence of message losses. - Reza Hajisheykhi; Ling Zhu 001; Mahesh Arumugam; Murat Demirbas; Sandeep S. Kulkarni (J. Parallel Distributed Comput., 2015)

A framework for verification of SystemC TLM programs with model slicing: a case study. - Reza Hajisheykhi; Mohammad Roohitavaf; Ali Ebnenasir; Sandeep S. Kulkarni (DAC, 2016)

Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. - Fathiyeh Faghih; Borzoo Bonakdarpour; Sébastien Tixeuil; Sandeep S. Kulkarni (FORTE, 2016)

Stabilization and fault-tolerance in presence of unchangeable environment actions. - Mohammad Roohitavaf; Sandeep S. Kulkarni (ICDCN, 2016)

Lazy Repair for Addition of Fault-Tolerance to Distributed Programs. - Mohammad Roohitavaf; Yiyan Lin; Sandeep S. Kulkarni (IPDPS, 2016)

Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems. - Sorrachai Yingchareonthawornchai; Duong N. Nguyen; Vidhya Tekken Valapil; Sandeep S. Kulkarni; Murat Demirbas (RV, 2016)

Collaborative Stabilization. - Mohammad Roohitavaf; Sandeep S. Kulkarni (SRDS, 2016)

Automatic Addition of Conflicting Properties. - Mohammad Roohitavaf; Sandeep S. Kulkarni (SSS, 2016)

GentleRain+: Making GentleRain Robust on Clock Anomalies. - Mohammad Roohitavaf; Sandeep S. Kulkarni (CoRR, 2016)

Efficient Timestamps for Capturing Causality. - Nitin H. Vaidya; Sandeep S. Kulkarni (CoRR, 2016)

Preserving Stabilization While Practically Bounding State Space. - Vidhya Tekken Valapil; Sandeep S. Kulkarni (EDCC, 2017)

Efficient Algorithms for Predicate Detection using Hybrid Logical Clocks. - Sorrachai Yingchareonthawornchai; Vidhya Tekken Valapil; Sandeep S. Kulkarni; Eric Torng; Murat Demirbas (ICDCN, 2017)

Retrospective Lightweight Distributed Snapshots Using Loosely Synchronized Clocks. - Aleksey Charapko; Ailidani Ailijiang; Murat Demirbas; Sandeep S. Kulkarni (ICDCS, 2017)

Effectiveness of Delaying Timestamp Computation. - Sandeep S. Kulkarni; Nitin H. Vaidya (PODC, 2017)

Monitoring Partially Synchronous Distributed Systems Using SMT Solvers. - Vidhya Tekken Valapil; Sorrachai Yingchareonthawornchai; Sandeep S. Kulkarni; Eric Torng; Murat Demirbas (RV, 2017)

CausalSpartan: Causal Consistency for Distributed Data Stores Using Hybrid Logical Clocks. - Mohammad Roohitavaf; Murat Demirbas; Sandeep S. Kulkarni (SRDS, 2017)

Starvation Freedom in Multi-Version Transactional Memory Systems. - Ved Prakash Chaudhary; Sandeep S. Kulkarni; Sweta Kumari 001; Sathya Peri (CoRR, 2017)

Derivation of Network Reprogramming Protocol with Z3. - Vidhya Tekken Valapil; Sandeep S. Kulkarni (CoRR, 2017)

An Innovative Approach for Achieving Composability in Concurrent Systems using Multi-Version Object Based STMs. - Sandeep S. Kulkarni; Sweta Kumari 001; Sathya Peri; Archit Somani (CoRR, 2017)

Bounded Auditable Restoration of Distributed Systems. - Reza Hajisheykhi; Mohammad Roohitavaf; Sandeep S. Kulkarni (IEEE Trans. Computers, 2017)

NetSynth: a framework for synthesizing customized network protocols using genetic programming. - Mohammad Roohitavaf; Ling Zhu 001; Sandeep S. Kulkarni; Subir Biswas (GECCO (Companion), 2018)

Synthesizing customized network protocols using genetic programming. - Mohammad Roohitavaf; Ling Zhu 001; Sandeep S. Kulkarni; Subir Biswas (GECCO (Companion), 2018)

DKVF: a framework for rapid prototyping and evaluating distributed key-value stores. - Mohammad Roohitavaf; Sandeep S. Kulkarni (ASE, 2018)

Independent Key Distribution Protocols for Broadcast Authentication. - Bruhadeshwar Bezawada; Sandeep S. Kulkarni; Indrajit Ray; Indrakshi Ray; Rui Li 020 (SACMAT, 2018)

Biased Clocks: A Novel Approach to Improve the Ability To Perform Predicate Detection with O(1) Clocks. - Vidhya Tekken Valapil; Sandeep S. Kulkarni (SIROCCO, 2018)

An Innovative Approach to Achieve Compositionality Efficiently Using Multi-version Object Based Transactional Systems. - Chirag Juyal; Sandeep S. Kulkarni; Sweta Kumari 001; Sathya Peri; Archit Somani (SSS, 2018)

Optimistic Execution in Key-Value Store. - Duong N. Nguyen; Aleksey Charapko; Sandeep S. Kulkarni; Murat Demirbas (CoRR, 2018)

Toward Adaptive Causal Consistency for Replicated Data Stores. - Mohammad Roohitavaf; Sandeep S. Kulkarni (CoRR, 2018)

Technical Report: Optimistic Execution in Key-Value Store. - Duong N. Nguyen; Aleksey Charapko; Sandeep S. Kulkarni; Murat Demirbas (CoRR, 2018)

CausalSpartanX: Causal Consistency and Non-Blocking Read-Only Transactions. - Mohammad Roohitavaf; Murat Demirbas; Sandeep S. Kulkarni (CoRR, 2018)

Automated Synthesis of Distributed Self-Stabilizing Protocols. - Fathiyeh Faghih; Borzoo Bonakdarpour; Sébastien Tixeuil; Sandeep S. Kulkarni (Log. Methods Comput. Sci., 2018)

A theory of integrating tamper evidence with stabilization. - Reza Hajisheykhi; Ali Ebnenasir; Sandeep S. Kulkarni (Sci. Comput. Program., 2018)

Handling Multiple Scenarios in Evolutionary Multiobjective Numerical Optimization. - Kalyanmoy Deb; Ling Zhu 001; Sandeep S. Kulkarni (IEEE Trans. Evol. Comput., 2018)

Analysis of Bounds on Hybrid Vector Clocks. - Sorrachai Yingchareonthawornchai; Duong N. Nguyen; Sandeep S. Kulkarni; Murat Demirbas (IEEE Trans. Parallel Distributed Syst., 2018)

Benefit of self-stabilizing protocols in eventually consistent key-value stores: a case study. - Duong N. Nguyen; Sandeep S. Kulkarni; Ajoy K. Datta (ICDCN, 2019)

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 (ICDCN, 2019)

Achieving Starvation-Freedom with Greater Concurrency in Multi-Version Object-based Transactional Memory Systems. - Chirag Juyal; Sandeep S. Kulkarni; Sweta Kumari 001; Sathya Peri; Archit Somani (SSS, 2019)

Obtaining Progress Guarantee and GreaterConcurrency in Multi-Version Object Semantics. - Chirag Juyal; Sandeep S. Kulkarni; Sweta Kumari 001; Sathya Peri; Archit Somani (CoRR, 2019)

Benefits of Stabilization versus Rollback in Eventually Consistent Key-Value Stores. - Duong N. Nguyen; Sandeep S. Kulkarni (CoRR, 2019)

Automation of fault-tolerant graceful degradation. - Yiyan Lin; Sandeep S. Kulkarni; Arshad Jhumka (Distributed Comput., 2019)

Automatic Addition of Fault-Tolerance in Presence of Unchangeable Environment Actions †. - Mohammad Roohitavaf; Sandeep S. Kulkarni (Future Internet, 2019)

Using weaker consistency models with monitoring and recovery for improving performance of key-value stores. - Duong N. Nguyen; Aleksey Charapko; Sandeep S. Kulkarni; Murat Demirbas (J. Braz. Comput. Soc., 2019)

Retroscope: Retrospective Monitoring of Distributed Systems. - Aleksey Charapko; Ailidani Ailijiang; Murat Demirbas; Sandeep S. Kulkarni (IEEE Trans. Parallel Distributed Syst., 2019)

Benefits of Stabilization versus Rollback in Self-Stabilizing Graph-Based Applications on Eventually Consistent Key-Value Stores. - Duong N. Nguyen; Sandeep S. Kulkarni (SRDS, 2020)

Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems. - Vidhya Tekken Valapil; Sandeep S. Kulkarni; Eric Torng; Gabe Appleton (SRDS, 2020)

Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems (Technical Report). - Vidhya Tekken Valapil; Sandeep S. Kulkarni; Eric Torng; Gabe Appleton (CoRR, 2020)

Technical Report: Benefits of Stabilization versus Rollback in Self-Stabilizing Graph-Based Applications on Eventually Consistent Key-Value Stores. - Duong N. Nguyen; Sandeep S. Kulkarni (CoRR, 2020)

Preserving stabilization while practically bounding state space using incorruptible partially synchronized clocks. - Vidhya Tekken Valapil; Sandeep S. Kulkarni (Distributed Comput., 2020)

Extending Lattice Linearity for Self-stabilizing Algorithms. - Arya Tanmay Gupta; Sandeep S. Kulkarni (SSS, 2021)

Analyzing the Effect of Consistency Violation Faults in Self-Stabilizing Programs. - Sandeep S. Kulkarni; Duong N. Nguyen (CoRR, 2021)

Precision, recall, and sensitivity of monitoring partially synchronous distributed programs. - Duong N. Nguyen; Sorrachai Yingchareonthawornchai; Vidhya Tekken Valapil; Sandeep S. Kulkarni; Murat Demirbas (Distributed Comput., 2021)

Achieving Causality with Physical Clocks. - Sandeep S. Kulkarni; Gabe Appleton; Duong N. Nguyen (ICDCN, 2022)

Brief Announcement: Fully Lattice Linear Algorithms. - Arya Tanmay Gupta; Sandeep S. Kulkarni (SSS, 2022)

Achieving starvation-freedom in multi-version transactional memory systems. - Ved Prakash Chaudhary; Chirag Juyal; Sandeep S. Kulkarni; Sweta Kumari 001; Sathya Peri (Computing, 2022)

Effect of Timing Error: A Case Study of Navigation Camera. - Sandeep S. Kulkarni; Sanjay M. Joshi (CoRR, 2022)

Impact of the Consistency Model on Checkpointing of Distributed Shared Memory. - Sandeep S. Kulkarni; Duong N. Nguyen; Lewis Tseng; Nitin H. Vaidya (CoRR, 2022)

Lattice Linear Algorithms. - Arya Tanmay Gupta; Sandeep S. Kulkarni (CoRR, 2022)

Lattice Linear Problems vs Algorithms. - Arya Tanmay Gupta; Sandeep S. Kulkarni (CoRR, 2022)

An efficient approach to achieve compositionality using optimized multi-version object based transactional systems. - Chirag Juyal; Sandeep S. Kulkarni; Sweta Kumari 001; Sathya Peri; Archit Somani (Inf. Comput., 2022)

Analyzing Program Transitions to Compute Benefit of Tolerating Consistency Violation Faults. - Duong Ngoc Nguyen; Arya Tanmay Gupta; Sandeep S. Kulkarni (ICDCN, 2023)

Inducing Lattices in Non-Lattice-Linear Problems. - Arya Tanmay Gupta; Sandeep S. Kulkarni (SRDS, 2023)

Lattice Linearity of Multiplication and Modulo. - Arya Tanmay Gupta; Sandeep S. Kulkarni (SSS, 2023)

Privacy-Preserving Methods for Outlier-Resistant Average Consensus and Shallow Ranked Vote Leader Election. - Luke Sperling; Sandeep S. Kulkarni (CoRR, 2023)

Multiplication and Modulo are Lattice Linear. - Arya Tanmay Gupta; Sandeep S. Kulkarni (CoRR, 2023)

DAG-Inducing Problems and Algorithms. - Arya Tanmay Gupta; Sandeep S. Kulkarni (CoRR, 2023)

Lattice Linearity in Assembling Myopic Robots on an Infinite Triangular Grid. - Arya Tanmay Gupta; Sandeep S. Kulkarni (CoRR, 2023)

Tolerance to Asynchrony of an Algorithm for Gathering Myopic Robots on an Infinite Triangular Grid. - Arya Tanmay Gupta; Sandeep S. Kulkarni (EDCC, 2024)

Replay Clocks. - Ishaan Lagwankar; Sandeep S. Kulkarni (ICDCN, 2024)

Distributing Context-Aware Shared Memory Data Structures: A Case Study on Unordered Linked List. - Raaghav Ravishankar; Sandeep S. Kulkarni; Sathya Peri; Gokarna Sharma (CoRR, 2024)

Eventually lattice-linear algorithms. - Arya Tanmay Gupta; Sandeep S. Kulkarni (J. Parallel Distributed Comput., 2024)

Quantitative characterization of consistency violating faults at individual distributed computing processes. - Amit Garu; Arya Tanmay Gupta; Duong Ngoc Nguyen; Sandeep S. Kulkarni (ICDCN, 2025)

Distributing Context-Aware Shared Memory Data Structures: A Case Study on Singly-Linked Lists. - Raaghav Ravishankar; Sandeep S. Kulkarni; Sathya Peri; Gokarna Sharma (ICDCN, 2025)

SONNI: Secure Oblivious Neural Network Inference. - Luke Sperling; Sandeep S. Kulkarni (SECRYPT, 2025)

Tolerance to asynchrony in algorithms for multiplication and modulo. - Arya Tanmay Gupta; Sandeep S. Kulkarni (Theor. Comput. Sci., 2025)