MURI Review Meeting
July 22-23, 2003
Pittsburgh, PA

Meeting Home || Agenda || Registration || Hotels || Maps

Venue

Newell-Simon Hall, Room 1507
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, Pennsylvania

Agenda

Agenda in PDF format

The online agenda includes links to the slides used by speakers in their presentations. Additional links will be added as the slides become available.


Tuesday, July 22

0800-0830 Registration
0830-0845 Welcome Remarks
G. Toth and R. Wachter
0845-0915 Assuring Software Quality Overview
E. Clarke
0915-0930 Overview of UW Activities
T. Reps

Slides: [PPT]

0930-1000 Protecting COTS From the Inside Overview
S. Jha

Slides: [PPT] [HTML] [PDF]
1000-1020 BREAK
1020-1115 WiSA Integrated Project Demos

Binary Code Generation, H. Wang
Dynamic Buffer Overflow Detection, H. Lin
Malicious Code Obfuscation & Detection, M. Christodorescu
Static Buffer Overflow Detection, V. Ganapathy
Value Set Analysis, G. Balakrishnan

Slides: [PPT] [HTML] [PDF]
1115-1200 Grammatech Support & Transition of CIP/URI R&D
T. Teitelbaum and D. Melski
1200-1315 LUNCH
1315-1340 Malware Detection Testing
M. Christodorescu

Slides: [PPT] [HTML] [PDF]
1340-1405 Analyzing Memory Accesses in Object Code
G. Balakrishnan

Slides: [PPT] [HTML] [PDF]
1405-1430 Static Analysis to Detect Buffer Overruns
V. Ganapathy

Slides: [PPT] [HTML] [PDF]
1430-1500 Specification-Based Monitoring
J. Giffin and B. Miller

Slides: [PPT] [HTML] [PDF]
1500-1515 BREAK
1515-1600 CMU Integrated Project Demos

The demo session was omitted due to time.
1600-1625 Explaining Errors
A. Groce

Slides: [PPT]

1625-1650 Verification of Embedded Systems
D. Kroening
1650-1715 Symbolic Model Checking of Software
N. Sinha

Slides: [PPT]

1715-1800 Government Meeting (Government only)

Wednesday, July 23

0830-0900 Modular Verification of C Components
S. Chaki

Slides: [PPT]

0900-0930 Trust Management via Weighted Pushdown Systems
T. Reps

Slides: [PPT]

0930-1000 Combating Spyware
H. Wang and L. Kruger

Slides: [PPT] [HTML] [PDF]

1000-1030 BREAK
1030-1100 Abstraction Refinement for 3-Valued-Logic-Based Program Analysis
A. Loginov

Slides: [PPT]

1100-1130 A New Approach to Abstraction of Numerical Quantities
D. Gopan

Slides: [PPT]

1130-1200 Creating Generic Versions of Java Procedures
A. Mulhern

Slides: [PPT]

1200-1315 LUNCH
1315-1345 Coming Attractions
S. Jha and E. Clarke

This talk was omitted due to time.
1345-1445 Government Meeting (Government only)
1445-1530 Feedback and Open Discussion (All)

Meeting Home || Agenda || Registration || Hotels || Maps


This page modified October 15, 2003.