Instructor: Darko Marinov
Met TR 2-3:15 in 1302 SC
A similar course was offered in Spring 2005 and Fall 2005. Those offerings were more research-project-oriented, with a number of students publishing papers based on their course projects from both Spring 2005 and Fall 2005. This offering had more lectures, but still two students published three papers.
Student Papers
Two students published two full papers and one tool paper based on the
course projects:
ReBA: Refactoring-aware Binary Adaptation of Evolving Libraries
International Conference on Software Engineering
(ICSE 2008),
pages 441-450, Leipzig, Germany, May 2008
ReBA: A Tool for Generating Binary Adapters for Evolving Java Libraries
(ICSE Companion 2008),
pages 963-964, Leipzig, Germany, May 2008
AutoISES: Automatically Inferring Security Specifications and
Detecting Violations
Proceedings of the 17th USENIX Security Symposium
(USENIX Security 2008),
pages 379-394, San Jose, CA, July-August 2008