Person: Alvin Cheung

DBLP: Cheung:Alvin

Contributed to:

2014

2013

2013

2012

2012

2011

2008

2018

2018

2016

2017

2020

Wrote 13 papers:

SIGMOD-2014-CheungMS #database #lazy evaluation #named #query

Sloth: being lazy is a virtue (when issuing database queries) (AC, SM, ASL), pp. 931–942.

PLDI-2013-CheungSM #optimisation #query #synthesis

Optimizing database-backed applications with query synthesis (AC, ASL, SM), pp. 3–14.

SIGMOD-2013-CheungAMM #database

Speeding up database applications with Pyxis (AC, OA, SM, ACM), pp. 969–972.

CIKM-2012-CheungSM #recommendation #social #synthesis #using

Using program synthesis for social recommendations (AC, ASL, SM), pp. 1732–1736.

VLDB-2012-CheungAMM #automation #clustering #database

Automatic Partitioning of Database Applications (AC, OA, SM, ACM), pp. 1471–1482.

ESEC-FSE-2011-CheungSM

Partial replay of long-running applications (AC, ASL, SM), pp. 135–145.

VLDB-2008-CheungM #framework #monitoring #performance #profiling

Performance profiling with EndoScope, an acquisitional software monitoring framework (AC, SM), pp. 42–53.

ESEC-FSE-2018-YangYSLC #automation #detection #ide #named #web

PowerStation: automatically detecting and fixing inefficiencies of database-backed web applications in IDE (JY, CY, PS, SL, AC), pp. 884–887.

OOPSLA-2018-WangCB #query #reasoning #relational

Speeding up symbolic reasoning for relational queries (CW, AC, RB), p. 25.

PLDI-2016-KamilCIS

Verified lifting of stencil computations (SK, AC, SI, ASL), pp. 711–726.

PLDI-2017-ChuWCS #named #proving #query #semantics #sql

HoTTSQL: proving query rewrites with univalent SQL semantics (SC, KW, AC, DS), pp. 510–524.

PLDI-2017-WangCB #query #sql

Synthesizing highly expressive SQL queries from input-output examples (CW, AC, RB), pp. 452–466.

POPL-2020-WangFBCD #visualisation

Visualization by example (CW, YF, RB, AC, ID), p. 28.