Winter 2012, CS 295 Presentation Schedule



Presentation Slides


Week 1. Introduction + Foundations of Dynamic Analysis I -- Path Profiling

Jan. 9 (Mon)

1.     Introduction and overview of dynamic analysis (Harry)

Class overview

Jan. 11 (Wed)

1.     Continuous Path and Edge Profiling (Yingyi)

2.     Preferential Path Profiling: Compactly Numbering Interesting Paths (Vijay)



Paper presentation selection due on Friday

Week 2. Memory Leak Analysis I

Jan. 16 (Mon)

University Holiday- No class


Jan. 18 (Wed)

1.     Cork: Dynamic memory leak detection for garbage-collected language (Jim)

2.     Bell: Bit-Encoding Online Memory Leak Detection (Chen C.)



 Group formation

Week 3. Memory Leak Detection + Software Bloat Analysis I

Jan. 23 (Mon)

1.     Low-overhead memory leak detection using adaptive statistical profiling (Jim)

2.     Efficiently and Precisely Locating Memory Leaks and Bloat (He)




Jan. 25 (Wed)

1.     Chameleon: Adaptive Selection of Collections (Yingyi)

2.     Brainy: Effective Selection of Data Structures (Xia)




Week 4. Foundations of Dynamic Analysis II -- Profiling Calling Contexts

Jan. 30 (Mon)

1.     Probabilistic Calling Contexts (Wei)

2.     Precise Calling Context Encoding (Rahul)



Project topic 

Feb. 1 (Wed)

1.     Breadcrumbs: Efficient Context Sensitivity for Dynamic Bug Detection Analyses (Vijay)

2.     Accurate, Efficient, and Adaptive Calling Context Profiling (Brian)


Adaptive Calling Context Profiling

Week 5. Project Proposal + Foundations of Dynamic Analysis III -- Dynamic Slicing

Feb. 6 (Mon)

Project proposal presentation



Feb. 8 (Wed)

1.     Cost Effective Dynamic Program Slicing (Wei)

2.     Pruning Dynamic Slices With Confidence (David)

 Cost-effective dynamic slicing

Pruning slices

 Proposal due

Week 6. Heap Analysis + Memory Leak Analysis II

Feb. 13 (Mon)

1.     QVM: An Efficient Runtime for Detecting Defects in Deployed Systems (Chen C.)

2.     Precise Memory Leak Detection for Java Software using Container Profiling (Chen L.)


Container profiling


Feb. 15 (Wed)

1.     GC Assertions: Using the Garbage Collector to Check Heap Properties (Wei)

2.     Asynchronous Assertions (Markus)

GC Assertions

Asynchronous Assertions


Week 7. Software Reliability I -- Bug Detection and Diagnosis

Feb. 20 (Mon)

University Holiday- No class



Feb. 22 (Wed)

1.     Bug Isolation via Remote Program Sampling (Vijay)

2.     Simplifying and Isolating Failure-Inducing Input (Rahul)

Statistical debugging

Delta debugging

Week 8. Software Bloat Analysis II + Reliability II + Security

Feb. 27 (Mon)

1.     JOLT: Lightweight Dynamic Analysis and Removal of Object Churn (He)

2.     Finding Low-Utility Data Structures (Xia)


Low-utility data structure

 Harry is out of town

Feb. 29 (Wed)

1.     DieHard: Probabilistic Memory Safety for Unsafe Languages (Brian)

2.     DieHarder: Securing the Heap (Markus)




Week 9. Optimizing Compilers

Mar. 5 (Mon)

1.     Dynamo: A Transparent Dynamic Optimization System (David)

2.     Trace-based Just-in-Time Type Specialization for Dynamic Languages (Chen L.)




Mar. 7 (Wed)

1.     Dynamic Feedback: An Effective Technique for Adaptive Computing (Yingyi)

2.     A Framework for Reducing the Cost of Instrumented Code (Markus)

Dynamic feedback

Arnold-Ryder Instrumentation Framework 


Week 10. Project Presentation Week

Mar. 12 (Mon)

Project Presentation (I)



Mar. 14 (Wed)

Project Presentation (II)


Final report due on Friday

Acknowledgement: this webpage was adapted from Prof.  Feng Qin's CSE 755 schedule page at Ohio State.