Sandeep S. Kulkarni

234 papers A* 5A 15B 36C 26Misc 24Journal 99Unranked 28

Year	Rank	Type	Title / Venue / Authors
2026	Misc	`conf`	Fault-Tolerant Decentralized Distributed Asynchronous Federated Learning with Adaptive Termination Detection. ICDCIT Phani Sahasra Akkinepally, Manaswini Piduguralla, Sushant Joshi, Sathya Peri, Sandeep S. Kulkarni
2025	—	`conf`	Clock Skew Models for ns-3. ICNS3 Ishaan Kiran Lagwankar, Sandeep S. Kulkarni
2025	J	`jnl`	DiLi: A Lock-Free Asynchronously Distributable Linked List. CoRR Raaghav Ravishankar, Sandeep S. Kulkarni, Sathya Peri, Gokarna Sharma
2025	Misc	`conf`	Distributing Context-Aware Shared Memory Data Structures: A Case Study on Singly-Linked Lists. ICDCN Raaghav Ravishankar, Sandeep S. Kulkarni, Sathya Peri, Gokarna Sharma
2025	J	`jnl`	Fault-Tolerant Decentralized Distributed Asynchronous Federated Learning with Adaptive Termination Detection. CoRR Phani Sahasra Akkinepally, Manaswini Piduguralla, Sushant Joshi, Sathya Peri, Sandeep S. Kulkarni
2025	J	`jnl`	MuFASA - Asynchronous Checkpoint for Weakly Consistent Fully Replicated Databases. CoRR Raaghav Ravishankar, Sandeep S. Kulkarni, Nitin H. Vaidya
2025	Misc	`conf`	Quantitative characterization of consistency violating faults at individual distributed computing processes. ICDCN Amit Garu, Arya Tanmay Gupta, Duong Ngoc Nguyen, Sandeep S. Kulkarni
2025	C	`conf`	SONNI: Secure Oblivious Neural Network Inference. SECRYPT Luke Sperling, Sandeep S. Kulkarni
2025	J	`jnl`	SONNI: Secure Oblivious Neural Network Inference. CoRR Luke Sperling, Sandeep S. Kulkarni
2025	J	`jnl`	Tolerance to asynchrony in algorithms for multiplication and modulo. Theor. Comput. Sci. Arya Tanmay Gupta, Sandeep S. Kulkarni
2024	J	`jnl`	Distributing Context-Aware Shared Memory Data Structures: A Case Study on Unordered Linked List. CoRR Raaghav Ravishankar, Sandeep S. Kulkarni, Sathya Peri, Gokarna Sharma
2024	J	`jnl`	Eventually lattice-linear algorithms. J. Parallel Distributed Comput. Arya Tanmay Gupta, Sandeep S. Kulkarni
2024	Misc	`conf`	Replay Clocks. ICDCN Ishaan Lagwankar, Sandeep S. Kulkarni
2024	Misc	`conf`	Tolerance to Asynchrony of an Algorithm for Gathering Myopic Robots on an Infinite Triangular Grid. EDCC Arya Tanmay Gupta, Sandeep S. Kulkarni
2023	Misc	`conf`	Analyzing Program Transitions to Compute Benefit of Tolerating Consistency Violation Faults. ICDCN Duong Ngoc Nguyen, Arya Tanmay Gupta, Sandeep S. Kulkarni
2023	J	`jnl`	DAG-Inducing Problems and Algorithms. CoRR Arya Tanmay Gupta, Sandeep S. Kulkarni
2023	J	`jnl`	Eventually Lattice-Linear Algorithms. CoRR Arya Tanmay Gupta, Sandeep S. Kulkarni
2023	B	`conf`	Inducing Lattices in Non-Lattice-Linear Problems. SRDS Arya Tanmay Gupta, Sandeep S. Kulkarni
2023	J	`jnl`	Lattice Linearity in Assembling Myopic Robots on an Infinite Triangular Grid. CoRR Arya Tanmay Gupta, Sandeep S. Kulkarni
2023	C	`conf`	Lattice Linearity of Multiplication and Modulo. SSS Arya Tanmay Gupta, Sandeep S. Kulkarni
2023	J	`jnl`	Multiplication and Modulo are Lattice Linear. CoRR Arya Tanmay Gupta, Sandeep S. Kulkarni
2023	J	`jnl`	Privacy-Preserving Methods for Outlier-Resistant Average Consensus and Shallow Ranked Vote Leader Election. CoRR Luke Sperling, Sandeep S. Kulkarni
2023	J	`jnl`	Replay Clocks. CoRR Ishaan Lagwankar, Sandeep S. Kulkarni
2022	Misc	`conf`	Achieving Causality with Physical Clocks. ICDCN Sandeep S. Kulkarni, Gabe Appleton, Duong N. Nguyen
2022	J	`jnl`	Achieving starvation-freedom in multi-version transactional memory systems. Computing Ved Prakash Chaudhary, Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri
2022	J	`jnl`	An efficient approach to achieve compositionality using optimized multi-version object based transactional systems. Inf. Comput. Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani
2022	C	`conf`	Brief Announcement: Fully Lattice Linear Algorithms. SSS Arya Tanmay Gupta, Sandeep S. Kulkarni
2022	Misc	`ed.`	Distributed Computing and Intelligent Technology - 18th International Conference, ICDCIT 2022, Bhubaneswar, India, January 19-23, 2022, Proceedings ICDCIT Raju S. Bapi, Sandeep S. Kulkarni, Swarup Mohalik, Sathya Peri
2022	J	`jnl`	Effect of Timing Error: A Case Study of Navigation Camera. CoRR Sandeep S. Kulkarni, Sanjay M. Joshi
2022	J	`jnl`	Impact of the Consistency Model on Checkpointing of Distributed Shared Memory. CoRR Sandeep S. Kulkarni, Duong N. Nguyen, Lewis Tseng, Nitin H. Vaidya
2022	J	`jnl`	Lattice Linear Algorithms. CoRR Arya Tanmay Gupta, Sandeep S. Kulkarni
2022	J	`jnl`	Lattice Linear Problems vs Algorithms. CoRR Arya Tanmay Gupta, Sandeep S. Kulkarni
2021	J	`jnl`	Achieving Causality with Physical Clocks. CoRR Sandeep S. Kulkarni, Gabe Appleton, Duong N. Nguyen
2021	J	`jnl`	Analyzing the Effect of Consistency Violation Faults in Self-Stabilizing Programs. CoRR Sandeep S. Kulkarni, Duong N. Nguyen
2021	C	`conf`	Extending Lattice Linearity for Self-stabilizing Algorithms. SSS Arya Tanmay Gupta, Sandeep S. Kulkarni
2021	J	`jnl`	Extending Lattice linearity for Self-Stabilizing Algorithms. CoRR Arya Tanmay Gupta, Sandeep S. Kulkarni
2021	J	`jnl`	Precision, recall, and sensitivity of monitoring partially synchronous distributed programs. Distributed Comput. Duong N. Nguyen, Sorrachai Yingchareonthawornchai, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas
2020	B	`conf`	Benefits of Stabilization versus Rollback in Self-Stabilizing Graph-Based Applications on Eventually Consistent Key-Value Stores. SRDS Duong N. Nguyen, Sandeep S. Kulkarni
2020	J	`jnl`	Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems (Technical Report). CoRR Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Gabe Appleton
2020	B	`conf`	Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems. SRDS Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Gabe Appleton
2020	J	`jnl`	Preserving stabilization while practically bounding state space using incorruptible partially synchronized clocks. Distributed Comput. Vidhya Tekken Valapil, Sandeep S. Kulkarni
2020	J	`jnl`	Technical Report: Benefits of Stabilization versus Rollback in Self-Stabilizing Graph-Based Applications on Eventually Consistent Key-Value Stores. CoRR Duong N. Nguyen, Sandeep S. Kulkarni
2019	—	`conf`	Achieving Starvation-Freedom in Multi-version Transactional Memory Systems. NETYS Ved Prakash Chaudhary, Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri
2019	C	`conf`	Achieving Starvation-Freedom with Greater Concurrency in Multi-Version Object-based Transactional Memory Systems. SSS Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani
2019	J	`jnl`	An Efficient Approach to Achieve Compositionality using Optimized Multi-Version Object Based Transactional Systems. CoRR Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani
2019	J	`jnl`	Automatic Addition of Fault-Tolerance in Presence of Unchangeable Environment Actions Future Internet Mohammad Roohitavaf, Sandeep S. Kulkarni
2019	J	`jnl`	Automation of fault-tolerant graceful degradation. Distributed Comput. Yiyan Lin, Sandeep S. Kulkarni, Arshad Jhumka
2019	Misc	`conf`	Benefit of self-stabilizing protocols in eventually consistent key-value stores: a case study. ICDCN Duong N. Nguyen, Sandeep S. Kulkarni, Ajoy K. Datta
2019	J	`jnl`	Benefits of Stabilization versus Rollback in Eventually Consistent Key-Value Stores. CoRR Duong N. Nguyen, Sandeep S. Kulkarni
2019	J	`jnl`	Obtaining Progress Guarantee and GreaterConcurrency in Multi-Version Object Semantics. CoRR Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani
2019	J	`jnl`	Retroscope: Retrospective Monitoring of Distributed Systems. IEEE Trans. Parallel Distributed Syst. Aleksey Charapko, Ailidani Ailijiang, Murat Demirbas, Sandeep S. Kulkarni
2019	Misc	`conf`	Session guarantees with raft and hybrid logical clocks. ICDCN Mohammad Roohitavaf, Jung-Sang Ahn, Woon-Hak Kang, Kun Ren, Gene Zhang, Sami Ben-Romdhane, Sandeep S. Kulkarni
2019	J	`jnl`	Using Weaker Consistency Models with Monitoring and Recovery for Improving Performance of Key-Value Stores. CoRR Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas
2019	J	`jnl`	Using weaker consistency models with monitoring and recovery for improving performance of key-value stores. J. Braz. Comput. Soc. Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas
2018	J	`jnl`	A theory of integrating tamper evidence with stabilization. Sci. Comput. Program. Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
2018	C	`conf`	An Innovative Approach to Achieve Compositionality Efficiently Using Multi-version Object Based Transactional Systems. SSS Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani
2018	J	`jnl`	Analysis of Bounds on Hybrid Vector Clocks. IEEE Trans. Parallel Distributed Syst. Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Sandeep S. Kulkarni, Murat Demirbas
2018	J	`jnl`	Automated Synthesis of Distributed Self-Stabilizing Protocols. Log. Methods Comput. Sci. Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni
2018	J	`jnl`	Benefit of Self-Stabilizing Protocols in Eventually Consistent Key-Value Stores: A Case Study. CoRR Duong N. Nguyen, Sandeep S. Kulkarni, Ajoy K. Datta
2018	B	`conf`	Biased Clocks: A Novel Approach to Improve the Ability To Perform Predicate Detection with O(1) Clocks. SIROCCO Vidhya Tekken Valapil, Sandeep S. Kulkarni
2018	J	`jnl`	CausalSpartanX: Causal Consistency and Non-Blocking Read-Only Transactions. CoRR Mohammad Roohitavaf, Murat Demirbas, Sandeep S. Kulkarni
2018	J	`jnl`	DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-value Stores. CoRR Mohammad Roohitavaf, Sandeep S. Kulkarni
2018	A*	`conf`	DKVF: a framework for rapid prototyping and evaluating distributed key-value stores. ASE Mohammad Roohitavaf, Sandeep S. Kulkarni
2018	J	`jnl`	Handling Multiple Scenarios in Evolutionary Multiobjective Numerical Optimization. IEEE Trans. Evol. Comput. Kalyanmoy Deb, Ling Zhu, Sandeep S. Kulkarni
2018	C	`conf`	Independent Key Distribution Protocols for Broadcast Authentication. SACMAT Bruhadeshwar Bezawada, Sandeep S. Kulkarni, Indrajit Ray, Indrakshi Ray, Rui Li
2018	—	`conf`	NetSynth: a framework for synthesizing customized network protocols using genetic programming. GECCO (Companion) Mohammad Roohitavaf, Ling Zhu, Sandeep S. Kulkarni, Subir Biswas
2018	J	`jnl`	Optimistic Execution in Key-Value Store. CoRR Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas
2018	J	`jnl`	Session Guarantees with Raft and Hybrid Logical Clocks. CoRR Mohammad Roohitavaf, Jung-Sang Ahn, Woon-Hak Kang, Kun Ren, Gene Zhang, Sami Ben-Romdhane, Sandeep S. Kulkarni
2018	—	`conf`	Synthesizing customized network protocols using genetic programming. GECCO (Companion) Mohammad Roohitavaf, Ling Zhu, Sandeep S. Kulkarni, Subir Biswas
2018	J	`jnl`	Technical Report: Optimistic Execution in Key-Value Store. CoRR Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas
2018	J	`jnl`	Toward Adaptive Causal Consistency for Replicated Data Stores. CoRR Mohammad Roohitavaf, Sandeep S. Kulkarni
2018	—	`conf`	Using Weaker Consistency Models with Monitoring and Recovery for Improving Performance of Key-Value Stores. LADC Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas
2017	J	`jnl`	An Innovative Approach for Achieving Composability in Concurrent Systems using Multi-Version Object Based STMs. CoRR Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani
2017	J	`jnl`	Bounded Auditable Restoration of Distributed Systems. IEEE Trans. Computers Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni
2017	B	`conf`	CausalSpartan: Causal Consistency for Distributed Data Stores Using Hybrid Logical Clocks. SRDS Mohammad Roohitavaf, Murat Demirbas, Sandeep S. Kulkarni
2017	J	`jnl`	Derivation of Network Reprogramming Protocol with Z3. CoRR Vidhya Tekken Valapil, Sandeep S. Kulkarni
2017	A*	`conf`	Effectiveness of Delaying Timestamp Computation. PODC Sandeep S. Kulkarni, Nitin H. Vaidya
2017	Misc	`conf`	Efficient Algorithms for Predicate Detection using Hybrid Logical Clocks. ICDCN Sorrachai Yingchareonthawornchai, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas
2017	B	`conf`	Monitoring Partially Synchronous Distributed Systems Using SMT Solvers. RV Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas
2017	J	`jnl`	Monitoring Partially Synchronous Distributed Systems using SMT Solvers. CoRR Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas
2017	Misc	`conf`	Preserving Stabilization While Practically Bounding State Space. EDCC Vidhya Tekken Valapil, Sandeep S. Kulkarni
2017	J	`jnl`	Preserving Stabilization while Practically Bounding State Space. CoRR Vidhya Tekken Valapil, Sandeep S. Kulkarni
2017	A	`conf`	Retrospective Lightweight Distributed Snapshots Using Loosely Synchronized Clocks. ICDCS Aleksey Charapko, Ailidani Ailijiang, Murat Demirbas, Sandeep S. Kulkarni
2017	J	`jnl`	Starvation Freedom in Multi-Version Transactional Memory Systems. CoRR Ved Prakash Chaudhary, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri
2016	A*	`conf`	A framework for verification of SystemC TLM programs with model slicing: a case study. DAC Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni
2016	C	`conf`	Automatic Addition of Conflicting Properties. SSS Mohammad Roohitavaf, Sandeep S. Kulkarni
2016	B	`conf`	Collaborative Stabilization. SRDS Mohammad Roohitavaf, Sandeep S. Kulkarni
2016	J	`jnl`	Efficient Timestamps for Capturing Causality. CoRR Nitin H. Vaidya, Sandeep S. Kulkarni
2016	J	`jnl`	GentleRain+: Making GentleRain Robust on Clock Anomalies. CoRR Mohammad Roohitavaf, Sandeep S. Kulkarni
2016	A	`conf`	Lazy Repair for Addition of Fault-Tolerance to Distributed Programs. IPDPS Mohammad Roohitavaf, Yiyan Lin, Sandeep S. Kulkarni
2016	B	`conf`	Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems. RV Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas
2016	J	`jnl`	Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems. CoRR Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas
2016	C	`conf`	Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. FORTE Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni
2016	Misc	`conf`	Stabilization and fault-tolerance in presence of unchangeable environment actions. ICDCN Mohammad Roohitavaf, Sandeep S. Kulkarni
2015	J	`jnl`	"Slow is Fast" for wireless sensor networks in the presence of message losses. J. Parallel Distributed Comput. Reza Hajisheykhi, Ling Zhu, Mahesh Arumugam, Murat Demirbas, Sandeep S. Kulkarni
2015	—	`conf`	A Theory of Integrating Tamper Evidence with Stabilization. FSEN Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
2015	B	`conf`	Analysis of Bounds on Hybrid Vector Clocks. OPODIS Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Murat Demirbas
2015	B	`conf`	Auditable Restoration of Distributed Programs. SRDS Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni
2015	J	`jnl`	Auditable Restoration of Distributed Programs. CoRR Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni
2015	B	`conf`	Ensuring Average Recovery with Adversarial Scheduler. OPODIS Jingshu Chen, Mohammad Roohitavaf, Sandeep S. Kulkarni
2015	—	`conf`	Highly Auditable Distributed Systems. HotCloud Murat Demirbas, Sandeep S. Kulkarni
2015	B	`conf`	Multi-scenario, multi-objective optimization using evolutionary algorithms: Initial results. CEC Kalyanmoy Deb, Ling Zhu, Sandeep S. Kulkarni
2015	C	`conf`	Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms. SSS Ling Zhu, Jingshu Chen, Sandeep S. Kulkarni
2015	J	`jnl`	Specification-based Synthesis of Distributed Self-Stabilizing Protocols. CoRR Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni
2015	J	`jnl`	Stabilization and Fault-Tolerance in Presence of Unchangeable Environment Actions. CoRR Mohammad Roohitavaf, Sandeep S. Kulkarni
2015	J	`jnl`	Synthesizing bounded-time 2-phase fault recovery. Formal Aspects Comput. Borzoo Bonakdarpour, Sandeep S. Kulkarni
2015	J	`jnl`	The complexity of automated addition of fault-tolerance without explicit legitimate states. Distributed Comput. Fuad Abujarad, Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni
2015	—	`conf`	UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata. NFM Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
2015	—	`conf`	Using Genetic Programming to Identify Tradeoffs in Self-Stabilizing Programs: A Case Study. ICDCS Workshops Ling Zhu, Sandeep S. Kulkarni
2015	A	`conf`	Using Model Checking Techniques For Evaluating the Effectiveness of Evolutionary Computing in Synthesis of Distributed Fault-Tolerant Programs. GECCO Ling Zhu, Sandeep S. Kulkarni
2014	—	`conf`	Analysis of Permanent Faults in Transaction Level SystemC Models. ICDCS Workshops Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
2014	A	`conf`	Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability. ISSTA Yiyan Lin, Sandeep S. Kulkarni
2014	B	`conf`	Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. SEFM Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
2014	B	`conf`	Knowledge-Based Automated Repair of Authentication Protocols. FM Borzoo Bonakdarpour, Reza Hajisheykhi, Sandeep S. Kulkarni
2014	B	`conf`	Logical Physical Clocks. OPODIS Sandeep S. Kulkarni, Murat Demirbas, Deepak Madappa, Bharadwaj Avva, Marcelo Leone
2014	B	`conf`	Multi-scenario optimization using multi-criterion methods: A case study on Byzantine agreement problem. IEEE Congress on Evolutionary Computation Ling Zhu, Kalyanmoy Deb, Sandeep S. Kulkarni
2014	J	`jnl`	The Complexity of Adding Multitolerance. ACM Trans. Auton. Adapt. Syst. Jingshu Chen, Ali Ebnenasir, Sandeep S. Kulkarni
2013	C	`conf`	Automated Addition of Fault-Tolerance under Synchronous Semantics. SSS Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni
2013	B	`conf`	Automated Multi-graceful Degradation: A Case Study. SRDS Yiyan Lin, Sandeep S. Kulkarni
2013	J	`jnl`	Facilitating the design of fault tolerance in transaction level SystemC programs. Theor. Comput. Sci. Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni
2013	J	`jnl`	MR4UM: A framework for adding fault tolerance to UML state diagrams. Theor. Comput. Sci. Jingshu Chen, Sandeep S. Kulkarni
2013	C	`conf`	Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs. SSS Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
2013	—	`conf`	Modeling and analyzing timing faults in transaction level SystemC programs. NoCArc@MICRO Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
2013	Misc	`conf`	SMT-Based Model Checking for Stabilizing Programs ICDCN Jingshu Chen, Sandeep S. Kulkarni
2013	C	`conf`	Synthesizing Round Based Fault-Tolerant Programs Using Genetic Programming. SSS Ling Zhu, Sandeep S. Kulkarni
2013	J	`jnl`	Towards scalable model checking of self-stabilizing programs. J. Parallel Distributed Comput. Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni
2012	Misc	`conf`	Application of Automated Revision for UML Models: A Case Study. ICDCN Jingshu Chen, Sandeep S. Kulkarni
2012	J	`jnl`	Automated model repair for distributed programs. SIGACT News Borzoo Bonakdarpour, Sandeep S. Kulkarni
2012	B	`conf`	Automatic Generation of Graceful Programs. SRDS Yiyan Lin, Sandeep S. Kulkarni
2012	C	`conf`	Brief Announcement: Verification of Stabilizing Programs with SMT Solvers. SSS Jingshu Chen, Sandeep S. Kulkarni
2012	Misc	`conf`	Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs. ICDCN Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni
2012	C	`conf`	Maestro: A cloud computing framework with automated locking. ISCC Murat Demirbas, Serafettin Tasci, Sandeep S. Kulkarni
2012	J	`jnl`	Symbolic synthesis of masking fault-tolerant distributed programs. Distributed Comput. Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad
2011	C	`conf`	Active Stabilization. SSS Borzoo Bonakdarpour, Sandeep S. Kulkarni
2011	Misc	`conf`	Automated addition of fault recovery to cyber-physical component-based models. EMSOFT Borzoo Bonakdarpour, Yiyan Lin, Sandeep S. Kulkarni
2011	J	`jnl`	Automated constraint-based addition of nonmasking and stabilizing fault-tolerance. Theor. Comput. Sci. Fuad Abujarad, Sandeep S. Kulkarni
2011	J	`jnl`	Balancing Revocation and Storage Trade-Offs in Secure Group Communication. IEEE Trans. Dependable Secur. Comput. Bezawada Bruhadeshwar, Sandeep S. Kulkarni
2011	J	`jnl`	Feasibility of Stepwise Design of Multitolerant Programs. ACM Trans. Softw. Eng. Methodol. Ali Ebnenasir, Sandeep S. Kulkarni
2011	J	`jnl`	Preface. Theor. Comput. Sci. Shlomi Dolev, Sandeep S. Kulkarni, André Schiper
2011	J	`jnl`	Symmetric Key Approaches to Securing BGP - A Little Bit Trust Is Enough. IEEE Trans. Parallel Distributed Syst. Bezawada Bruhadeshwar, Sandeep S. Kulkarni, Alex X. Liu
2010	C	`conf`	"Slow Is Fast" for Wireless Sensor Networks in the Presence of Message Losses. SSS Mahesh Arumugam, Murat Demirbas, Sandeep S. Kulkarni
2010	A	`conf`	Complexity Analysis of Weak Multitolerance. ICDCS Jingshu Chen, Sandeep S. Kulkarni
2010	C	`conf`	Complexity Issues in Automated Model Revision without Explicit Legitimate State. SSS Fuad Abujarad, Sandeep S. Kulkarni
2010	B	`conf`	Effect of Fairness in Model Checking of Self-stabilizing Programs. OPODIS Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni
2010	J	`jnl`	Key-update distribution in secure group communication. Comput. Commun. Sandeep S. Kulkarni, Bezawada Bruhadeshwar
2009	J	`jnl`	Complexity results in revising UNITY programs. ACM Trans. Auton. Adapt. Syst. Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni
2009	Misc	`conf`	Compositional verification of fault-tolerant real-time programs. EMSOFT Borzoo Bonakdarpour, Sandeep S. Kulkarni
2009	B	`conf`	Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance. SRDS Fuad Abujarad, Sandeep S. Kulkarni
2009	J	`jnl`	Energy-efficient multihop reprogramming for sensor networks. ACM Trans. Sens. Networks Sandeep S. Kulkarni, Limin Wang
2009	B	`conf`	Mobile Relay Configuration in Data-intensive Wireless Sensor Networks. MASS Fatmé El-Moukaddem, Eric Torng, Guoliang Xing, Sandeep S. Kulkarni
2009	C	`conf`	Multicore Constraint-Based Automated Stabilization. SSS Fuad Abujarad, Sandeep S. Kulkarni
2009	B	`conf`	On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery. FM Borzoo Bonakdarpour, Sandeep S. Kulkarni
2009	—	`conf`	Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs PDMC Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni
2009	—	`conf`	ProSe: A Programming Tool for Rapid Prototyping of Sensor Networks. S-CUBE Mahesh Arumugam, Sandeep S. Kulkarni
2009	—	`ch.`	Stabilizing Interference-Free Slot Assignment for Wireless Mesh Networks. Guide to Wireless Mesh Networks Mahesh Arumugam, Arshad Jhumka, Fuad Abujarad, Sandeep S. Kulkarni
2009	—	`conf`	Weakest Invariant Generation for Automated Addition of Fault-Tolerance. LAFT@LICS Fuad Abujarad, Sandeep S. Kulkarni
2008	J	`jnl`	Assurance of dynamic adaptation in distributed systems. J. Parallel Distributed Comput. Karun N. Biyani, Sandeep S. Kulkarni
2008	—	`conf`	Automated Addition of Fault-Tolerance to SCR Toolset: A Case Study. ICDCS Workshops Fuad Abujarad, Sandeep S. Kulkarni
2008	Misc	`conf`	Disassembling real-time fault-tolerant programs. EMSOFT Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora
2008	J	`jnl`	FTSyn: a framework for automatic synthesis of fault-tolerance. Int. J. Softw. Tools Technol. Transf. Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora
2008	J	`jnl`	Logarithmic keying. ACM Trans. Auton. Adapt. Syst. Ehab S. Elmallah, Mohamed G. Gouda, Sandeep S. Kulkarni
2008	B	`conf`	Masking Faults While Providing Bounded-Time Phased Recovery. FM Borzoo Bonakdarpour, Sandeep S. Kulkarni
2008	B	`conf`	Revising Distributed UNITY Programs Is NP-Complete. OPODIS Borzoo Bonakdarpour, Sandeep S. Kulkarni
2008	B	`conf`	SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs. CONCUR Borzoo Bonakdarpour, Sandeep S. Kulkarni
2008	J	`jnl`	Sacrificing a little coverage can substantially increase network lifetime. Ad Hoc Networks Limin Wang, Sandeep S. Kulkarni
2008	C	`ed.`	Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings SSS Sandeep S. Kulkarni, André Schiper
2008	A	`conf`	Symmetric Key Approaches to Securing BGP - A Little Bit Trust Is Enough. ESORICS Bezawada Bruhadeshwar, Sandeep S. Kulkarni, Alex X. Liu
2007	A	`conf`	Authentication in Reprogramming of Sensor Networks for Mote Class Adversaries. IPDPS Limin Wang, Sandeep S. Kulkarni
2007	J	`jnl`	DFT MAX and Power. J. Low Power Electron. 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
2007	C	`conf`	Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. SSS Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad
2007	A	`conf`	Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space. ICDCS Borzoo Bonakdarpour, Sandeep S. Kulkarni
2007	A	`conf`	Mixed-Mode Adaptation in Distributed Systems: A Case Study. SEAMS Karun N. Biyani, Sandeep S. Kulkarni
2007	Misc	`conf`	On the Design of Mobility-Tolerant TDMA-Based Media Access Control (MAC) Protocol for Mobile Sensor Networks. ICDCIT Arshad Jhumka, Sandeep S. Kulkarni
2007	B	`conf`	ProSe - A Programming Tool for Rapid Prototyping of Sensor Networks. SECON Mahesh Arumugam, Sandeep S. Kulkarni
2007	J	`jnl`	Terminating alternator. Parallel Process. Lett. Sandeep S. Kulkarni
2007	—	`conf`	Testing Dynamic Adaptation in Distributed Systems. AST@ICSE Karun N. Biyani, Sandeep S. Kulkarni
2006	C	`conf`	A Case Study on Prototyping Power Management Protocols for Sensor Networks. SSS Mahesh Arumugam, Limin Wang, Sandeep S. Kulkarni
2006	—	`conf`	Automated Incremental Synthesis of Timed Automata. FMICS/PDMC Borzoo Bonakdarpour, Sandeep S. Kulkarni
2006	C	`conf`	Brief Announcement: Distributed Synthesis of Fault-Tolerance. SSS Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad
2006	—	`conf`	Concurrency Tradeoffs in Dynamic Adaptation. ICDCS Workshops Karun N. Biyani, Sandeep S. Kulkarni
2006	J	`jnl`	Erratum to "Secret instantiation in ad-hoc networks" [Computer Communications 29 (2006) 200-215]. Comput. Commun. Sandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora
2006	C	`conf`	Incremental Synthesis of Fault-Tolerant Real-Time Programs. SSS Borzoo Bonakdarpour, Sandeep S. Kulkarni
2006	J	`jnl`	Infuse: A TDMA Based Data Dissemination Protocol for Sensor Networks. Int. J. Distributed Sens. Networks Sandeep S. Kulkarni, Mahesh Arumugam
2006	J	`jnl`	Load balancing and resource reservation in mobile ad hoc networks. Ad Hoc Networks Gautam Chakrabarti, Sandeep S. Kulkarni
2006	C	`conf`	Logarithmic Keying of Communication Networks. SSS Mohamed G. Gouda, Sandeep S. Kulkarni, Ehab S. Elmallah
2006	J	`jnl`	Resettable vector clocks. J. Parallel Distributed Comput. Anish Arora, Sandeep S. Kulkarni, Murat Demirbas
2006	B	`conf`	Sacrificing a Little Coverage Can Substantially Increase Network Lifetime. SECON Limin Wang, Sandeep S. Kulkarni
2006	J	`jnl`	Secret instantiation in ad-hoc networks. Comput. Commun. Sandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora
2006	J	`jnl`	Self-Stabilizing Deterministic Time Division Multiple Access for Sensor Networks. J. Aerosp. Comput. Inf. Commun. Mahesh Arumugam, Sandeep S. Kulkarni
2006	J	`jnl`	Transformations for write-all-with-collision model Comput. Commun. Sandeep S. Kulkarni, Mahesh Arumugam
2005	B	`conf`	A Family of Collusion Resistant Protocols for Instantiating Security. ICNP Sandeep S. Kulkarni, Bezawada Bruhadeshwar
2005	Misc	`conf`	Adding Fault-Tolerance Using Pre-synthesized Components. EDCC Sandeep S. Kulkarni, Ali Ebnenasir
2005	J	`jnl`	Alternators in read/write atomicity. Inf. Process. Lett. Sandeep S. Kulkarni, Chase Bolen, John Oleszkiewicz, Andrew Robinson
2005	J	`jnl`	Building component families to support adaptation. ACM SIGSOFT Softw. Eng. Notes Karun N. Biyani, Sandeep S. Kulkarni
2005	J	`jnl`	Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance. IEEE Trans. Dependable Secur. Comput. Sandeep S. Kulkarni, Ali Ebnenasir
2005	B	`conf`	ExScal: Elements of an Extreme Scale Wireless Sensor Network. RTCSA 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
2005	A	`conf`	MNP: Multihop Network Reprogramming Service for Sensor Networks. ICDCS Sandeep S. Kulkarni, Limin Wang
2005	—	`conf`	Proactive Reliable Bulk Data Dissemination in Sensor Networks. IASTED PDCS Limin Wang, Sandeep S. Kulkarni
2005	B	`conf`	Project ExScal (Short Abstract). DCOSS 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	A*	`conf`	Rekeying and Storage Cost for Multiple User Revocation. NDSS Sandeep S. Kulkarni, Bezawada Bruhadeshwar
2005	B	`conf`	Revising UNITY Programs: Possibilities and Limitations. OPODIS Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour
2005	Misc	`conf`	Self-stabilizing Deterministic TDMA for Sensor Networks. ICDCIT Mahesh Arumugam, Sandeep S. Kulkarni
2005	J	`jnl`	Stabilizing causal deterministic merge. J. High Speed Networks Sandeep S. Kulkarni, Ravikant
2005	J	`jnl`	The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance. IEEE Trans. Dependable Secur. Comput. Sandeep S. Kulkarni, Ali Ebnenasir
2005	Misc	`conf`	User Revocation in Secure Adhoc Networks. ICDCIT Bezawada Bruhadeshwar, Sandeep S. Kulkarni
2004	J	`jnl`	A line in the sand: a wireless sensor network for target detection, classification, and tracking. Comput. Networks Anish Arora, Prabal Dutta, Sandip Bapat, Vinod Kulathumani, Hongwei Zhang, Vinayak Naik, Vineet Mittal, Hui Cao, Murat Demirbas, Mohamed G. Gouda, Young-ri Choi, Ted Herman, Sandeep S. Kulkarni, Umamaheswaran Arumugam, Mikhail Nesterenko, Adnan Vora, Mark Miyashita
2004	A	`conf`	Automated Synthesis of Multitolerance. DSN Sandeep S. Kulkarni, Ali Ebnenasir
2004	—	`conf`	Correctness of Component-Based Adaptation. CBSE Sandeep S. Kulkarni, Karun N. Biyani
2004	Misc	`conf`	Distributing Key Updates in Secure Dynamic Groups. ICDCIT Sandeep S. Kulkarni, Bezawada Bruhadeshwar
2004	C	`conf`	Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. LOPSTR Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir
2004	—	`conf`	TDMA Service for Sensor Networks. ICDCS Workshops Sandeep S. Kulkarni, Umamaheswaran Arumugam
2003	—	`conf`	Collision-Free Communication in Sensor Networks. Self-Stabilizing Systems Sandeep S. Kulkarni, Umamaheswaran Arumugam
2003	A	`conf`	Enhancing The Fault-Tolerance of Nonmasking Programs. ICDCS Sandeep S. Kulkarni, Ali Ebnenasir
2003	B	`conf`	Transformations for Write-All-with-Collision Model. OPODIS Sandeep S. Kulkarni, Umamaheswaran Arumugam
2002	J	`jnl`	Education: Interactive Distributed Applications and the Computer Science Curriculum. IEEE Distributed Syst. Online Philip K. McKinley, Kurt Stirewalt, Betty H. C. Cheng, Laura K. Dillon, Sandeep S. Kulkarni
2002	—	`conf`	Reducing the Cost of the Critical Path in Secure Multicast for Dynamic Groups. ICDCS Workshops Sandeep S. Kulkarni, Bezawada Bruhadeshwar
2002	A	`conf`	The Complexity of Adding Failsafe Fault-Tolerance. ICDCS Sandeep S. Kulkarni, Ali Ebnenasir
2001	A	`conf`	Graybox Stabilization. DSN Anish Arora, Murat Demirbas, Sandeep S. Kulkarni
2001	B	`conf`	Polynomial Time Synthesis of Byzantine Agreement. SRDS Sandeep S. Kulkarni, Anish Arora, Arun Chippada
2001	—	`conf`	Stabilizing Causal Deterministic Merge. WSS Sandeep S. Kulkarni, Ravikant
2000	—	`conf`	Automating the Addition of Fault-Tolerance. FTRTFT Sandeep S. Kulkarni, Anish Arora
2000	A*	`conf`	Resettable vector clocks. PODC Anish Arora, Sandeep S. Kulkarni, Murat Demirbas
1999	—	`conf`	A case-study in component-based mechanical verification of fault-tolerant programs. WSS Sandeep S. Kulkarni, John M. Rushby, Natarajan Shankar
1998	J	`jnl`	Component Based Design of Multitolerant Systems. IEEE Trans. Software Eng. Anish Arora, Sandeep S. Kulkarni
1998	J	`jnl`	Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance. IEEE Trans. Software Eng. Anish Arora, Sandeep S. Kulkarni
1998	A	`conf`	Detectors and Correctors: A Theory of Fault-Tolerance Components. ICDCS Anish Arora, Sandeep S. Kulkarni
1998	B	`conf`	Low-cost Fault-tolerance in Barrier Synchronizations. ICPP Sandeep S. Kulkarni, Anish Arora
1998	J	`jnl`	Multitolerance in Distributed Reset. Chic. J. Theor. Comput. Sci. Sandeep S. Kulkarni, Anish Arora
1997	—	`conf`	Compositional Design of Multitolerant Repetitive Byzantine Agreement. FSTTCS Sandeep S. Kulkarni, Anish Arora
1997	—	`conf`	Compositional design of multitolerant repetitive byzantine agreement. WSS Sandeep S. Kulkarni, Anish Arora
1997	J	`jnl`	Multitolerant Barrier Synchronization. Inf. Process. Lett. Sandeep S. Kulkarni, Anish Arora
1997	B	`conf`	Once-and-for all management protocol (OFMP). ICNP Sandeep S. Kulkarni, Anish Arora
1995	B	`conf`	Designing Masking Fault Tolerance via Nonmasking Fault Tolerance. SRDS Anish Arora, Sandeep S. Kulkarni
1994	J	`jnl`	A Token Based k-Resilient Mutual Exclusion Algorithm for Distributed Systems. Inf. Process. Lett. Dhananjay M. Dhamdhere, Sandeep S. Kulkarni