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 http://pages.cs.wisc.edu/~cs706-1/project/presentations.html for more information, including talk abstracts.