Software Design Lab

The mission of the SDLab is to extend the boundaries of automation in analysis and design of software systems, thereby increasing software dependability. Towards this end, we are interested in both theoretical and practical aspects of automating the development of dependable software systems.


September 2013 - The paper "Verifying the Livelock Freedom of Rings and Chains" accepted in SSS 2013.

April 2013 - Congratulations to Alex Klinkhamer! Alex's paper "On the Complexity of Adding Convergence" won the best paper award at FSEN 2013.

April 2012 - The paper entitled "A Lightweight Method for Automated Design of Convergence in Network Protocols" accepted in the ACM Transactions on Autonomous and Adaptive Systems. 

February 2012 - The paper entitled " Local Reasoning for Global Convergence of Parameterized Rings" accepted in the 32nd International Conference on Distributed Computing Systems - ICDCS 2012. 

January 2012 - The paper entitled "Swarm Synthesis of Convergence for Symmetric Protocols" accepted in the Ninth European Dependable Computing Conference - EDCC 2012. 

June 2011 - Dr. Ebnenasir receives an NSF award in support of the research on automated design of self-stabilizing systems. This project will fund one PhD student and two hourly-paid undergraduate students, and is expected to take three years.

April 2011 - The paper entitled "Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes" got accepted in the 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE), 2011.

April 2011 - Congratualtions to Aly Farahat! His application for attending the first Summer School on Formal Techniques got accepted! This is an NSF-sponsored summer school.

February 2011 - The paper entitled "Lightweight Methods for Automated Design of Self-Stabilization" accepted in the PhD forum of IPDPS 2011. 

December 2010 - The paper entitled "A Lightweight Method for Automated Design of Convergence" to appear in IEEE International Parallel and Distributed Processing Symposium - IPDPS.

Sep. 2010 - Congratulations to Aly Farahat for winning an NSF Scholarship for attending SSS 2010!

March 2010 - The paper entitled "Feasibility of Stepwise Design of Multitolerant Programs" was accepted for publication in the ACM Transactions on Software Engineering and Methodology (TOSEM)

Aug. 2009 - Dr. Ebnenasir was awarded an NSF grant for work on the model checking of PGAS applications