[pl-seminar] CS 706 project presentations at 1pm in 2310 CS

[Ben Liblit <liblit@xxxxxxxxxxx>]

You are cordially invited to attend the class project presentations for CS 706: Analysis of Software Artifacts today in room 2310 CS. 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.

• 1:00pm – 1:25pm: Cheng Su, “Automatic Generator of Function Stubs for Libraries”

• 1:25pm – 1:50pm: Stephen Lee, “Automatically Finding Polynomial Recurrences for Loops”

• 1:50pm – 2:15pm: Andrew Mironovich, “What You Can’t See Can Kill Your Program: An Analysis of Implicit Behavior in C++”

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