[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: Matthew Bernstein and Calvin Smith, “Model-Checking Over Time-Series Gene _expression_ Data”

• 1:25pm – 1:50pm: Theo Jepsen, “Do you really need to read() all of that?”

• 1:50pm – 2:15pm: David Bingham Brown and Michael Vaughn, “The Care and Feeding of Wild-Caught Mutants”

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