Winter 2012, CS 295 Presentation Schedule

Date	Papers	Presentation Slides	Due
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)	PEP-Yingyi PPP-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.)	Cork Sleigh	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)	SWAT Hound
Jan. 25 (Wed)	1. Chameleon: Adaptive Selection of Collections (Yingyi) 2. Brainy: Effective Selection of Data Structures (Xia)	Chameleon Brainy
Week 4. Foundations of Dynamic Analysis II -- Profiling Calling Contexts
Jan. 30 (Mon)	1. Probabilistic Calling Contexts (Wei) 2. Precise Calling Context Encoding (Rahul)	PCC PCCE	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)	Breadcrumbs 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.)	QVM 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)	JOLT 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)	DieHard DieHarder
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.)	Dynamo TraceMonkey
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.