[pl-seminar] Project presentations 704

[Aws Albarghouthi <aws@xxxxxxxxxxx>]

Hello,

There will be more project presentations today and Wed in 704 (CS 1257
at 230pm). Feel free to come.

Here are today's topics:

Jordan Henkel:
Inferring Specifications by leveraging Abstract Domains

Mickey Barboi:
Visual Programming

Mitchell Manar:
Emerald: A Flexible and Verifiable Library to Define State Machines
for Cache Coherence

Mark Mansi and Shiqi Yang:
AYRANBTT: All Your Regexes Are Not Belong to Them

Morgan Zhang:
Generating API code in Python

-- 
Aws