Tuesday, April 13, 2010
Paradyn Technical Sessions and Demonstrations
Fluno Center
601 University Ave

Technical Sessions, Rm. 221

8:45am - 9:00am	Hot Topics in Dyninst Development: Program Provenance: Guessing the Source Compiler from Binary Code abstract Nate Rosenblum, University of Wisconsin ppt pdf
9:00am - 9:15am	Hot Topics in Dyninst Development: Automatically Adapting Sampling Rates to Minimize Overhead abstract Geoffrey Stoker, University of Maryland ppt pdf
9:15am - 9:45am	Binary Concolic Execution for Automatic Exploit Generation abstract Todd Frederick, University of Wisconsin ppt pdf
9:45am - 10:15am	Dynamic Floating-Point Cancellation Detection abstract Michael Lam, University of Maryland ppt pdf
10:15am - 10:45am	Break
10:45am - 11:30am	Simplifying the Usage of Performance Evaluation Tools: Experiences with TAU and DyninstAPI abstract Sameer Shende, University of Oregon ppt pdf
11:30am - 12:00pm	Upcoming Dyninst Features abstract Bill Williams, University of Wisconsin ppt pdf
12:00pm - 12:15pm	Technical Session Closing Remarks Bart and Jeff
12:15pm - 1:30pm	Lunch

Demonstrations, Rm. 221

1:30pm - 2:00pm	DyninstAPI on VXWorks Ray Chen, University of Maryland
2:00pm - 2:30pm	Binary Rewriting in Performance Analysis Tools Matthew Legendre, University of Wisconsin
2:30pm - 3:00pm	Malware Analysis with Dyninst Kevin Roundy, University of Wisconsin
3:00pm - 3:30pm	Break
3:30pm - 4:00pm	Slicing and Symbolic Evaluation Drew Bernat, University of Wisconsin
4:00pm - 4:30pm	Blame Analysis Nick Rutar, University of Maryland
4:30pm - 5:00pm	Load Balancing with Libra Todd Gamblin, Lawrence Livermore National Labs