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

Participation

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

Sat 21 Jan

RDP-2017
09:00 - 10:00: RDP - Session I at Salle 107, Barre 44-54
Chair(s): Victor VianuUC San Diego
RDP-2017148498560000009:00 - 09:15
Talk
Nate FosterCornell University, Mooly SagivTel Aviv University, Victor VianuUC San Diego
RDP-2017148498650000009:15 - 10:00
Talk
RDP-2017
10:30 - 12:00: RDP - Session II at Salle 107, Barre 44-54
Chair(s): Mooly SagivTel Aviv University
RDP-2017148499100000010:30 - 11:00
Talk
Takaaki TateishiIBM Research - Tokyo
RDP-2017148499280000011:00 - 11:30
Talk
RDP-2017148499460000011:30 - 12:00
Talk
RDP-2017
14:00 - 15:30: RDP - Session III at Salle 107, Barre 44-54
Chair(s): Nate FosterCornell University
RDP-2017148500360000014:00 - 14:45
Talk
Aws AlbarghouthiUniversity of Wisconsin - Madison
RDP-2017148500630000014:45 - 15:30
Talk
Alvin CheungUniversity of Washington
RDP-2017
16:00 - 18:00: RDP - Session IV at Salle 107, Barre 44-54
Chair(s): Victor VianuUC San Diego
RDP-2017148501080000016:00 - 16:30
Talk
RDP-2017148501260000016:30 - 17:00
Talk
Kathleen FisherTufts University
RDP-2017148501440000017:00 - 17:30
Talk
RDP-2017148501620000017:30 - 18:00
Talk
Nate FosterCornell University, Victor VianuUC San Diego, Mooly SagivTel Aviv University