Laboratory for Software Design

Got a question?

Got a question or comment? Contact us at (515) 294-6168 or hridesh@cs.iastate.edu.

Latest News

Dec 16, 2007: Robert's paper on Nu: a Dynamic Aspect-Oriented Intermediate Language Model and Virtual Machine for Flexible Runtime Adaptation accepted for AOSD 2008.

Dec 13, 2007: Youssef's paper on Slede: a domain-specific verification framework for sensor network security protocols accepted for WiSec 2008.

Nov 10, 2007: VMIL '08 was accepted as a co-located workshop with AOSD '08.

Nov 7, 2007: Mahantesh Hosamani successfully defended his M.S. Thesis on bootstrapping trust in service-oriented architectures.

Aug 25, 2007: Mahantesh Hosamani and Harish Narayanappa's submission accepted for NWeSP '07: the 3rd International Conference on Next Generation Web Services Practices.

Aug 15, 2007: Tyler Sondag and Viswanath Krishnamurthy's submission accepted for PLOS 2007.

Aug 13, 2006: Welcome New Member: John Altidor

Aug 2, 2007: Hridesh Rajan's submission accepted for PLoP 2007.

Jul 26, 2007: Leavens, Rajan and Basu awarded an NSF grant to revitalize JML.

June 29, 2007: Mahantesh Hosamani and Harish Narayanappa's submission accepted for the 2nd International Workshop on Service Oriented Software Engineering (IW-SOSWE 2007), to be held in conjunction with ESEC/FSE 2007.

June 12, 2007: Youssef Hanna's submission accepted for the doctoral symposium at ESEC/FSE 2007.

April 1, 2007: Professor Kevin Sullivan will be visiting us on April 12, 2007.

March 13, 2007: Meet us at the the first International Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms (VMIL 2007) at AOSD 2007, Vancouver, BC, Canada

March 12, 2007: Robert Dyer's submission accepted for the ICSE 2007 student volunteer (28 accepted out of 125 applications).

March 1, 2007: Professor Prem Kumar Devanbu will be visiting us on March 21 and 22, 2007.

Feb 26, 2007: Alyson Young's poster selected for inclusion in the Research in the Capitol event on March 5 in the State Capitol Rotunda in Des Moines, IA.

Feb 22, 2007: Laboratory for Software Design receives funding from the Center for Information Protection (CIP)

Dec 06, 2006: Hridesh Rajan to Co-Chair the First International Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms (VMIL 2007)

Nov 30, 2006: Robert Dyer selected for Honorable Mention in the Computing Research Association's Outstanding Undergraduate Award for 2007

Nov 14, 2006: Welcome New Members: Lada Suvorov, Alyson Young, and Mahantesh Hosamani

Oct 11, 2006: Robert Dyer, Youssef Hanna and Harish Narayanappa awarded travel fellowship to attend ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE) 2006

Oct 2, 2006: Robert Dyer, Youssef Hanna and Harish Narayanappa's submissions are accepted for the Inspirations workshop at FSE 2006.

Sep 18, 2006: Accepted - Juri Memmert, Hridesh Rajan, "Osiris: Generating Concern Models from Source Code", To appear as a short poster paper in the proceedings of Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE 2006), Portland, OR.

Sep 18, 2006: Accepted - Youssef Hanna, Hridesh Rajan, "SLEDE: Event Based Specification of Sensor Network Protocols", To appear as a short poster paper in the proceedings of Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE 2006), Portland, OR.

Sep 18, 2006: Accepted - Robert Dyer, Harish Narayanappa, Hridesh Rajan, "Nu: Preserving Design Modularity in Object Code", To appear as a short poster paper in the proceedings of Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE 2006), Portland, OR.

Sep 11, 2006: Rakesh B. Setty joins the research group as a graduate research assistant.

Sep 4, 2006: Our article on the role of aspects in modeling product line variabilities is accepted for Aspect-oriented Product Line Engineering (AOPLE' 06), a workshop associated with OOPSLA' 06.

Sep 1, 2006: Rajan and Zhang awarded an NSF grant to study specification and verification challenges for Security Protocols in Sensor Networks

Aug 24, 2006: Professor Gail Murphy will be visiting us on Dec 6 and 7, 2006.

Older News >>