CS 8803 Topics in Program Analysis, Fall 2019

Time	Student(s)	Topic
4:30 - 4:45	Yechan and Youngsuk	CRUX: Memory Safety Bug Detector for Unsafe Rust
4:45 - 5:00	Yuanbo and Shuo	Validating Debugging Information
5:00 - 5:15	Myeongsoo	Program Debloating via Stochastic Optimization
5:15 - 5:30	Roland	Internal Type-Theoretic Complexity Analysis
5:30 - 5:45	Shweta and Jacob	Javascript Engines: Finding the performance loopholes

Time

Student(s)

Topic

4:30 - 4:45

Yechan and Youngsuk

CRUX: Memory Safety Bug Detector for Unsafe Rust

4:45 - 5:00

Yuanbo and Shuo

Validating Debugging Information

5:00 - 5:15

Myeongsoo

Program Debloating via Stochastic Optimization

5:15 - 5:30

Roland

Internal Type-Theoretic Complexity Analysis

5:30 - 5:45

Shweta and Jacob

Javascript Engines: Finding the performance loopholes

Time	Student(s)	Topic
4:30 - 4:45	Fang	SMT Formula Simplification
4:45 - 5:00	Gabriel	Rewriting Pure Multiply-Recursive Functions
5:00 - 5:15	Seulbae and Fan	Inlining Concolic Execution for Hybrid Fuzzing
5:15 - 5:30	Xinyu	Building Scalable Dynamic Program Slicing Tool for Software Debugging: a Roadmap
5:30 - 5:45		Closing