Software Systems Seminar, Summer 2008

Wednesdays, 2-3pm

Nature	Date	Presenter	Papers
Paper discussion focused on the first paper.	July 2	Taeho slides	Titles Authors Automatic Patch-Based Exploit Generation David Brumley, Pongsin Poosankam, Dawn Song, Jiang Zheng Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, Dawn Song Creating Vulnerability Signatures Using Weakest Pre-conditions David Brumley, Hao Wang, Somesh Jha, Dawn Song A Decision Procedure for Bit-Vectors and Arrays Vijay Ganesh, David L. Dill
!Thursday! Minamide will be visiting.	July 17		Titles Authors
Cancelled.	July 30		Titles Authors
	August 13		Titles Authors
	August 27		Titles Authors
	September 10		Titles Authors
Instruction begins September 25	September 24		Titles Authors

Coordinated by Earl Barr

Past Seminars