Poster Session for CS 294-32: Dynamic Program Analysis, Testing, and Debugging

 

When: 5/7/2009 1-3 pm (Thursday)

Where: 5th Floor, Soda Hall

Recommended Size: 36 inch X 30 inch

Poster Titles: 

1. Jacob Burnim and Sudeep Juvekar "Finding Algorithmic Complexity Attacks using Symbolic Execution"
2. Nicholas Jalbert and Christos Stergiou "Toward a Framework for Systematic Active Testing"
3. Joel Galenson "Inferring Likely Atomic Code Blocks"
4. Prateek Saxena and Steve Hanna "Systematic Discovery of JavaScript Validation Vulnerabilities"
5. Matthew Finifter and Joel Howard Willis Weinberger "JavaScript Heap Inspection for ADsafe Isolation Violations"
6. Chang-Seo Park and Rhishikesh Limaye "Approximate Record and Faithful Replay of Parallel Programs"
7. Pallavi Joshi "Studying communication deadlocks in real-life Java applications"
8. Erika Chin "Efficient Character Level Taint Tracking for Java"

9. Bernardo de Seabra TBD

10. Eric Hernandez TBD

 

Project Report due on 11th May.  The report should be at most 6 page in ACM SIGPLAN format.