POPL 2017
Sun 15 - Sat 21 January 2017

The workshop on Reasoning about Declarative Programs (RDP) will bring together researchers from programming languages, distributed computing, declarative networking, and databases, to discuss techniques and stimulate cross-fertilization among these areas. The technical program will consist of invited talks and discussions. We will post talk abstracts on the workshop website but do not plan to have formal proceedings.

Accepted Papers

Title
RDP
RDP
RDP
RDP
RDP
RDP
RDP
RDP
RDP
RDP
RDP

Participation

We invite broad participation from the programming languages and database communities.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sat 21 Jan
Times are displayed in time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00: Session IRDP at Salle 107, Barre 44-54
Chair(s): Victor VianuUC San Diego
09:00 - 09:15
Talk
RDP
Nate FosterCornell University, Mooly SagivTel Aviv University, Victor VianuUC San Diego
09:15 - 10:00
Talk
RDP
14:00 - 15:30: Session IIIRDP at Salle 107, Barre 44-54
Chair(s): Nate FosterCornell University
14:00 - 14:45
Talk
RDP
Aws AlbarghouthiUniversity of Wisconsin - Madison
14:45 - 15:30
Talk
RDP
Alvin CheungUniversity of Washington