Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dan Suciu
conf.researchr.org general profile
ESEC/FSE 2022 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
Not registered as user yet
Name:
Dan Suciu
Affiliation:
University of Washington
Contributions
2017
PLDI
Author of HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics within the PLDI Research Papers-track
Share
x
Tue 5 Nov 15:22