POPL 2017
Sun 15 - Sat 21 January 2017
Sat 21 Jan 2017 14:45 - 15:30 at Salle 107, Barre 44-54 - Session III Chair(s): Nate Foster

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

RDP-2017
14:00 - 15:30: RDP - Session III at Salle 107, Barre 44-54
Chair(s): Nate FosterCornell University
RDP-201714:00 - 14:45
Talk
Aws AlbarghouthiUniversity of Wisconsin - Madison
RDP-201714:45 - 15:30
Talk
Alvin CheungUniversity of Washington
https://popl17.sigplan.org/details/RDP-2017/1/Cosette-A-Solver-for-SQL-Equivalences
popl17.sigplan.org
crawl=CC-MAIN-2020-29
61642
application/http; msgtype=response
sha1:WFUNVU4BR7DXQ3SQPBHWCUNPRCQ6W3UR
<urn:uuid:1ac9b999-79c9-4591-ac0c-07ec051e10c0>
2020-07-05T11:02:17Z
131.180.119.44
text/html
sha1:5OYVN6AVN7GAQV22HD2RYLFMV4GNYPHX
<urn:uuid:0bb66070-e971-47c8-bc35-be61860452da>
https://popl17.sigplan.org/details/RDP-2017/1/Cosette-A-Solver-for-SQL-Equivalences
response
<urn:uuid:8eefdb4a-f572-41d0-8600-3f4ae60dffdb>
isPartOf: CC-MAIN-2020-29
publisher: Common Crawl
description: Wide crawl of the web for July 2020
operator: Common Crawl Admin (info@commoncrawl.org)
hostname: ip-10-67-67-198.ec2.internal
software: Apache Nutch 1.17 (modified, https://github.com/commoncrawl/nutch/)
robots: checked via crawler-commons 1.2-SNAPSHOT (https://github.com/crawler-commons/crawler-commons)
format: WARC File Format 1.1
conformsTo: http://iipc.github.io/warc-specifications/specifications/warc-format/warc-1.1/