conf.researchr.org / Alvin Cheung
Registered user since Fri 19 Dec 2014
Name:Alvin Cheung
Country:United States
Affiliation:University of California at Berkeley
Personal website: https://people.eecs.berkeley.edu/~akcheung/
Contributions
2023
2022
SPLASH
PLDI
2020
ICSE
2019
SPLASH
DBPL
2018
SPLASH
MAPS
2017
PLDI
- Author of HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics within the PLDI Research Papers-track
- Session Chair of Verified Computation (part of PLDI Research Papers)
- Author of Synthesizing Highly Expressive SQL Queries from Input-Output Examples within the PLDI Research Papers-track
- Committee Member in Program Committee