RDP 2017 Contributors -

Wed 18 - Fri 20 January 2017

co-located with POPL 2017

Filter

Role Type

Contributing to

Number of Roles

Country

Results (12)

A Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin - Madison Synthesizing Data-parallel Programs
C Alvin CheungCheung, Alvin University of Washington Cosette: A Solver for SQL Equivalences
Adam ChlipalaChlipala, Adam MITUnited States Fiat: A New Take on Domain-Specific Languages by Programming with Specifications
D Alin DeutschDeutsch, Alin Automatic Verification of Database-Centric Workflows
F Kathleen FisherFisher, Kathleen Tufts University Programming Language Ideas Escape the Lab: Declarative Data Description Languages for Managing Ad hoc Data
Nate FosterFoster, Nate Cornell UniversityUnited States Session Chair of Session III (part of RDP) Session Chair of Welcome (part of RDP) Discussion Welcome Organizing Chair in Program Committee within the RDP-track
K Christoph E. KochKoch, Christoph E. Building performance-sensitive systems in high-level languages
N Frank NevenNeven, Frank Parallel-Correctness and Transferability for Conjunctive Queries
S Mooly SagivSagiv, Mooly Tel Aviv UniversityIsrael Session Chair of Session II (part of RDP) Session Chair of Welcome (part of RDP) Discussion Welcome Organizing Chair in Program Committee within the RDP-track
T Takaaki TateishiTateishi, Takaaki IBM Research - Tokyo Verification Challenges in Applications of Blockchain for Business Collaboration
Szymon ToruńczykToruńczyk, Szymon Computation with Atoms
V Victor VianuVianu, Victor UC San DiegoUnited States Session Chair of Session I (part of RDP) Session Chair of Welcome (part of RDP) Session Chair of Session IV (part of RDP) Discussion Welcome Organizing Chair in Program Committee within the RDP-track