You are cordially invited to attend the class project presentations for CS706: Analysis of Software Artifacts. Come learn about a variety of innovative approaches to helping humans build software that works. Attend as many or as few talks as you wish.

11:00am - 11:18am: Static Verification of XPCOM Clients using Dehydra
11:18am - 11:36am: Semi-Supervised Statistical Debugging of Non-Fatal Errors
11:36am - 11:54am: Overcoming Concolic Testing Limitations
11:54am - 12:12pm: Accelerating Data Race Detection with Memory Ranges

Visit the complete CS706 Project Presentation Schedule for more information, including talk abstracts. See also additional CS706 presentation sessions on Friday, December 9 and Monday, December 12.