If you are citizen of an European Union member nation, you may not use this service unless you are at least 16 years old.
You already know Dokkio is an AI-powered assistant to organize & manage your digital files & messages. Very soon, Dokkio will support Outlook as well as One Drive. Check it out today!

Schedule

Page history last edited by Koushik Sen 14 years, 5 months ago

Date	Lecture Slides	Homework	Reading Materials	Reviews
8/26	Introduction lecture01.pptx		None
8/31	No class
9/2	No class
9/7	Holiday
9/9	Korat lecture02-korat.ppt		Korat.pdf	Korat Reviews
9/14	Concolic Testing lecture03-concolic.pptx	CUTE-Homework (due on 9/28)	dart.pdf cute.pdf	DART and CUTE reviews
9/16	Race detection lecture04-race.ppt		hybrid.pdf raced.pdf	Race Reviews
9/21	Atomicity analysis		atomizer.pdf	Atomizer Reviews
9/23	Atomicity analysis (continued) lecture05-atomicity.ppt
9/28	Deadlock analysis lecture06-deadlock.pptx		deadlock.pdf	Deadlock Reviews
9/30	Partial Order Reduction in Model Checking lecture07-dpor.ppt		dpor.pdf	Partial Order Reduction Reviews Partial Order Reduction Homework
10/5	Iterative Context Bounding for Systematic Testing of Multithreaded Programs lecture08-chess.ppt		chess.pdf	Iterative Context Bounding Reviews
10/7	Delta Debugging lecture09-delta.ppt	Project Proposal (due 10/9)	delta.pdf	Delta Debugging Reviews
10/12	Project Presentation
10/14	Attend lecture	RaceFuzzer Homework (due 10/26)	attend lecture	none
10/19	Abstract Interpretation		AbramskiAI.pdf
10/21	No lecture (Koushik at Haifa, Israel)
10/26	Points-to-analysis pointer-analysis1.ppt		hind-paste01.pdf	Pointer analysis review 1
10/28	Points-to-analysis pointer-analysis2.ppt	Pointer Analysis Homework (due 11/23)	pldi04.pdf	Pointer analysis review 2
11/2	Software model checking and BLAST		lazy_abstraction.pdf	BLAST Reviews
11/4	Synergy		synergy.pdf	Synergy Reviews
11/9	Testing, Abstraction, and Theorem Proving		p145-yorsh.pdf	Test Proofs
11/11	Holiday
11/16	Interface Extraction lecture18-issta02.ppt		interface.pdf	Interface Reviews
11/18	Pushdown systems
11/20	Symbolic Complexity Bound Analysis 3-4 pm in 320 Soda Hall		cav09_speed.pdf	SPEED Review
11/23	Proving program termination
11/25	Program Slicing		programslicing.pdf
11/30	merged with 12/2
12/2	Final Presentation from 12:00 - 2:30 pm