Sandeep S. Kulkarni

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 99

Top Venues

Publications

Raaghav Ravishankar, Sandeep S. Kulkarni, Sathya Peri, Gokarna Sharma
Distributing Context-Aware Shared Memory Data Structures: A Case Study on Unordered Linked List. CoRR (2024)
Ishaan Lagwankar, Sandeep S. Kulkarni
Replay Clocks. ICDCN (2024)
Arya Tanmay Gupta, Sandeep S. Kulkarni
Eventually lattice-linear algorithms. J. Parallel Distributed Comput. 185 (2024)
Arya Tanmay Gupta, Sandeep S. Kulkarni
Tolerance to Asynchrony of an Algorithm for Gathering Myopic Robots on an Infinite Triangular Grid. EDCC (2024)
Arya Tanmay Gupta, Sandeep S. Kulkarni
Inducing Lattices in Non-Lattice-Linear Problems. SRDS (2023)
Arya Tanmay Gupta, Sandeep S. Kulkarni
Lattice Linearity of Multiplication and Modulo. SSS (2023)
Arya Tanmay Gupta, Sandeep S. Kulkarni
Lattice Linearity in Assembling Myopic Robots on an Infinite Triangular Grid. CoRR (2023)
Luke Sperling, Sandeep S. Kulkarni
Privacy-Preserving Methods for Outlier-Resistant Average Consensus and Shallow Ranked Vote Leader Election. CoRR (2023)
Arya Tanmay Gupta, Sandeep S. Kulkarni
DAG-Inducing Problems and Algorithms. CoRR (2023)
Ishaan Lagwankar, Sandeep S. Kulkarni
Replay Clocks. CoRR (2023)
Arya Tanmay Gupta, Sandeep S. Kulkarni
Eventually Lattice-Linear Algorithms. CoRR (2023)
Arya Tanmay Gupta, Sandeep S. Kulkarni
Multiplication and Modulo are Lattice Linear. CoRR (2023)
Duong Ngoc Nguyen, Arya Tanmay Gupta, Sandeep S. Kulkarni
Analyzing Program Transitions to Compute Benefit of Tolerating Consistency Violation Faults. ICDCN (2023)
Arya Tanmay Gupta, Sandeep S. Kulkarni
Lattice Linear Algorithms. CoRR (2022)
Sandeep S. Kulkarni, Sanjay M. Joshi
Effect of Timing Error: A Case Study of Navigation Camera. CoRR (2022)
Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani
An efficient approach to achieve compositionality using optimized multi-version object based transactional systems. Inf. Comput. 285 (Part) (2022)
Sandeep S. Kulkarni, Duong N. Nguyen, Lewis Tseng, Nitin H. Vaidya
Impact of the Consistency Model on Checkpointing of Distributed Shared Memory. CoRR (2022)
Arya Tanmay Gupta, Sandeep S. Kulkarni
Lattice Linear Problems vs Algorithms. CoRR (2022)
Sandeep S. Kulkarni, Gabe Appleton, Duong N. Nguyen
Achieving Causality with Physical Clocks. ICDCN (2022)
Arya Tanmay Gupta, Sandeep S. Kulkarni
Brief Announcement: Fully Lattice Linear Algorithms. SSS (2022)
Ved Prakash Chaudhary, Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri
Achieving starvation-freedom in multi-version transactional memory systems. Computing 104 (10) (2022)
Arya Tanmay Gupta, Sandeep S. Kulkarni
Extending Lattice Linearity for Self-stabilizing Algorithms. SSS (2021)
Sandeep S. Kulkarni, Duong N. Nguyen
Analyzing the Effect of Consistency Violation Faults in Self-Stabilizing Programs. CoRR (2021)
Arya Tanmay Gupta, Sandeep S. Kulkarni
Extending Lattice linearity for Self-Stabilizing Algorithms. CoRR (2021)
Sandeep S. Kulkarni, Gabe Appleton, Duong N. Nguyen
Achieving Causality with Physical Clocks. CoRR (2021)
Duong N. Nguyen, Sorrachai Yingchareonthawornchai, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas
Precision, recall, and sensitivity of monitoring partially synchronous distributed programs. Distributed Comput. 34 (5) (2021)
Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Gabe Appleton
Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems (Technical Report). CoRR (2020)
Duong N. Nguyen, Sandeep S. Kulkarni
Benefits of Stabilization versus Rollback in Self-Stabilizing Graph-Based Applications on Eventually Consistent Key-Value Stores. SRDS (2020)
Vidhya Tekken Valapil, Sandeep S. Kulkarni
Preserving stabilization while practically bounding state space using incorruptible partially synchronized clocks. Distributed Comput. 33 (5) (2020)
Duong N. Nguyen, Sandeep S. Kulkarni
Technical Report: Benefits of Stabilization versus Rollback in Self-Stabilizing Graph-Based Applications on Eventually Consistent Key-Value Stores. CoRR (2020)
Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Gabe Appleton
Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems. SRDS (2020)
Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani
An Efficient Approach to Achieve Compositionality using Optimized Multi-Version Object Based Transactional Systems. CoRR (2019)
Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani
Achieving Starvation-Freedom with Greater Concurrency in Multi-Version Object-based Transactional Memory Systems. SSS (2019)
Duong N. Nguyen, Sandeep S. Kulkarni
Benefits of Stabilization versus Rollback in Eventually Consistent Key-Value Stores. CoRR (2019)
Yiyan Lin, Sandeep S. Kulkarni, Arshad Jhumka
Automation of fault-tolerant graceful degradation. Distributed Comput. 32 (1) (2019)
Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani
Obtaining Progress Guarantee and GreaterConcurrency in Multi-Version Object Semantics. CoRR (2019)
Ved Prakash Chaudhary, Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri
Achieving Starvation-Freedom in Multi-version Transactional Memory Systems. NETYS (2019)
Duong N. Nguyen, Sandeep S. Kulkarni, Ajoy K. Datta
Benefit of self-stabilizing protocols in eventually consistent key-value stores: a case study. ICDCN (2019)
Mohammad Roohitavaf, Jung-Sang Ahn, Woon-Hak Kang, Kun Ren, Gene Zhang, Sami Ben-Romdhane, Sandeep S. Kulkarni
Session guarantees with raft and hybrid logical clocks. ICDCN (2019)
Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas
Using Weaker Consistency Models with Monitoring and Recovery for Improving Performance of Key-Value Stores. CoRR (2019)
Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas
Using weaker consistency models with monitoring and recovery for improving performance of key-value stores. J. Braz. Comput. Soc. 25 (1) (2019)
Aleksey Charapko, Ailidani Ailijiang, Murat Demirbas, Sandeep S. Kulkarni
Retroscope: Retrospective Monitoring of Distributed Systems. IEEE Trans. Parallel Distributed Syst. 30 (11) (2019)
Mohammad Roohitavaf, Sandeep S. Kulkarni
. Future Internet 11 (7) (2019)
Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Sandeep S. Kulkarni, Murat Demirbas
Analysis of Bounds on Hybrid Vector Clocks. IEEE Trans. Parallel Distributed Syst. 29 (9) (2018)
Mohammad Roohitavaf, Sandeep S. Kulkarni
DKVF: a framework for rapid prototyping and evaluating distributed key-value stores. ASE (2018)
Mohammad Roohitavaf, Sandeep S. Kulkarni
Toward Adaptive Causal Consistency for Replicated Data Stores. CoRR (2018)
Mohammad Roohitavaf, Ling Zhu, Sandeep S. Kulkarni, Subir Biswas
NetSynth: a framework for synthesizing customized network protocols using genetic programming. GECCO (Companion) (2018)
Mohammad Roohitavaf, Murat Demirbas, Sandeep S. Kulkarni
CausalSpartanX: Causal Consistency and Non-Blocking Read-Only Transactions. CoRR (2018)
Kalyanmoy Deb, Ling Zhu, Sandeep S. Kulkarni
Handling Multiple Scenarios in Evolutionary Multiobjective Numerical Optimization. IEEE Trans. Evol. Comput. 22 (6) (2018)
Mohammad Roohitavaf, Sandeep S. Kulkarni
DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-value Stores. CoRR (2018)
Vidhya Tekken Valapil, Sandeep S. Kulkarni
Biased Clocks: A Novel Approach to Improve the Ability To Perform Predicate Detection with O(1) Clocks. SIROCCO (2018)
Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas
Using Weaker Consistency Models with Monitoring and Recovery for Improving Performance of Key-Value Stores. LADC (2018)
Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas
Optimistic Execution in Key-Value Store. CoRR (2018)
Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani
An Innovative Approach to Achieve Compositionality Efficiently Using Multi-version Object Based Transactional Systems. SSS (2018)
Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
A theory of integrating tamper evidence with stabilization. Sci. Comput. Program. 160 (2018)
Mohammad Roohitavaf, Ling Zhu, Sandeep S. Kulkarni, Subir Biswas
Synthesizing customized network protocols using genetic programming. GECCO (Companion) (2018)
Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas
Technical Report: Optimistic Execution in Key-Value Store. CoRR (2018)
Duong N. Nguyen, Sandeep S. Kulkarni, Ajoy K. Datta
Benefit of Self-Stabilizing Protocols in Eventually Consistent Key-Value Stores: A Case Study. CoRR (2018)
Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni
Automated Synthesis of Distributed Self-Stabilizing Protocols. Log. Methods Comput. Sci. 14 (1) (2018)
Bruhadeshwar Bezawada, Sandeep S. Kulkarni, Indrajit Ray, Indrakshi Ray, Rui Li
Independent Key Distribution Protocols for Broadcast Authentication. SACMAT (2018)
Mohammad Roohitavaf, Jung-Sang Ahn, Woon-Hak Kang, Kun Ren, Gene Zhang, Sami Ben-Romdhane, Sandeep S. Kulkarni
Session Guarantees with Raft and Hybrid Logical Clocks. CoRR (2018)
Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni
Bounded Auditable Restoration of Distributed Systems. IEEE Trans. Computers 66 (2) (2017)
Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas
Monitoring Partially Synchronous Distributed Systems Using SMT Solvers. RV (2017)
Sorrachai Yingchareonthawornchai, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas
Efficient Algorithms for Predicate Detection using Hybrid Logical Clocks. ICDCN (2017)
Mohammad Roohitavaf, Murat Demirbas, Sandeep S. Kulkarni
CausalSpartan: Causal Consistency for Distributed Data Stores Using Hybrid Logical Clocks. SRDS (2017)
Vidhya Tekken Valapil, Sandeep S. Kulkarni
Preserving Stabilization while Practically Bounding State Space. CoRR (2017)
Sandeep S. Kulkarni, Nitin H. Vaidya
Effectiveness of Delaying Timestamp Computation. PODC (2017)
Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas
Monitoring Partially Synchronous Distributed Systems using SMT Solvers. CoRR (2017)
Aleksey Charapko, Ailidani Ailijiang, Murat Demirbas, Sandeep S. Kulkarni
Retrospective Lightweight Distributed Snapshots Using Loosely Synchronized Clocks. ICDCS (2017)
Ved Prakash Chaudhary, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri
Starvation Freedom in Multi-Version Transactional Memory Systems. CoRR (2017)
Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani
An Innovative Approach for Achieving Composability in Concurrent Systems using Multi-Version Object Based STMs. CoRR (2017)
Vidhya Tekken Valapil, Sandeep S. Kulkarni
Derivation of Network Reprogramming Protocol with Z3. CoRR (2017)
Vidhya Tekken Valapil, Sandeep S. Kulkarni
Preserving Stabilization While Practically Bounding State Space. EDCC (2017)
Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni
Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. FORTE (2016)
Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni
A framework for verification of SystemC TLM programs with model slicing: a case study. DAC (2016)
Mohammad Roohitavaf, Sandeep S. Kulkarni
Collaborative Stabilization. SRDS (2016)
Mohammad Roohitavaf, Sandeep S. Kulkarni
GentleRain+: Making GentleRain Robust on Clock Anomalies. CoRR (2016)
Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas
Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems. CoRR (2016)
Mohammad Roohitavaf, Sandeep S. Kulkarni
Stabilization and fault-tolerance in presence of unchangeable environment actions. ICDCN (2016)
Mohammad Roohitavaf, Yiyan Lin, Sandeep S. Kulkarni
Lazy Repair for Addition of Fault-Tolerance to Distributed Programs. IPDPS (2016)
Mohammad Roohitavaf, Sandeep S. Kulkarni
Automatic Addition of Conflicting Properties. SSS (2016)
Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas
Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems. RV (2016)
Nitin H. Vaidya, Sandeep S. Kulkarni
Efficient Timestamps for Capturing Causality. CoRR (2016)
Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni
Specification-based Synthesis of Distributed Self-Stabilizing Protocols. CoRR (2015)
Ling Zhu, Jingshu Chen, Sandeep S. Kulkarni
Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms. SSS (2015)
Fuad Abujarad, Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni
The complexity of automated addition of fault-tolerance without explicit legitimate states. Distributed Comput. 28 (3) (2015)
Borzoo Bonakdarpour, Sandeep S. Kulkarni
Synthesizing bounded-time 2-phase fault recovery. Formal Aspects Comput. 27 (1) (2015)
Kalyanmoy Deb, Ling Zhu, Sandeep S. Kulkarni
Multi-scenario, multi-objective optimization using evolutionary algorithms: Initial results. CEC (2015)
Ling Zhu, Sandeep S. Kulkarni
Using Model Checking Techniques For Evaluating the Effectiveness of Evolutionary Computing in Synthesis of Distributed Fault-Tolerant Programs. GECCO (2015)
Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata. NFM (2015)
Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Murat Demirbas
Analysis of Bounds on Hybrid Vector Clocks. OPODIS (2015)
Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni
Auditable Restoration of Distributed Programs. CoRR (2015)
Ling Zhu, Sandeep S. Kulkarni
Using Genetic Programming to Identify Tradeoffs in Self-Stabilizing Programs: A Case Study. ICDCS Workshops (2015)
Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
A Theory of Integrating Tamper Evidence with Stabilization. FSEN (2015)
Jingshu Chen, Mohammad Roohitavaf, Sandeep S. Kulkarni
Ensuring Average Recovery with Adversarial Scheduler. OPODIS (2015)
Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni
Auditable Restoration of Distributed Programs. SRDS (2015)
Reza Hajisheykhi, Ling Zhu, Mahesh Arumugam, Murat Demirbas, Sandeep S. Kulkarni
"Slow is Fast" for wireless sensor networks in the presence of message losses. J. Parallel Distributed Comput. 77 (2015)
Murat Demirbas, Sandeep S. Kulkarni
Highly Auditable Distributed Systems. HotCloud (2015)
Mohammad Roohitavaf, Sandeep S. Kulkarni
Stabilization and Fault-Tolerance in Presence of Unchangeable Environment Actions. CoRR (2015)
Ling Zhu, Kalyanmoy Deb, Sandeep S. Kulkarni
Multi-scenario optimization using multi-criterion methods: A case study on Byzantine agreement problem. IEEE Congress on Evolutionary Computation (2014)

Sandeep S. Kulkarni.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sandeep S. Kulkarni