Curriculum Vitae 
Sandeep Kulkarni

Department of Computer Science and Engineering
Michigan State University
3115 Engineering, 428 S. Shaw Lane

East Lansing MI 48824
Phone: (517) 355 2387
Fax: (517) 432 1061
Email: sandeep@cse.msu.edu
Web: http://www.cse.msu.edu/~sandeep

 

Research Interests

Distributed Systems, Cloud Computing,  Formal Methods, Program repair, Fault-tolerance, Software engineering

Education

·         1999 PhD., Computer and Information Science, Ohio State University, Columbus Ohio
Dissertation: Component-Based Design of Fault-Tolerance
Advisor: Anish Arora

·         1994 MS., Computer and Information Science, Ohio State University, Columbus Ohio

·         1993 B. Tech., Computer Science and Engineering, Indian Institute of Technology, Bombay, India

Experience

·         2019-present Associate Chair for Graduate Studies, Computer Science and Engineering, Michigan State University

·         1999-present, Assistant/Associate/Full Professor, Computer Science and Engineering, Michigan State University

·         1998-1999, Presidential Fellow, Ohio State University

·         1998, Summer intern, Computer Science Laboratory at SRI International

·         1995-1999, Graduate Research Assistant, Ohio State University

·         1993-1995, Graduate Teaching Assistant, Ohio State University

 

Grants

 

  • XPS:FULL:FP:Collaborative Research: Synchrony-aware Primitives for Building Highly Auditable, Highly Scalable, Highly Available Distributed Systems”

o   Sponsor: NSF

o   Total amount: $350,000

o   Amount Assigned: 100%

o   Duration: September 2015-September 2019

 

  • TWC: Small: Automatic Software Model Repair for Security Policies

o   Sponsor: NSF

o   Total amount: $448,789

o   Amount Assigned: 100%

o   Duration: September 2013-September 2016

 

  • CPS: Breakthrough: Scalable Component-based Model Revision of Cyber-Physical Systems with Separation of Concerns

o   Sponsor: NSF

o   Total amount: $445,719

o   Amount Assigned: 100%

o   Duration: September 2013-September 2016

 

·         Multi-scenario Optimization using Evolutionary Multi-Criterion Optimization for Engineering Problem Solving (PI: Kalyanmoy Deb (ECE Dept, MSU))

o   Sponsor: NSF (via BEACON center)

o   Total amount: $56,200

o   Amount Assigned: 50%

o   Duration: May 2014-May 2015

 

·         Automated Program Revision for Embedded Systems

o   Sponsor: AFOSR

o   Total amount: $395,408

o   Amount Assigned: 100%

o   Duration: May 15 2010-May 15 2013

 

·         CSR: Small: Collaborative Research Tool-Support for Producing High-Assurance and Reliable Software for Wireless Sensor Actor Networks (PI: Murat Demirbas (SUNY Buffalo))

o   Sponsor: NSF

o    Total amount (MSU share): $247,596

o   Amount assigned: 100%

o   Duration: September 2009-September 2013

 

·         Unified Component-Based Framework for Fault-Tolerance.

o   Sponsor: NSF/CAREER

o   Total amount: $257,156

o   Amount assigned: 100%

o   Duration: September 2001-September 2006

·         Component-Based Development of Adaptive and Dependable Middleware.

o   PI: McKinley, Other co-investigators: Stirewalt, Dillon and Cheng

o   Sponsor: ONR

o   Total amount: $3,145,601

o   Amount assigned: 20%

o   Duration: May 2001-May2006

·         Stabilization in NEST.

o   PI: Anish Arora (Ohio State), Other co-investigators:  Gouda (U Texas at Austin), Herman (U Iowa) and Nesternko (Kent State)

o   Sponsor: DARPA

o   Total amount: $2,400,000

o   Amount assigned: 15%

o   Duration: June 2001-June 2006

·         Proxy-Centric Testbed for Mobile Internet Research.

o   PI: McKinley, Other co-investigators: Stirewalt, Dillon, Cheng and Lee

o   Sponsor: NSF

o   Total amount: $146,390 (includes 50,000 matching from MSU)

o   Amount assigned: 16%

 

  • High Assurance Systems
    • PI: Cheng, Co-PI: McKinley
    • Senior Personnel: S. Biswas, S. Gage, B. Pentland, L. Dillon, S. Kulkarni, C. Radcliffe, K. Stirewalt, X. Tan
    • Duration: 1/1/2006-12/31/2008
    • Amount: $797,815

 

Thesis/Project Supervision

 

Current PhD students

 

1.      Greg Hess, past qualifier

2.      Jesus Garcia

3.      Gabe Appleton

4.      Arya Gupta

 

Graduated PhD students:

1.      Duong Nguyen, Using Eventual Consistency to Improve the Performance of Distributed Graph Computation in Key Value Store 2021

2.      Vidhya Balkrishnan, Achieving Reliable Distributed Systems Through Efficient Runtime Monitoring and Predicate Detection, 2020

3.      Mohammad Roohitaf, Consistency for Distributed Data Stores, 2019

4.      Ling Zhu, Using Evolutionary Appraoch to Design Fault-tolerant Distributed Programs and Engineering Optimization Problems. Ford 2018

5.      Reza Hajishey, NetSpeed Syste`ms 2015

6.      Yiyan Lin, Lazy repair of distributed systems, 2015

7.      Jingshu Chen, Automatic Verification and Revision for Multitolerant Programs, 2013

8.      Fuad Abu Jarad, Towards Automated Model Revision for Fault-Tolerant Systems, 2010

9.      Borzoo Bonakdarpour, Automated Revision of Distributed and Real-Time Programs, 2008

10.  Limin Wang, Energy Efficient Reprogramming for Sensor Networks, 2007

11.  Karun Biyani, Assurance of Adaptation in Distributed Systems, 2007

12.  Umamaheshwaran Arumugam,  “Rapid Prototyping and Quick Deployment of Sensor Networks'',  2006

13.  Bezawada Bruhadeshwar, Key Management in Group Communication, 2005

14.  Ali Ebnenasir, Automation of Fault-Tolerance,  Completion date: April 2005

 

Current MS Students

 

1.      Namratha Shah

2.      Shashank Mohan

 

MS students

1.      Ling Zhu, MS course option (continued to PhD), completion date: December 2010

2.      Fuad Abu Jarad, MS course option (continued to PhD), 2006

3.      Borzoo Bonakdarpour, MS thesis, Mechanical Verification of Automated Addition of Fault-Tolerance, 2004

4.      Umamaheshwaran Arumugam, MS thesis, Component Frameworks for NEST, 2003,

5.      Karun Biyani, MS thesis, Frameworks for Dependability Components, 2003

6.      Gautam Chakrabarti, MS Project, Fault-tolerant Routing in Ad-hoc Networks,  2002

7.      Ravikant, MS Project, Stabilizing Causal Deterministic Merge, 2001

8.      Arun Chippada, MS project, Polynomial Time Synthesis of Byzantine Agreement, 2001

 

Undergraduate students involved in research

 

  1. Raj Aditya
  2. Daniyal Dar
  3. Hithesh Yedlapati

 

Book Chapters

 

1.      Mahesh Arumugam, Arshad Jhumka, Fuad Abujarad, and Sandeep Kulkarni. "Stabilizing Interference Free Slot Assignment for Wireless Mesh Networks", Guide to wireless mesh networks 2009

2.      Sandeep S. Kulkarni, Anish Arora and Ali Ebnenasir, "Adding Fault-Tolerance to State Machine-Based Designs", Software Engineering and Fault-Tolerance, World Scientific Publishing Co. Pte. Ltd, 2007.

3.      Sandeep S. Kulkarni and Mahesh Arumugam.  "SS-TDMA: A self-stabilizing MAC for sensor networks", Sensor Network Operations, IEEE Press, 2006. (Citations: 59)

 

 

Journal Publications

 

1.      Vidhya Tekken Valapil, Sandeep S. Kulkarni: Preserving stabilization while practically bounding state space using incorruptible partially synchronized clocks. Distributed Comput. 33(5): 423-443 (2020)

2.      Yiyan Lin, Sandeep S. Kulkarni, Arshad Jhumka: Automation of fault-tolerant graceful degradation. Distributed Comput. 32(1): 1-25 (2019)

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

4.      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): 10:1-10:25 (2019)

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

6.      Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni: Automated Synthesis of Distributed Self-Stabilizing Protocols. Logical Methods in Computer Science 14(1) (2018)

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

8.      Kalyanmoy Deb, Ling Zhu, Sandeep S. Kulkarni: Handling Multiple Scenarios in Evolutionary Multiobjective Numerical Optimization. IEEE Trans. Evolutionary Computation 22(6): 920-933 (2018)

9.      Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Sandeep S. Kulkarni, Murat Demirbas: Analysis of Bounds on Hybrid Vector Clocks. IEEE Trans. Parallel Distrib. Syst. 29(9): 1947-1960 (2018)

10.  Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni: Bounded Auditable Restoration of Distributed Systems. IEEE Trans. Computers 66(2): 240-255 (2017)

11.  Fuad Abujarad, Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni. "The complexity of automated addition of fault-tolerance without explicit legitimate states", Distributed Computing 28(3): 201-219 (2015)

12.  Borzoo Bonakdarpour, Sandeep S. Kulkarni. "Synthesizing bounded-time 2-phase fault recovery", Formal Aspects of Computing 27(1): 1-31 (2015)

13.  Reza Hajisheykhi, Ling Zhu, Mahesh Arumugam, Murat Demirbas, Sandeep S. Kulkarni. ""Slow is Fast" for wireless sensor networks in the presence of message losses", Journal of Parallel and Distributed Computing 77: 41-57 (2015)

14.  Borzoo Bonakdarpour and Sandeep Kulkarni. "Synthesizing Bounded-time 2-phase Recovery", Formal Aspects of Computing (FAOC), 2014 (Impact factor: 0.5)

15.  Jingshu Chen, Ali Ebnenasir and Sandeep S. Kulkarni. "The Complexity of Adding Multitolerance", ACM Transactions on Autonomous and Adaptive Systems (TAAS), 2014 (Impact factor: 1.0)

16.  Jingshu Chen, Fuad Abujarad, and Sandeep S. Kulkarni. "Towards scalable model checking of self-stabilizing programs", Journal of Parallel and Distributed Computing (JPDC), 73(4): 400-410, 2013 (Impact factor: 1.12, Citations: 1)

17.  Jingshu Chen and Sandeep S. Kulkarni. "MR4UM: A framework for adding fault tolerance to UML state diagrams", Theoretical Computer Science, 496: 17-33, 2013 (Impact factor: 0.489)

18.  Ali Ebnenasir, Reza Hajisheykhi and Sandeep S. Kulkarni. "Facilitating the design of fault tolerance in transaction level SystemC programs", Theoretical Computer Science, 496: 50-68, 2013 (Impact factor: 0.489, Citations: 4)

19.  Borzoo Bonakdarpour, Sandeep S. Kulkarni and Fuad Abujarad.  "Symbolic synthesis of masking fault-tolerant distributed programs", Distributed Computing 25(1): 83-108, 2012 (Impact factor 0.627, Citations: 13)

20.  Borzoo Bonakdarpour and Sandeep S. Kulkarni. "Automated model repair for distributed programs", SIGACT News 43(2): 85-107,  2012 (Citations: 1)

21.  Bezawada Bruhadeshwar and Sandeep S. Kulkarni. "Balancing Revocation and Storage Trade-Offs in Secure Group Communication", IEEE Transactions on Dependable and Secure Computing 8(1): 58-73, 2011 (Impact factor: 1.17, Citations: 19)

22.  Bezawada Bruhadeshwar, Sandeep S. Kulkarni and Alex X. Liu. "Symmetric Key Approaches to Securing BGP - A Little Bit Trust Is Enough", IEEE Transactions on Parallel and Distributed Systems 22(9): 1536-1549, 2011 (Impact factor: 1.796, Citations: 12)

23.  Ali Ebnenasir and Sandeep S. Kulkarni. "Feasibility of Stepwise Design of Multitolerant Programs", ACM Transactions on Software Engineering and Methodology (TOSEM) 21(1): 1-49, 2011 (Impact factor: 1.55, Citations: 6)

24.  Fuad Abujarad and Sandeep S. Kulkarni. "Automated constraint-based addition of nonmasking and stabilizing fault-tolerance", Theoretical Computer Science 412(33): 4228-4246, 2011 (Impact factor: 0.489, Citations: 8)

25.  Sandeep Kulkarni and Bezawada Bruhadeshwar. "Key-update distribution in secure group communication", Computer Communications", 33(6),689-705, 2010 (Impact factor: 1.227, Citations: 17)

26.  Sandeep Kulkarni and Fuad Abujarad. "Weakest Invariant Generation for Automated Addition of Fault-Tolerance", Electronic Notes in Theoretical Computer Science, 2009 (Impact factor: 0.6, Citations: 6)

27.  Borzoo Bonakdarpour and Sandeep Kulkarni. "Complexity results in revising UNITY programs", ACM Transactions on Autonomous and Adaptive Systems (TAAS), 4(1), 5-28, 2009 (Impact factor: 1.0, Citations: 50)

28.  Sandeep Kulkarni and Limin Wang. "Energy-efficient multihop reprogramming for sensor networks", ACM Transactions on Sensor Networks, 16(1), 16-40, 2009. (Impact factor: 1.44, Citations: 21)

29.  Ehab S. Elmallah, Mohamed G. Gouda and Sandeep S. Kulkarni. "Logarithmic keying",  ACM Transactions on Autonomic Systems (TAAS), 3(4), 1-18, 2008 (Impact factor: 1.0, Citations: 13)

30.  Ali Ebnenasir, Sandeep S. Kulkarni and Anish Arora. "FTSyn: a framework for automatic synthesis of fault-tolerance", International Journal on Software Tools for Technology Transfer (STTT) 10(5): 455-471, 2008 (Impact factor: 0.94, Citations: 47)

31.  Karun N. Biyani and Sandeep S. Kulkarni. "Assurance of dynamic adaptation in distributed systems", Journal of Parallel and Distributed. Computing (JPDC) 68(8): 1097-1112, 2008 (Impact factor: 1.12, Citations: 18)

32.  Limin Wang and Sandeep S. Kulkarni. "Sacrificing a little coverage can substantially increase network lifetime", Ad Hoc Networks 6(8): 1281-1300 2008 (Impact factor: 1.46, Citations: 40)

33.  Sandeep S. Kulkarni. "Terminating alternator", Parallel Processing Letters 17(4): 379-390, 2007 (Citations: 1)

 

34.  Mahesh Arumugam and Sandeep S. Kulkarni. "Self-stabilizing deterministic TDMA for sensor networks", AIAA Journal of Aerospace computing, information and communication (JACIC), 2007 (Citations: 12)

35.  Sandeep S. Kulkarni and Mahesh Arumugam. "Infuse: A TDMA based data dissemination protocol for sensor networks", International Journal of Distributed Sensor Networks, 2(1), 55-78, 2007 (Impact factor: 0.727, Citations: 76)

36.  Sandeep S. Kulkarni, M. G. Gouda and Anish Arora. "Secret Instantiation in Ad Hoc Networks", Computer Communications, 29(2) 200-215, 2006 (Impact factor: 1.227, Citations: 50)

37.  Sandeep S. Kulkarni and Mahesh Arumugam. "Transformations for Write-All-With-Collision Model", Computer Communications, 29(2), 183-199, 2006 (Impact factor: 1.227, Citations: 36)

38.  Sandeep S. Kulkarni and Mahesh Arumugam. "Approximate Causal Observer", Special issue of Transactions of the Society of Instrument and Control Engineers volume E. 2006

39.  Anish Arora, Sandeep S. Kulkarni, and Murat Demirbas. "Resettable Vector Clocks", Journal of Parallel and Distributed Computing (JPDC), 66(2), 221-237, 2006 (Impact factor: 1.12, Citations: 2)

40.  Gautam Chakrabarti and Sandeep S. Kulkarni. "Load Balancing and Resource Reservation in Mobile Ad-Hoc Networks", Ad Hoc Networks, 4(2), 186-203,  2006 (Impact factor: 1.46, Citations: 47)

41.  Sandeep S. Kulkarni and Ali Ebnenasir. "The Effect of the Specification Model on the Complexity of Adding Masking Fault-Tolerance", IEEE Transactions on Dependable and Secure Computing, 2(4), 348-355, 2005 (Impact factor: 1.06, Citations: 6)

42.  Sandeep S. Kulkarni and Ali Ebnenasir. "Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance", IEEE Transactions on Dependable and Secure Computing, 2(3), 201-215,  2005 (Impact factor: 1.06, citations: 29)

43.  Sandeep S. Kulkarni and Ravikant. "Stabilizing Causal Deterministic Merge", Journal of High Speed Networks, 14(2), 155-183, Jun-Sep 2005 (Impact factor: 0.44, Citations 10)

44.  Sandeep S. Kulkarni, Chase Bolen, John Oleszkiewicz, and Andrew Robinson. "Alternator in Read/Write Model", Information Processing Letters, 93(5), 207-215, 2005 (Impact factor: 0.606, Citations: 14)

45.  A. Arora, P. Dutta, S. Bapat, V. Kulathumani, H. Zhang, V. Naik, V.  Mittal, H. Cao, M. Demirbas, M. Gouda, Y-R. Choi, T. Herman, S. S.  Kulkarni, U. Arumugam, M. Nesterenko, A. Vora, and M. Miyashita. "A line in the sand: A wireless sensor network for target detection, classification, and tracking", Computer Networks (Elsevier), Special Issue on Military Communications Systems and Technologies, 46(5), 605-634, 2004. (Impact factor: 1.231, Citations: 773) (Note: this paper presents experimental results related to our DARPA demonstration called `A line in the Sand'. The PIs for this project are Arora (lead PI), Gouda, Herman, Kulkarni, Nesterenko. The PIs are listed alphabetically. Students working with the PI are listed after that PI.)

46.  Sandeep S. Kulkarni and Bezawada Bruhadeshwar. "Adaptive Rekeying for Secure Multicast", IEEE/IEICE Special issue on Communications: Transactions on Communications, 2957-2966, October 2003 (Citations: 16)

47.  P. McKinley, K. Stirewalt, B. Cheng, L. Dillon and Sandeep S. Kulkarni, "Interactive Distributed Applications and the Computer Science Curriculum", IEEE Distributed Systems Online. 3(10), 2002

48.  Sandeep S. Kulkarni and Anish Arora. "Multitolerant Distributed Reset", Special Issue on Self-stabilization of Chicago Journal of Theoretical Computer Science. 1998. (Citations: 25)

49.  Anish Arora and Sandeep S. Kulkarni. "Designing masking fault-tolerance via nonmasking fault-tolerance", IEEE Transactions on Software Engineering, 24(6) 435-450, 1998 (Impact factor: 1.38, Citations: 70)

50.  Anish Arora and Sandeep S. Kulkarni. "Component based design of multitolerance", IEEE Transactions on Software Engineering, 24(1), 63-78, 1998 (Impact factor: 1.38, Citations: 148)

51.  Sandeep S. Kulkarni and Anish Arora. "Multitolerant barrier synchronization", Information Processing Letters, 64(1), 29-36, 1997 (Impact factor: 0.488, Citations: 32)

52.  D. M. Dhamdhere and Sandeep S. Kulkarni. "A token based k resilient mutual exclusion algorithm for distributed mutual exclusion", Information Processing Letters, 50(3), 151-157, 1994 (Impact factor: 0.488, Citations: 30)

 

Conference Publications

 

1.      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: 11-20

2.      Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Gabe Appleton: Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems. SRDS 2020: 123-132

3.      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: 100-109

4.      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: 148-157

5.      Ved Prakash Chaudhary, Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri:

Achieving Starvation-Freedom in Multi-version Transactional Memory Systems. NETYS 2019: 291-310

6.      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: 209-227

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

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

9.      Mohammad Roohitavaf, Sandeep S. Kulkarni: DKVF: a framework for rapid prototyping and evaluating distributed key-value stores. ASE 2018: 912-915

10.  Bruhadeshwar Bezawada, Sandeep S. Kulkarni, Indrajit Ray, Indrakshi Ray, Rui Li: Independent Key Distribution Protocols for Broadcast Authentication. SACMAT 2018: 27-38

11.  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: 345-360

12.  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: 284-300 (Received Best Paper Award)

13.  Duong Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas  Using Weaker Consistency Models with Monitoring and Recovery for Improving Performance of Key-Value Store, LADC 2018

14.  Vidhya Tekken Valapil, Sandeep S. Kulkarni: Preserving Stabilization While Practically Bounding State Space. EDCC 2017: 26-33 (Received Best paper Award)

15.  Sorrachai Yingchareonthawornchai, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas: Efficient Algorithms for Predicate Detection using Hybrid Logical Clocks. ICDCN 2017: 10pages

16.  Aleksey Charapko, Ailidani Ailijiang, Murat Demirbas, Sandeep S. Kulkarni: Retrospective Lightweight Distributed Snapshots Using Loosely Synchronized Clocks. ICDCS 2017: 2061-2066

17.  Sandeep S. Kulkarni, Nitin H. Vaidya: Effectiveness of Delaying Timestamp Computation. PODC 2017: 263-272

18.  Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas: Monitoring Partially Synchronous Distributed Systems Using SMT Solvers. RV 2017: 277-293

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

20.  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: 22:1-22:6

21.  Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni: Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. FORTE 2016: 124-141

22.  Mohammad Roohitavaf, Sandeep S. Kulkarni: Stabilization and fault-tolerance in presence of unchangeable environment actions. ICDCN 2016: 19:1-19:10

23.  Mohammad Roohitavaf, Yiyan Lin, Sandeep S. Kulkarni: Lazy Repair for Addition of Fault-Tolerance to Distributed Programs. IPDPS 2016: 1071-1080 

24.  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: 420-435

25.  Mohammad Roohitavaf, Sandeep S. Kulkarni: Collaborative Stabilization. SRDS 2016: 259-268

26.  Mohammad Roohitavaf, Sandeep S. Kulkarni: Automatic Addition of Conflicting Properties. SSS 2016: 310-326

27.  Kalyanmoy Deb, Ling Zhu, Sandeep S. Kulkarni. "Multi-scenario, multi-objective optimization using evolutionary algorithms: Initial results", CEC 2015: 1877-1884

28.  Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni. "A Theory of Integrating Tamper Evidence with Stabilization", FSEN 2015: 84-99

29.  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: 1119-1126

30.  Murat Demirbas, Sandeep S. Kulkarni. "Highly Auditable Distributed Systems", HotCloud 2015

31.  Ling Zhu, Sandeep S. Kulkarni. "Using Genetic Programming to Identify Tradeoffs in Self-Stabilizing Programs: A Case Study". ICDCS Workshops 2015: 29-34

32.  Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni. "UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata", NFM 2015: 429-435

33.  Ling Zhu, Jingshu Chen, Sandeep S. Kulkarni. "Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms", SSS 2015: 217-231

34.  Sandeeep S. Kulkarni, Murat Demirbas, Deepak Madeppa, Bharadwaj Avva, and               Marcelo Leone, "Logical Physical Clocks and Consistent Snapshots in Globally              Distributed Databases", On Principles of Distributed Systems (OPODIS), 2014 (Acceptance rate: 32/98=32%)

35.  Yiyan Lin and Sandeep S. Kulkarni. "Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability", ISSTA 2014: 237-247 (Acceptance rate: 36/128 = 28%)

36.  Reza Hajisheykhi, Ali Ebnenasir and Sandeep S. Kulkarni. "Evaluating the Effect of Faults in SystemC TLM Models using UPPAAL", Software Engineering and Formal Methods (SEFM) 2014, to appear (Acceptance rate: 29/106 = 27%)

37.  Borzoo Bonakdarpour, Reza Hajisheykhi and Sandeep S. Kulkarni. "Knowledge-Based Automated Repair of Authentication Protocols", Formal Methods(FM) 2014: 132-147 (Acceptance rate: 45/150 = 30%)

38.  Reza Hajisheykhi, Ali Ebnenasir and Sandeep S. Kulkarni.  "Analysis of Permanent Faults in Transaction Level SystemC Models", The Thirteenth International Workshop on Assurance in Distributed Systems and Networks (ADSN) 2014 

39.  Ling Zhu, Kalyanmoy Deb and Sandeep S. Kulkarni. "Multi-scenario optimization using multi-criterion methods: A case study on Byzantine agreement problem", IEEE Congress on Evolutionary Computing, 2014

40.  Yiyan Lin and Sandeep S. Kulkarni. "Automated Multi-graceful Degradation: A Case Study", Symposium on Reliable and Distributed Systems (SRDS), 2013:81-90 (Acceptance rate: 22/67 = 32%)

41.  Reza Hajisheykhi, Ali Ebnenasir and Sandeep S. Kulkarni. "Modeling and analyzing timing faults in transaction level SystemC programs. Network on Chip Architectures(NoCArc@MICRO) 2013: 65-68 (Acceptance rate: 40/99 = 40%)

42.  Jingshu Chen, Sandeep S. Kulkarni. "SMT-Based Model Checking for Stabilizing Programs", International Conference on Distributed Systems and Networks 2013: 393-407 (Acceptance rate: 18/67 = 26%)

43.  Yiyan Lin, Borzoo Bonakdarpour and Sandeep S. Kulkarni. "Automated Addition of Fault-Tolerance under Synchronous Semantics", Symposium on Stabilization, Safety and Security (SSS) 2013: 266-280 (Acceptance rate: 23/68=33%)

44.  Reza Hajisheykhi, Ali Ebnenasir and Sandeep S. Kulkarni. "Brief Announcement: Timing Faults in LT coding style in SystemC Programs", Symposium on Stabilization, Safety and Security (SSS) 2013, 344-347 (Acceptance rate: (23+12)/68=50%)

45.  Ling Zhu and Sandeep Kulkarni. "Brief Announcement: Synthesizing Round Based Fault-Tolerant Programs Using Genetic Programming", Symposium on Stabilization, Safety and Security (SSS) 2013: 370-372 (Acceptance rate: (23+12)/68 = 50%)

46.  M. Demirbas, S. Kulkarni. "Beyond TrueTime: Using AugmentedTime for Improving Google Spanner", LADIS '13: 7th Workshop on Large-Scale Distributed Systems and Middleware, 2013

47.  Murat Demirbas, Serafettin Tasci, Sandeep S. Kulkarni. Maestro: A cloud computing framework with automated locking. ISCC 2012: 833-838

48.  Jingshu Chen, Sandeep S. Kulkarni. "Verification of Stabilizing Programs with SMT Solvers", Symposium on Stabilization, Safety and Security (SSS) 2012:179-182 (Acceptance rate: 31/75=40%)

49.  Yiyan Lin and Sandeep Kulkarni. "Automatic Generation of Graceful Programs", Symposium on Reliable and Distributed Systems (SRDS) 2012:225-230 (Acceptance rate: 28/114=24%)

50.  Jingshu Chen and Sandeep S. Kulkarni. "Application of Automated Revision for UML Models: A Case Study", International Conference on Distributed Systems and Computer Networks  2012: 31-45 (Acceptance rate: 38/97=39%)

51.  Ali Ebnenasir, Reza Hajisheykhi and Sandeep S. Kulkarni. "Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs", International Conference on Distributed Systems and Computer Networks 2012: 91-105 (Acceptance rate: 38/97=39%)

52.  Borzoo Bonakdarpour and Sandeep S. Kulkarni. Active Stabilization. Symposium on Stabilization, Safety and Security (SSS) 2011 77-91 (Acceptance rate: 29/79=36%)

53.  Borzoo Bonakdarpour, Yiyan Lin and Sandeep S. Kulkarni. "Automated addition of fault recovery to cyber-physical component-based models", International Conference on Embedded Software (EMSOFT) 2011:127-136 (Acceptance rate: 27/111=24%) Nominated for best paper award.

54.  Jingshu Chen and Sandeep Kulkarni. "Effectivenss of Transition Systems for Representing Faults", Logical Aspects of Fault-Tolerance, 2011

55.  Jingshu Chen and Sandeep S. Kulkarni. Complexity Analysis of Weak Multitolerance. International Conference on Distributed Computing Systems (ICDCS) 2010: 398-407 (Acceptance rate: 85/585=14%)

56.  Jingshu Chen, Fuad Abujarad and Sandeep S. Kulkarni. Effect of Fairness in Model Checking of Self-stabilizing Programs. On Principles of Distributed Systems (OPODIS) 2010: 135-138 (Acceptance rate: 32/122=26%)

57.  Mahesh Arumugam, Murat Demirbas and Sandeep S. Kulkarni. "Slow Is Fast for Wireless Sensor Networks in the Presence of Message Losses", Symposium on Stabilization, Safety and Security (SSS) 2010: 176-190 (Acceptance rate: 39/90=43%)

58.  Fuad Abujarad and Sandeep S. Kulkarni. "Complexity Issues in Automated Model Revision without Explicit Legitimate States", Symposium on Stabilization, Safety and Security (SSS) 2010: 206-220 (Acceptance rate: 39/90=43%)

59.  Borzoo Bonakdarpour and Sandeep Kulkarni. "Compositional verification of fault-tolerant real-time programs", International Conference on Embedded Software (EMSOFT) 2009: 29-38 (Acceptance rate: 33/106 = 31%) Nominated for best paper award.

60.  Borzoo Bonakdarpour and Sandeep Kulkarni. "On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery", Formal Methods (FM), 2009: 660-675 (Acceptance rate: 45/139=32%)

61.  Fuad S N Jarad and Sandeep Kulkarni. "Multicore Constraint-Based Automated Stabilization", International Symposium on Stabilization, Safety, and Security of Distributed Systems , 2009:47-61 (Acceptance rate: 49/126 = 38%)

62.  Fuad S N Jarad, Borzoo Bonakdarpour and Sandeep Kulkarni. "Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs", Parallel and Distributed Methods in verifiCation (PDMC), 2009

63.  Mahesh Arumugam and Sandeep S. Kulkarni. "ProSe: A Programming Tool for Prototyping of Sensor Networks", Sensor Systems and Software (S-CUBE), pp 158-173, 2009 (Acceptance rate: 16/45 = 35%)

64.  Fuad S N Jarad and Sandeep Kulkarni. "Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance", International Symposium on Reliable Distributed Systems (SRDS), 2009:119-128 (Acceptance rate: 23/104=22%)

65.  Sandeep Kulkarni and Fuad S N Jarad. "Weakest Invariant Generation for Automated Addition of Fault-Tolerance, Logical Aspects of Fault Tolerance (LAFT)", 2009.

66.  Borzoo Bonakdarpour and Sandeep S. Kulkarni. "SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs", Concurrency Theory (CONCUR) 2008: 167-171 (Acceptance rate: tool papers: 2/5=40%)

67.  Borzoo Bonakdarpour, Sandeep S. Kulkarni and Anish Arora. "Disassembling real-time fault-tolerant programs", International Conference on Embedded Software (EMSOFT) 2008: 169-178 (Acceptance rate: 28/110 = 25%)

68.  Bezawada Bruhadeshwar, Sandeep S. Kulkarni and Alex X. Liu. "Symmetric Key Approaches to Securing BGP - A Little Bit Trust Is Enough", European Symposium on Research in Computer Security (ESORICS) 2008: 82-96 (Acceptance rate: 37/168 = 22%)

69.  Borzoo Bonakdarpour and Sandeep S. Kulkarni. "Masking Faults While Providing Bounded-Time Phased Recovery", Formal Methods (FM) 2008: 374-389  (Acceptance rate: 23/106=21%)

70.  Borzoo Bonakdarpour and Sandeep S. Kulkarni. "Revising Distributed UNITY Programs Is NP-Complete", On Principles of Distributed Systems 2008: 408-427 (Acceptance rate: 30/102=29%)

71. Fuad Abujarad and Sandeep S. Kulkarni. "Automated addition of fault-tolerance to SCR toolset, A case study", Assurance in distributed systems and networks, International Conference on Distributed Computing Systems (ICDCS) workshops, 2008

72.  Limin Wang and Sandeep S. Kulkarni. "Authentication in Reprogramming of Sensor Networks for Mote Class Adversaries", Workshop on Parallel and Distributed Real-Time Systems, 2007: 1-8

73.  Limin Wang, Mahesh Arumugam and Sandeep S. Kulkarni. "Authentication for Bulk Data Dissemination in Sensor Networks Using Symmetric Keys", Workshop on Reliability, Availability, and Security, 2007:1-8

74.  Karun N. Biyani and Sandeep S. Kulkarni. "Testing Dynamic Adaptation in Distributed Systems", Workshop on Automated Software Testing (AST) 2007: 51-54

75.  Karun N. Biyani and Sandeep S. Kulkarni. "Mixed-Mode Adaptation in Distributed Systems: A Case Study", ICSE Workshop on Software Engineering for Adaptive and Self-managing systems (SEAMS) 2007: pages 10

76.  Arshad Jhumka and Sandeep S. Kulkarni. "On the Design of Mobility-Tolerant TDMA-Based Media Access Control (MAC) Protocol for Mobile Sensor Networks", International Conference on Distributed Computing and Internet Technology 2007: 42-53

77. Borzoo Bonakdarpour, Sandeep S. Kulkarni and Fuad Abujarad. "Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model", Stabilization, Safety, and Security of Distributed Systems (SSS), 2007: 21-36 (Acceptance rate: 27/64=42%)

78.  Borzoo Bonakdarpour and Sandeep S. Kulkarni. "Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space", International Conference on Distributed Computing Systems (ICDCS) 2007:pages 8 (Acceptance rate: 71/528=13%) (Nominated for best paper award)

79.  Karun Biyani and Sandeep S. Kulkarni. "Concurrency Tradeoffs in Dynamic Adaptations", International Workshop on Assurance in Distributed Systems and Networks, 2006: pages 6

80.  Limin Wang and Sandeep S. Kulkarni. "Sacrificing a Little Coverage Can Substantially Increase Network Lifetime", In The Third Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON), 2006:326-335 (Acceptance rate: 63/243 = 26%)

81.  Limin Wang and Sandeep S. Kulkarni.  "Gappa: Gossip Based Multi-Channel Reprogramming for Sensor Networks", In The International Conference on Distributed Computing in Sensor Systems (DCOSS), 2006:119-134 (Acceptance rate: 33/87 = 38%)

82.  Mahesh Arumugam, Limin Wang and Sandeep S. Kulkarni. "A Case Study on Prototyping Power Management Protocols for Sensor Networks", The 8th International Symposium on Stabilization Safety, and Security of Distributed Systems (SSS), 2006:50-64 (Acceptance rate: 36/155=23%)

83.  Borzoo Bonakdarpour and Sandeep S. Kulkarni. "Automated Incremental Synthesis of Timed Automata", International Workshop on Formal Methods for Industrial Critical Systems (FMICS), 2006: 261-276 (Acceptance rate: 16/47=34%)

84.  Borzoo Bonakdarpour and Sandeep S. Kulkarni. "Towards Reusing Formal Proofs in Verification of Fault-Tolerance", Automated Formal Methods (AFM), 2006

85.  Borzoo Bonakdarpour and Sandeep S. Kulkarni. "Incremental Synthesis of Fault-Tolerant Real-Time Programs", International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2006:122-136 (Acceptance rate: 36/155=23%)

86.  Borzoo Bonakdarpour, Sandeep S. Kulkarni and Fuad S. N. Jarad. "Distributed Synthesis of Fault-Tolerance", International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2006 (Acceptance rate: 36/155=23%)

87.  Mohamed G. Gouda and Sandeep S. Kulkarni and Ehab S. Elmallah. "Logarithmic Keying of Communication Networks", International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2006:314-323 (Acceptance rate: 36/155=23%)

88.  Mahesh Arumugam ­and Sandeep S. Kulkarni. "Self-Stabilizing Deterministic TDMA for Sensor Networks", International Conference on Distributed Computing and Internet Technology, December 2005:69-81 (Acceptance rate: 59/426=14%)

89.  Bezawada Bruhadeshwar and Sandeep S. Kulkarni. "User Revocation in Secure Adhoc Networks", International Conference on Distributed Computing and Internet Technology, December 2005:377-388 (Acceptance rate: 59/426=14%)

90.  Ali Ebnenasir, Sandeep S. Kulkarni and Bonakdarpour, "Revising UNITY Programs: Possibilities and Limitations", International Conference on Principles of Distributed Systems (OPODIS), December 2005:275-290 (Acceptance rate: 30/109=27%)

91.  Limin Wang and Sandeep S. Kulkarni. "Proactive Reliable Bulk Data Dissemination in Sensor Networks", International Workshop on Distributed Algorithms and Applications for Wireless and Mobile Systems (PDCS)", November 2005:773-778

92.  Sandeep S. Kulkarni and Bezawada Bruhadeshwar. "A Family of Collusion Resistant Protocols", International Conference on Network Protocols (ICNP), Boston MA, November 2005:279-288 (Acceptance rate: 36/212=17%)

93.  Y. M. Kim, Anish Arora, V. Kulathumani, Mahesh Arumugam and Sandeep S. Kulkarni. "On the Effect of Faults in Vibration Control of Fairing Structures", In Proceedings of the International Design Engineering Technical Conferences and Computers and Information Engineering Conference (IDETC/CIE), 5th International Conference on Multibody Systems, Nonlinear Dynamics, and Control, SMART-SENS track, September 2005

94.  A. Arora, R. Ramnath, E. Ertin, P. Sinha, S. Bapat, V. Naik, V. Kulathumani, H. Zhang, H. Cao, M. Sridharan, S. Kumar, N. Seddon, C. Anderson, T. Herman, N. Trivedi, C. Zhang, M. Nesterenko, R. Shah, S. Kulkarni, M. Aramugam, L. Wang, M. Gouda, Y. Choi, D. Culler, P. Dutta, C. Sharp, G. Tolle, M. Grimmer, B. Ferriera and K. Parker. "ExScal: Elements of an Extreme Scale Wireless Sensor Network", The International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA), August 2005

95.  Mahesh Arumugam and Sandeep S. Kulkarni. "Tradeoff Between Energy and Latency for Convergecast", In Proceedings of the Second International Workshop on Networked Sensing Systems (INSS), San Diego, CA, June 2005

96.  Sandeep S. Kulkarni and Limin Wang. "MNP: Multihop Network Programming for Sensor Networks", International Conference on Distributed Computing Systems (ICDCS), Columbus OH, June 2005:7-16 (Acceptance rate: 75/543 =14%) Nominated for best paper award

97.  Karun N. Biyani and Sandeep S. Kulkarni. "Building Component Families to Support Adaptation", Design and evaluation of Autonomic Application Software , May 2005:1-7

98.  Ali Ebnenasir and Sandeep S. Kulkarni. "Adding Fault-Tolerance Using Pre-Synthesized Components", Fifth European Dependable Computing Conference", April 2005:72-90 (Acceptance rate: 21/90=23%)

99.  Sandeep S. Kulkarni and Bezawada Bruhadeshwar. "Rekeying and Storage Cost for Multiple User Revocation", The 12th Annual Network and Distributed System Security Symposium (NDSS), February 2005 (Acceptance rate: 16/124=13%)

100.                      Sandeep S. Kulkarni and Bezawada Bruhadeshwar. "Distributing key updates in secure dynamic groups", International Conference on Distributed Computing and Internet Technology, 410-419, December 2004:410-419 (Acceptance rate: 48/211=23%)

101.                      Sandeep S. Kulkarni, Borzoo Bonakdarpour and Ali Ebnenasir. "Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs", International Symposium on Logic Based Program Synthesis and Transformation, (LOPSTR), Verona, Italy, August 2004:36-52 (Acceptance rate: 11/23=48%)

102.                      Sandeep S. Kulkarni and Ali Ebnenasir. "Automated Synthesis of Multitolerance", In the International Conference on Dependable Systems and Networks (DSN), Palazzo dei Congressi, Florence, Italy,  2004:209-218 (Acceptance rate: 83/377=22%)

103.Sandeep S. Kulkarni, Mohamed Gouda and Anish Arora. "Security Instantiation for Mobile Networks", Workshop on Dependability Issues in Wireless Ad Hoc Networks and Sensor Networks, June 2004

104.Sandeep S. Kulkarni and Mahesh Arumugam. "Approximate causal observer", International Workshop on Networked Sensing Systems (INSS), Tokyo, Japan, June 2004:123-128

105.                      Anish Arora, P. Dutta, S. Bapat, V. Kulathumani, H. Zhang, V. Naik, V.  Mittal, H. Cao, M. Demirbas, M. Gouda, Y-R. Choi, T. Herman, S. S.  Kulkarni, U. Arumugam, M. Nesterenko, A. Vora and M. Miyashita. "A line in the sand: A wireless sensor network for target detection, classification, and tracking", Workshop on Cross-Layer Issues in the Design of Tactical Mobile Ad Hoc Wireless Networks, June 2004

106.                      Sandeep S. Kulkarni and Karun N. Biyani. "Correctness of Component-Based Adaptation", 7th International Symposium on Component-Based Software Engineering, UK, Lecture Notes in Computer Science, Vol. 3054, May 2004: 48-57  (Acceptance rate: 25/82 =30%)

107.                      Sandeep S. Kulkarni and Mahesh Arumugam. "TDMA service for sensor networks", International Workshop on Assurance in Distributed Systems and Networks (ADSN), Tokyo, Japan, Proceedings of the International Conference on Distributed Computing Systems (ICDCS) Workshops, 2004:604-609

108.                      Sandeep S. Kulkarni and Mahesh Arumugam. "Transformations for Write-All-With-Collision Model", On Principles of Distributed Systems, 2003:184-197 (Acceptance rate 19/61 = 31%)

109.                      Sandeep S. Kulkarni and Mahesh Arumugam. "Collision free communication in sensor networks", Symposium on Self-stabilization, 2003:17-31

110.                      Sandeep S. Kulkarni, Karun Biyani and Mahesh Arumugam. "Composing Distributed Fault-tolerance Components",  Principles of Dependable Systems, 2003:127-136

111.                      Sandeep S. Kulkarni and Ali Ebnenasir. "Enhancing the fault-tolerance of nonmasking programs", International Conference on Distributed Computing Systems (ICDCS) 2003:441-449 (Acceptance rate: 72/406=18%)

112.                      Gautam Chakrabarti and Sandeep S. Kulkarni. "A modified approach to dynamic source routing in mobile ad-hoc networks", Proceedings of AD-HOC Networks and Wireless (ADHOC-NOW), Toronto Canada, September 2002

113.                      Sandeep S. Kulkarni and Ali Ebnenasir. "The complexity of adding failsafe fault-tolerance", International Conference on Distributed Computing Systems (ICDCS), 2002:337-344 (Acceptance rate: 61/331=18%)

114.                      Sandeep S. Kulkarni and Bezawada Bruhadeshwar. "Reducing the cost of the critical path in secure multicast for dynamic groups", International Workshop on Assurance in Distributed Systems and Networks, 2002:43-48

115.                      Betty Cheng, Laura Dillon, Kurt Stirewalt, Philip McKinley, Sandeep S. Kulkarni and Jaejin Lee. "Automated development and run-time adaptation of interactive distributed applications", Software Design and Productivity Coordinating Group, Workshop on New Visions for Software Design and Productivity, Nashville, TN, 2001

116.                      Sandeep S. Kulkarni, Anish Arora and Arun Chippada. "Polynomial time synthesis of Byzantine Agreement", Twentieth Symposium on Reliable Distributed Systems. 2001:130-140 (Acceptance rate: 21/65=32%)

117.                      Sandeep S. Kulkarni and Ravikant. "Stabilizing causal deterministic merge", Workshop on Self-Stabilization, 2001:183-199

118.                      Anish Arora, Murat Demirbas and Sandeep S. Kulkarni. "Graybox stabilization", The International Conference on Dependable Systems and Networks. 2001:389-400 (Acceptance rate: 53/153=35%)

119.                      Sandeep S. Kulkarni and Anish Arora. "Automating the addition of fault-tolerance", Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000: 82-93

120.                      Anish Arora, Sandeep S. Kulkarni and Murat Demirbas. "Resettable vector clocks", Nineteenth ACM Symposium on Principles of Distributed computing 2000: 269-278 (Acceptance rate: 32/117=27%)

121.                      Sandeep S. Kulkarni, John Rushby and Natrajan Shankar. "A case study in component-based mechanical verification of fault-tolerant programs", Workshop on self-stabilization, 1999:33-40

122.                      Sandeep S. Kulkarni and Anish Arora. "Low cost fault-tolerance in barrier synchronizations", International Conference on Parallel Processing, 1998:132-139 (Acceptance rate: 72:214=33%)

123.                      Anish Arora and Sandeep S. Kulkarni. "Detectors and correctors: A theory of fault-tolerance components",  International Conference on Distributed Computing Systems (ICDCS), 1998: 436-443 (Acceptance rate: 22%) Nominated for best paper award

124.                      Sandeep S. Kulkarni and Anish Arora. "Compositional design of multitolerant repetitive Byzantine agreement", Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 1997:169-183 (Acceptance rate: 26%)

125.                      Sandeep S. Kulkarni and Anish Arora. "Once-and-forall management protocol (OFMP)", International conference on Network Protocols, 1997:87-94 (Acceptance rate: 39%)

126.                      Sandeep S. Kulkarni and Anish Arora. "Compositional design of multitolerant repetitive Byzantine agreement (extended abstract)", Workshop on Self-Stabilization, August 1997: 1-15

127.                      Anish Arora and Sandeep S. Kulkarni. "Designing masking fault-tolerance via nonmasking fault-tolerance (extended abstract)", Fourteenth Symposium on Reliable Distributed Systems, 1995:174-185 (Acceptance rate: 30%)

 

Teaching Experience

 

  • University courses developed
    • Selected Topics in Distributed Systems, CSE 910, Spring 2000
    • Selected Topics in Distributed Systems, CSE 912, Spring 2007
    • Selected Topics in Formal Methods, CSE914, Fall 2012
    • Advanced Topics in Dependability, CSE 890, Fall 2002, Spring 2003, Spring 2003, Fall 2003, Fall 2007
    • Automated Program revision: Spring 2008, Fall 2009, Spring 2009

 

  • University courses taught, in addition to above
    • Operating Systems, CSE 410, Fall 2000, Fall 2001, Fall 2002, Fall 2003, Spring 2006, Fall 2006, Fall 2007, Fall 2008, Fall 2009, Spring 2010, Fall 2010, Fall 2012, Spring 2013, Fall 2014, Spring 2015, Fall 2015, Fall 2016
    • Distributed Systems, CSE 812, Fall 1999, Spring 2001, Spring 2002, Fall 2002, Fall 2003, Spring 2005, Spring 2006, Spring 2008, Spring 2009, Spring 2011, Spring 2012, Spring 2014, Spring 2015, Spring 2017, Spring 2019
    • Discrete Mathematics, CSE 260, Spring 2004, Fall 2004, Fall 2011, Fall 2017, Fall 2018, Fall 2019, Fall 2020
    • Theory of Computation (CSE 860) Spring 2010, Spring 2012, Spring 2014, Spring 2016, Spring 2018, Spring 2020, Spring 2021
    • Computability and Languages, CSE 460: Fall 2010, Fall 2013, Fall 2015

  • Development of Instructional Resources
    • Development of a flipped classroom for CSE 260, Fall 2018, Fall 2020
    • Continuous development of new laboratory exercises/projects for undergraduate and graduate courses, enabling students to gain experience in new technology.
    • Integration of new topics into courses over the years (e.g., Linux kernel internals, security issues in distributed systems, verification techniques for fault-tolerance)

 

 

 

Presentations

 

·         Virtualized Physical Clocks, IIT Bombay, 2017

·         Virtualized Physical Clocks, College of Engineering Pune, 2017

·         Automated Addition of Fault-Tolerance: Presentation to Stony Brook University, November 2011

·         Automated Repair of Embedded Systems, AFOSR Project Review, 2010, 2011 and 2012

·         Automated Program revision, Presentation at University of Iowa, 2009

·         Reprogramming of sensor networks. Presentation at DARPA PI meeting, Tampa Florida, December 2004

·         Automated synthesis of fault-tolerance, Naval Research Laboratory, May 2004

·         Automated synthesis of fault-tolerance, IUPUI, April 2004

·         High performance Computing Center (HPC2), National Superconducting Cyclotron Laboratory, MSU, November 2003

·         Stabilization in loosely-synchronized systems, Seminar on Self-Stabilization, October 2002

·         Self-stabilization in Boeing OEP. Presentation at Boeing, St. Louis. August 2002.

·         Automation of fault-tolerance in the NEST (Networked Embedded Software Technology). Presentation at DARPA PI meeting. Bar harbor, ME, July 2002.

·         Component Frameworks for NEST. Presentation at DARPA PI meeting. NAPA CA, February 2002.

·         Automation of fault-tolerance. Presentation at Oakland University. June 2001.

·         Framework for dependability components. Meeting with AFRL representative. Ohio State University, May 2001.

·         Unified framework for fault-tolerance. Presentation at Wayne State University. October 2000.

·         Design and analysis of fault-tolerant Systems. Presentation at Institute for Computer Applications in Science and Engineering (ICASE), NASA Langley Research Center, Virginia, August 1999.

·         Component based design of fault-tolerance. Presentation at Walchand College of Engineering, Sangli, India, July 1999.

·         Component based design of fault-tolerance: Presentation at Indian Institute of Technology Bombay, India, June 1999.

·         Adding masking tolerance to stabilizing total programs. Seminar on Self-Stabilization, Dagstuhl Castle, Waldern, Germany, August 1998

 

 

Awards and Nominations

  • Departmental Award for Outstanding Research, May 1998
  • Presidential Fellowship, Ohio State University, January 1998.
  • Full scholarship for participation in the International Summer School on Mathematical Methods in Program Development, Marktoberdorf, Germany.
  • Nominated for Withrow Distinguished Scholar (junior) at College of Engineering, Michigan State University
  • Nominated for best paper award in ICDCS 1998, 2005, 2007 and 2010 and EMSOFT 2009

Professional Activities (inside MSU)

  • Advisory Committee (CSE) 2014
  • Graduate Studies Research Committee (CSE): 1999-2003, 2008-2010, 2014-present
  • Curriculum Committee (CSE): 2003-2008 (Chair 2006-2008) , 2010-201
  • Faculty search committee: 2004-2006, 2007-2008 (chair), 2018-2019
  • Engineering Graduate Studies Committee, 2018-present
  • College Rating Committee 2018-2019
  • University Committee on Faculty Tenure: 2002-2007

 

Professional Activities (outside MSU)

  • Editorial board
    • Journal of High Speed Networking, 2005-present
  • Guest Editor
    • Theoretical Computer Science, Special issue on Stabilization Safety and Security
  • Steering Committee Member
    • Symposium on Reliable Distributed Systems (SRDS)
  • General Chair 
    • Symposium on Stabilization Safety and Security (SSS) 2020
  • Program Chair
    • Workshop on Assurance in Distributed Systems and Networks, 2005
    • International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2008
    • Symposium on Reliable Distributed Systems (SRDS) 2018
  • Vice chair
    • Workshop on Assurance in Distributed Systems and Networks, 2004
  • Publication chair
    • International Conference on Distributed Computing Systems 2003.
  • Track Chair
    • International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2009,
    • International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2010
  • Posters Chair
    • SenSys 2004
  • Program committee member
    • International Conference on Distributed Computing Systems 2001, 2003, 2004, 2006, 2008, 2009, 2010, 2011
    • IEEE Workshop on Assurance in Distributed Systems and Networks, 2006-2011
    • IEEE International Conference on Networking, Sensing and Control, 2006
    • International conference on network protocols 2006-2011, 2014
    • Trident 2006, 2007, 2008, 2009
    • IEEE International Conference on Networking, Sensing and Control, 2006
    • First International Workshop on Information Assurance in Distributed Systems, 2005
    • The Storage Security and Survivability (StorageSS) Workshop, 2005
    • International Workshop on Distributed Algorithms and Applications for Wireless and Mobile Communication Systems, 2005
    • Workshop on Self-Stabilization, 2001
    • International Workshop on Distributed Algorithms and Applications for Wireless and Mobile Communication Systems, 2005
    • International program committee of 2006 ICNSC: IEEE International Conference on Networking, Sensing and Control, 2006.

 

  • Journal referee  (among others)
    • IEEE Transactions on Computers
    • IEEE Transactions on Software Engineering
    • IEEE Transactions on Knowledge and Data Engineering
    • IEEE Transactions on Parallel and Distributed Systems
    • Information Processing Letters
    • Chicago Journal of Theoretical Computer Science
    • Journal of Parallel and Distributed Computing
    • Computer Networks
    • ACM Transactions on Computer Systems
    • Journal of High Speed Networking

 

  • Conference referee (among others)
    • International Conference on Distributed Computing Systems (ICDCS)
    • International Conference on Parallel Processing (ICPP)
    • International Conference on Network Protocols (ICNP)
    • Dependable Systems and Networks (DSN)
    • International Workshop on Distributed Algorithms (WDAG)
    • Symposium on Reliable Distributed Systems (SRDS)
    • International Conference on High Performance Computing (HiPC)
    • International Conference on Programming Concepts and Methods (PROCOMET)
    • Symposium on Self-stabilization (SSS)

  • Reviewer for the funding agency Physical Sciences of the Netherlands Organization for Scientific Research (NWO)

 

  • Reviewer for several NSF panels

 

 

References

 

·         Available upon request