CS 851:
New Paradigms of Program Execution
Spring, 2005
Schedule
|
Date |
Paper/discussion |
Responsibility |
Comments |
|
|
Jazz:
A Tool for Demand Driven Structural testing, Misurda, Clause, Reed,
Gandra, Childers and Soffa, Compiler
Conference, 2005 |
Nguyet Nguyen |
|
|
|
Retargetable and Reconfigurable Software Dynamic
Translation: Scott, Kumar, Velusamy, Childers, Davidson, Soffa, CGO 2003 |
Wei Hu |
|
|
|
Safe
Virtual Execution Using Software Dynamic Translation: Kevin Scott and
Jack Davidson, Proceedings of the 2002 Annual Computer Security
Applications Conference |
Michael Crane |
|
|
|
MOPS:
an Infrastructure for Examining Security Properties of Software: Hao Chen
and David Wagner CCS’02, November 18–22, 2002, |
Hridesh Rajan |
|
|
|
A
Taxonomy of Computer Program Security Flaws: Carl Landwehr, Alan Bull,
John McDermott and William Choi ACM Computing Surveys, vol
26, No. 3, Sept. 1994 |
Wei Le |
|
|
|
Static
analysis of Executables to Detect Malicious Patterns: Christodorescu, Jha 12th USENIX Security Symposium,
|
Elizabeth Strunk |
|
|
|
Intrusion
Detection via Static Analysis by
David Wagner and Drew Dean 1997 IEEE Symposium on
Security and Privacy. 1997 |
Abi Adedeji |
|
|
|
Enforceable
Security Policies: Fred Schneider,
ACM Transactions on Information and Systems Security |
Na Zhang |
|
|
|
Discussion of projects |
|
|
|
|
Abstracting Stack to
Detect Obfuscated Calls in Binaries Arun Lakhotia
and Eric Uday Kumar Proceedings of the fourth
IEEE International workshop on Source Code analysis and Manipulation
(SCAM’04) |
|
|
|
|
Imposing Order on Program
Statements to Assist Anti-virus Scanners; Arun Lakhotia and Moinuddin Mohammed, Proceedings
of the 11th Working conference on Reverse engineering
(WCRE’04) |
|
|
|
April 1 |
Testing
Malware Detectors by Mihai Christodorescu and Somesh Jha, ISSTA’04 |
Kelli-Ann Smith |
|
|
April 1 |
Automatic
discovery of API-Level Exploits by V. Ganapathy, S. Seshia, Somesh Jha, Thomas
Reps, Randall Bryant, ICSE’05 |
Apala Guha |
|
|
April 8 |
Building
Intrusion Tolerant Software T. Zhang, X. Zhuang, S.
Pande, CGO 2005 |
Wei Lei |
|
|
April 8 |
Continuous
Program Optimization: A Case Study
by T. Kistler and M. Franz,
TOPLAS, Vol 25, No 4, pp 500-548, 2003 |
Eric Humeway |
|
|
April 15 |
Dynamo:
A Transparent dynamic Optimization System by Vasanth Bala, Evelyn
Duestewald and Sanjeev Banerjia PLDI, 2000 An Infrastructure for Adaptive Dynamic Optimization
by Derek Bruening, timothy Garnett and Saman Amarasinghe, CGO, 200 Project
Status |
Dan Williams |
|
|
April 22 |
Adaptive
Optimization in the Jalapeno JVM by Matthew Arnold,
Stephen Fink, David Grove, Michael Hind andPeter Sweeney, OOPLSA, 2000 |
Jing Yang |
|
|
April 22 |
Fast
Searches for Effective Optimization Phase Sequences, Prasad Kulkarni, Stephen Hines (Florida State
University), Jason Hiser (University of Virginia), David Whalley (Florida
State University), Jack Davidson (University of Virginia), and Douglas Jones
(University of Illinois) |
Julie Parent |
|
|
April 29 |
Semantics-Aware
Malware Detection by Mihai Christodorescu, Somesh Jha, Sanjit Seshia,
Dawn Song and Randal Byrant |
|
|
|
May 6
|
Project presentations |
|
|
|
May 9 |
Project presentations |
|
|
http://www.cs.virginia.edu/~soffa/cs851