Publication (MSU)

Please check here for most recent Publication

  • M. Roohitavaf, L. Zhu, S. S. Kulkarni and Subir Biswas. "Synthesizing customized network protocols using genetic programming", GECCO (Companion), 2018.


  • M. Roohitavaf, L. Zhu, S. S. Kulkarni and Subir Biswas. "NetSynth: a framework for synthesizing customized network protocols using genetic programming", GECCO (Companion), 2018.


  • K. Deb, L.Zhu and S.S. Kulkarni. "Handling Multiple Scenarios in Evolutionary Multi-Objective Numerical Optimization", IEEE Transactions on Evolutionary Computation , 2017.


  • L. Zhu, J. Chen and S. S. Kulkarni. "Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms", Stabilization, Safety, and Security of Distributed Systems (SSS 2015), 2015.


  • L. Zhu and S. S. Kulkarni. "Using Model Checking Techniques For Evaluating the Effectiveness of Evolutionary Computing in Synthesis of Distributed Fault-Tolerant Programs", Proceedings of the 17th annual conference companion on Genetic and evolutionary computation (GECCO 2015), 2015 ACM.


  • L. Zhu and S. S. Kulkarni. "Using genetic programming to identify tradeoffs in self-stabilizing programs: A case study", In Proceedings of the 2015 IEEE 35th International Conference on Distributed Computing Systems Workshops, (ICDCSW 2015), 2015 IEEE.


  • K. Deb, L. Zhu and S. S. Kulkarni. "Multi-Scenario, Multi-Objective Optimization Using Evolutionary Algorithms: Initial Results", IEEE Congress on Evolutionary Computation (CEC 2015), 2015 IEEE.


  • R. Hajisheykhi, L. Zhu, M. Arumugam, M. Demirbas and S. S. Kulkarni, "Slow is Fast" for Wireless Sensor Networks in the Presence of Message Losses, Journal of Parallel and Distributed Computing (JPDC), 2015 Elsevier.


  • L. Zhu, K. Deb and S. S. Kulkarni. "Multi-Scenario Optimization Using Multi-Criterion Methods: A Case Study on Byzantine Agreement Problem", IEEE Congress on Evolutionary Computation (CEC 2014) , 2014 IEEE.


  • L. Zhu and S. S. Kulkarni. "Synthesizing Round Based Fault-Tolerant Programs using Genetic Programming", Stabilization, Safety, and Security of Distributed Systems (SSS 2013), 2013.