Alvin Cheung

Registered user since Fri 19 Dec 2014

Name: Alvin Cheung

Affiliation: University of California, Berkeley

Personal website: https://people.eecs.berkeley.edu/~akcheung/

Contributions

POPL 2022 Committee Member in Program Committee within the POPL-track
PLDI 2020 Committee Member in Program Committee within the PLDI Research Papers-track
POPL 2020 Author of Visualization by Example within the Research Papers-track
MAPL 2019 Committee Member in Steering Committee within the MAPL 2019-track
DBPL 2019 PC Co-Chair in Program Committee within the DBPL 2019-track
Session Chair of Welcome (part of DBPL 2019)
Co-chair in Organizing Committee within the DBPL 2019-track
SPLASH 2019 Author of Improving Performance and Quality of Database-Backed Software within the Posters-track
MAPL 2018 Session Chair of Introduction (part of MAPL 2018)
Program Chair in Program Committee within the MAPL 2018-track
Session Chair of Closing Remarks (part of MAPL 2018)
ICSE 2020 Author of Managing data constraints in database-backed web applications within the ICSE 2020 Posters-track
Author of Managing data constraints in database-backed web applications within the Technical Papers-track
SPLASH 2018 Author of Speeding up Symbolic Reasoning for Relational Queries within the Posters-track
Author of Speeding up Symbolic Reasoning for Relational Queries within the OOPSLA-track
ICSE 2019 Author of View-Centric Performance Optimization for Database-Backed Web Applications within the Technical Track-track
ESEC/FSE 2018 Author of PowerStation: Automatically detecting and fixing inefficienciesof database-backed web applications in IDE within the Demonstrations-track
RDP 2017 Author of Cosette: A Solver for SQL Equivalences within the RDP-track
PLMW@PLDI Panelist in Organizing Committee within the PLMW@PLDI 2016-track
Panelist of Panel: What I Wish I Knew When I Started Grad School within the PLMW@PLDI 2016-track
PLDI 2017 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
* ICSE 2018 * Author of How not to structure your database-backed web applications: a study of performance bugs in the wild within the Technical Papers -track
PLDI 2016 Author of Verified Lifting of Stencil Computations within the Research Papers-track
SPLASH 2015 Committee Member in External Review Committee within the OOPSLA-track