POPL 2017 (series) / RDP 2017 (series) /
RDP 2017 Program
This is the RDP 2017 program - see the full program for POPL 2017 and all affiliated events.
Filter Program
Dates
Sat 21 Jan 2017
Rooms
Salle 107, Barre 44-54
Tracks
RDP
Badges
Nothing to filter
Your Program
Nothing to filter
Sat 21 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 21 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 15mTalk | Welcome RDP | ||
09:15 45mTalk | Automatic Verification of Database-Centric Workflows RDP |
10:30 - 12:00 | |||
10:30 30mTalk | Verification Challenges in Applications of Blockchain for Business Collaboration RDP Takaaki Tateishi IBM Research - Tokyo | ||
11:00 30mTalk | Fiat: A New Take on Domain-Specific Languages by Programming with Specifications RDP Adam Chlipala MIT | ||
11:30 30mTalk | Parallel-Correctness and Transferability for Conjunctive Queries RDP |
14:00 - 15:30 | |||
14:00 45mTalk | Synthesizing Data-parallel Programs RDP Aws Albarghouthi University of Wisconsin - Madison | ||
14:45 45mTalk | Cosette: A Solver for SQL Equivalences RDP Alvin Cheung University of Washington |
16:00 - 18:00 | |||
16:00 30mTalk | Building performance-sensitive systems in high-level languages RDP | ||
16:30 30mTalk | Programming Language Ideas Escape the Lab: Declarative Data Description Languages for Managing Ad hoc Data RDP Kathleen Fisher Tufts University | ||
17:00 30mTalk | Computation with Atoms RDP | ||
17:30 30mTalk | Discussion RDP |