Re: [pl-seminar] CS704 presentations

[Aws Albarghouthi <aws@xxxxxxxxxxx>]

Today in CS 704 presentations:

Christopher Koch | Inductive Logic Programming to Learn Gene Regulatory Networks
Kshiteej Mahajan | A Programming Framework for Implementing Verifiable
Network Functions
Qinheping Hu | Synthesizing SQL Queries from Examples
Isaac Sung | Alligator Eggs: A Lambda Calculus Puzzle Game
Uyeong Jang | Decidability of inferring inductive invariants in separation logic
Michael Vaughn and Mason Volk | Automated Task Boundary Placement For
Intermittently Powered Systems

On Fri, Apr 29, 2016 at 1:03 PM, Aws Albarghouthi <aws@xxxxxxxxxxx> wrote:
> 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