Re: [pl-seminar] CS704 presentations

[Aws Albarghouthi <aws@xxxxxxxxxxx>]

Today in CS 704 presentations:

Kausik | Network Configuration Synthesis
Jinman Zhao and Ainur Ainabekova | Learning correspondence between
comments and programs
Dashing Shi | A SMT-based Optimization Algorithm for Integer Program
Jonathan Schroeder | Dealing with faulty sensors
Andrew Mironovich | Naturally Sharp: Programming in C# with Natural Language
Haruki Yamaguchi | Improving automatic data extraction with program synthesis

On Mon, Apr 25, 2016 at 2:03 PM, Aws Albarghouthi <aws@xxxxxxxxxxx> wrote:
> Folks, Students in my 704 class are giving presentations today, on
> Friday, and on Monday -- all at 230-345 in CS 1257. Feel free to pass
> by.
>
> Here are today's titles (apparently grad students stop after reading
> the first sentence in an email, so I got titles, but no abstracts)
>
> Alex and Theo | Automatic Insertion of Type Qualifiers Using
> Characteristics of File Contents
> Samuel Drews | Proving Algorithmic Fairness
> Peter Den Hartog and Alex Sherman | Automated concurrence through
> decorators in Python
> Rob Owen | Static analysis of code injection
> Cheng Su | Source-to-source Transformation from Datalog to Python(Spark)
> Tianyu Liu and Shuai Shao | Computation of Signatures in Holant Problems