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

SPLASH 2022	Author of Katara: Synthesizing CRDTs with Verified Lifting within the Posters-track Author of Katara: Synthesizing CRDTs with Verified Lifting within the OOPSLA-track Committee Member in Review Committee within the OOPSLA-track
PLDI 2022	Author of Synthesizing Analytical SQL Queries from Computation Demonstration within the PLDI-track
POPL 2022	Committee Member in Program Committee within the POPL-track
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
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
SPLASH 2019	Author of Improving Performance and Quality of Database-Backed Software within the Posters-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
MAPL 2019	Committee Member in Steering Committee within the MAPL 2019-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
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
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 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 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
RDP 2017	Author of Cosette: A Solver for SQL Equivalences within the RDP-track
PLDI 2016	Author of Verified Lifting of Stencil Computations within the Research Papers-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
SPLASH 2015	Committee Member in External Review Committee within the OOPSLA-track