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, Self-stabilization, 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

         1999-present, Assistant/Associate 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

 

  • 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

         Reza Hajishey, past comprehensive examination

         Yiyan Lin, past comprehensive  examination

         Ling Zhu, past qualifier examination

         Mohammad Roohitaf, new student

 

Graduated PhD students:

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

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

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

         Limin Wang, Energy Efficient Reprogramming for Sensor Networks, 2007

         Karun Biyani, Assurance of Adaptation in Distributed Systems, 2007

         Umamaheshwaran Arumugam,  ^Rapid Prototyping and Quick Deployment of Sensor Networks'',  2006

         Bezawada Bruhadeshwar, Key Management in Group Communication, 2005

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

 

MS students

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

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

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

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

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

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

         Ravikant, MS Project, Stabilizing Causal Deterministic Merge, 2001

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

 

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.      Reza Hajisheykhi, Ling Zhu, Mahesh Arumugam, Murat Demirbas and Sandeep S. Kulkarni. "Slow is Fast for Wireless Sensor Networks in the Presence of Message Losses", Journal of Parallel and Distributed Systems (JPDC), to appear (Impact factor: 1.12)

2.      Fuad Abujarad, Yiyan Lin, Borzoo Bonakdarpour, and Sandeep Kulkarni. "Complexity Issues in Automated Model Repair Without Explicit Legitimate States", Distributed Computing (DC), to appear (Impact factor 0.627)

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

4.      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)

5.      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)

6.      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)

7.      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)

8.      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)

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

10.  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)

11.  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)

12.  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)

13.  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)

14.  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)

15.  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)

16.  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)

17.  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)

18.  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)

19.  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)

20.  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)

21.  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)

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

 

23.  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)

24.  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)

25.  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)

26.  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)

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

28.  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)

29.  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)

30.  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)

31.  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)

32.  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)

33.  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)

34.  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.)

35.  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)

36.  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

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

38.  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)

39.  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)

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

41.  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.      Reza Hajisheykhi, Ali Ebnenasir and Sandeep S. Kulkarni, "A Theory of Integrating Tamper Evidence with Stabilization", Fundamentals of Software Engineering, 2015 to appear (Acceptance rate: 23%)

2.      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%)

3.      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%)

4.      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%)

5.      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%)

6.      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 

7.      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

8.      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%)

9.      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%)

10.  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%)

11.  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%)

12.  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%)

13.  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%)

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

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

16.  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%)

17.  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%)

18.  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%)

19.  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%)

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

21.  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.

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

23.  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%)

24.  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%)

25.  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%)

26.  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%)

27.  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.

28.  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%)

29.  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%)

30.  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

31.  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%)

32.  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%)

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

34.  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%)

35.  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%)

36.  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%)

37.  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%)

38.  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%)

39.  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

40.  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

41.  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

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

43.  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

44.  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

45. 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%)

46.  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)

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

48.  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%)

49.  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%)

50.  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%)

51.  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%)

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

53.  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%)

54.  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%)

55.  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%)

56.  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%)

57.  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%)

58.  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%)

59.  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

60.  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%)

61.  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

62.  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

63.  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

64.  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

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

66.  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%)

67.  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%)

68.  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%)

69.  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%)

70.  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%)

71.    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

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

73.  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

74.  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%)

75.  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

76.  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%)

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

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

79.  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%)

80.  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

81.  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%)

82.  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

83.  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

84.  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%)

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

86.  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%)

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

88.  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%)

89.  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

90.  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%)

91.  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

92.  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%)

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

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

95.  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
    • Advanced Operating 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
    • Discrete Mathematics, CSE 260, Spring 2004, Fall 2004, Fall 2011
    • Theory of Computation (CSE 860) Spring 2010, Spring 2012, Spring 2014
    • Computability and Languages, CSE 460: Fall 2010, Fall 2013

  • Development of Instructional Resources
    • 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

 

         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
  • Curriculum Committee (CSE): 2003-2008 (Chair 2006-2008) , 2010-present
  • Faculty search committee: 2004-2006, 2007-2008 (chair)
  • 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
  • Program Chair
    • Workshop on Assurance in Distributed Systems and Networks, 2005
    • International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2008
  • 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\