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

2025

SPLASH

Committee Member in OOPSLA Review Committee within the OOPSLA-track

POPL

Author of Flo: a Semantic Foundation for Progressive Stream Processing within the POPL-track

2024

ECOOP

Committee Member in Program Committee within the Technical Papers-track
Presenter of Optimizing the Object-Relational Interface within the Technical Papers-track
Author of Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations within the Technical Papers-track

PLDI

Author of Syntactic Code Search with Sequence-to-Tree Matching within the PLDI Research Papers-track

Choreographic Programming

Author of Suki: Choreographed Distributed Dataflow in Rust within the Choreographic Programming 2024-track

2023

ECOOP

Author of Building Code Transpilers for Domain-Specific Languages Using Program Synthesis within the Research Papers-track

PLMW

Author of How to conduct cross-cutting research? within the PLMW@PLDI 2023-track

EGRAPHS

Author of Optimizing Stateful Dataflow with Local Rewrites within the EGRAPHS 2023-track

2022

SPLASH

PLDI

Author of Synthesizing Analytical SQL Queries from Computation Demonstration within the PLDI-track

POPL

Committee Member in Program Committee within the POPL-track

2020

ICSE

PLDI

Committee Member in Program Committee within the PLDI Research Papers-track

POPL

Author of Visualization by Example within the Research Papers-track

2019

SPLASH

Author of Improving Performance and Quality of Database-Backed Software within the Posters-track

DBPL

MAPS

Committee Member in Steering Committee within the MAPL 2019-track

ICSE

Author of View-Centric Performance Optimization for Database-Backed Web Applications within the Technical Track-track

2018

ESEC/FSE

Author of PowerStation: Automatically detecting and fixing inefficienciesof database-backed web applications in IDE within the Demonstrations-track

SPLASH

MAPS

ICSE

Author of How not to structure your database-backed web applications: a study of performance bugs in the wild within the Technical Papers -track

2017

PLDI

RDP

Author of Cosette: A Solver for SQL Equivalences within the RDP-track

2016

PLDI

Author of Verified Lifting of Stencil Computations within the Research Papers-track

PLMW

2015

SPLASH

Committee Member in External Review Committee within the OOPSLA-track