Analysis of Software Artifacts: CS 706 Project Presentations

Wednesday, December 13, 2017 -
2:30pm to 3:30pm
3310 CS

Speaker Name: 

Zhicheng Cai, Rong Pan, Zi Wang, Prasanna Venkatesh Ramadas, Jocelyn Chen, Aiqing Huang, and John Cyphert

Speaker Institution: 

University of Wisconsin–Madison




You are cordially invited to attend the class project presentations for CS 706: 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.

2:30pm – 2:45pm: Aiqing Huang, Jocelyn Chen, and Prasanna Venkatesh Ramadas, “Prioritizing Errors with Multiple Bug Reports”
2:45pm – 3:00pm: Zi Wang, “Input Generation for Program Comparison”
3:00pm – 3:15pm: John Cyphert, “Verifying Non-Interference via Off-the-Shelf Assertion Checkers and Product Programs”
3:15pm – 3:30pm: Zhicheng Cai and Rong Pan, “Towards a Better Oyente for DApps vulnerability analysis”

Visit the complete CS 706 project presentation schedule at for more information, including talk abstracts.