RDP 2017 - POPL 2017

Sun 15 - Sat 21 January 2017

About
Program

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
	Automatic Verification of Database-Centric Workflows Alin Deutsch
	Building performance-sensitive systems in high-level languages Christoph E. Koch
	Computation with Atoms Szymon Toruńczyk
	Cosette: A Solver for SQL Equivalences Alvin Cheung
	Discussion Nate Foster, Victor Vianu, Mooly Sagiv
	Fiat: A New Take on Domain-Specific Languages by Programming with Specifications Adam Chlipala
	Parallel-Correctness and Transferability for Conjunctive Queries Frank Neven
	Programming Language Ideas Escape the Lab: Declarative Data Description Languages for Managing Ad hoc Data Kathleen Fisher
	Synthesizing Data-parallel Programs Aws Albarghouthi
	Verification Challenges in Applications of Blockchain for Business Collaboration Takaaki Tateishi
	Welcome Nate Foster, Mooly Sagiv, Victor Vianu

Participation

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

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

Sat 21 Jan (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00: RDP - Session I at Salle 107, Barre 44-54
Chair(s): Victor VianuUC San Diego

09:00 - 09:15
Talk

Nate FosterCornell University, Mooly SagivTel Aviv University, Victor VianuUC San Diego

09:15 - 10:00
Talk

Automatic Verification of Database-Centric Workflows

10:30 - 12:00: RDP - Session II at Salle 107, Barre 44-54
Chair(s): Mooly SagivTel Aviv University

10:30 - 11:00
Talk

Verification Challenges in Applications of Blockchain for Business Collaboration

Takaaki TateishiIBM Research - Tokyo

11:00 - 11:30
Talk

Fiat: A New Take on Domain-Specific Languages by Programming with Specifications

Adam ChlipalaMIT

11:30 - 12:00
Talk

Parallel-Correctness and Transferability for Conjunctive Queries

14:00 - 15:30: RDP - Session III at Salle 107, Barre 44-54
Chair(s): Nate FosterCornell University

14:00 - 14:45
Talk

Synthesizing Data-parallel Programs

Aws AlbarghouthiUniversity of Wisconsin - Madison

14:45 - 15:30
Talk

Cosette: A Solver for SQL Equivalences

Alvin CheungUniversity of Washington

16:00 - 18:00: RDP - Session IV at Salle 107, Barre 44-54
Chair(s): Victor VianuUC San Diego

16:00 - 16:30
Talk

Building performance-sensitive systems in high-level languages

Christoph E. Koch

16:30 - 17:00
Talk

Programming Language Ideas Escape the Lab: Declarative Data Description Languages for Managing Ad hoc Data

Kathleen FisherTufts University

17:00 - 17:30
Talk

Computation with Atoms

Szymon Toruńczyk

17:30 - 18:00
Talk

Nate FosterCornell University, Victor VianuUC San Diego, Mooly SagivTel Aviv University