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