One more round today:
Wesley Szamotula
Scripting with Natural Language
Luke Matthews
Simple web service composition synthesis
Shuo Han
Python program repair
Xiangjin Wu, Yifeng Teng
Automatic python program repair
(yes two talks on python repair, because apparently python is
impossible to get right)
John Cyphert
Searching for private exponents
On Mon, May 1, 2017 at 9:16 AM, Aws Albarghouthi <aws@xxxxxxxxxxx> wrote:
> 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
--
Aws
|