Alvin Cheung

Alvin Cheung

Title
Assistant Professor
Department
Division of Computer Science/EECS
Research Expertise and Interest
program analysis, program synthesis, database application performance, big systems
Research Description

My research interests include program analysis, program synthesis, improving database application performance, and building big systems in general. Some current research themes:

  • Verified lifting is a new technique for inferring properties of programs. We have applied this to database applications (QBS), stencil computations (STNG), programmable switches (Domino), parallel data processing frameworks (Casper), and the SandCat project.
  • Leveraging programming languages techniques to build and optimize data management systems:CosetteHyperloop, and LightDB.
  • Improving end user programming across different domains: CodeNNConcode, and Scythe.

In the News

In the News

Loading Class list ...
.