AC
Alvin Cheung
cs.DBcs.PLcs.LGcs.CLcs.DCcs.AIcs.SEcs.ARcs.CVcs.PF
On Valency
published · living versionsW_472urbcs·v1 · currentpublished
FrontierCS 2: A Benchmark for Computer Science R&D
with Qiuyang Mang, Wenhao Chai, Runyuan He, Dongruixuan Li +56
1 version
Preprints & journals
54 papers in the corpus · 2012–2026FrontierCS 2: A Benchmark for Computer Science R&D2610.29932v1 · Qiuyang Mang, Wenhao Chai, Runyuan He et al.2026 · 0 citationsarXivon Valency
CodeWalk: Generating Coding Benchmarks by Walking a Problem Graph2610.15345v1 · Jiaxin Fang, Runyuan He, Arnav Gupta et al.2026 · 0 citationsarXiv
Tetris: Tile-level Sampling for Efficient and High-Fidelity Video Object Tracking2605.25538v4 · Chanwut Kittivorawong, Alena Chao, Charlie Si et al.2026 · 0 citationsarXiv
FrontierSmith: Synthesizing Open-Ended Coding Problems at Scale2605.14445v1 · Runyuan He, Qiuyang Mang, Shang Zhou et al.2026 · 0 citationsarXiv
Do Androids Dream of Breaking the Game? Systematically Auditing AI Agent Benchmarks with BenchJack2605.12673v1 · Hao Wang, Hanchen Li, Qiuyang Mang et al.2026 · 1 citationarXiv
SVG-EAR: Parameter-Free Linear Compensation for Sparse Video Generation via Error-aware Routing2603.08982v2 · Xuanyi Zhou, Qiuyang Mang, Shuo Yang et al.2026 · 0 citationsarXiv
EvoX: Meta-Evolution for Automated Discovery2602.23413v2 · Shu Liu, Shubham Agarwal, Monishwaran Maheswaran et al.2026 · 1 citationarXiv
Optimism in Equality Saturation2511.20782v4 · Russel Arbore, Alvin Cheung, Max Willsey2025 · 0 citationsarXiv
Automated Discovery of Test Oracles for Database Management Systems Using LLMs2510.06663v2 · Qiuyang Mang, Runyuan He, Suyang Zhong et al.2025 · 1 citationarXiv
Supporting Our AI Overlords: Redesigning Data Systems to be Agent-First2509.00997v2 · Shu Liu, Soujanya Ponnapalli, Shreya Shankar et al.2025 · 2 citationsarXiv
Structure-Aware Fill-in-the-Middle Pretraining for Code2506.00204v1 · Linyuan Gong, Alvin Cheung, Mostafa Elhoushi et al.2025 · 0 citationsarXiv
Autocomp: A Powerful and Portable Code Optimizer for Tensor Accelerators2505.18574v5 · Charles Hong, Sahil Bhatia, Alvin Cheung et al.2025 · 0 citationsarXiv
Flo: a Semantic Foundation for Progressive Stream Processing2411.08274v1 · Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein et al.2024 · 3 citationsarXiv
LLM-Aided Compilation for Tensor Accelerators2408.03408v1 · Charles Hong, Sahil Bhatia, Altan Haan et al.2024 · 6 citationsarXiv
TurboSpec: Closed-loop Speculation Control System for Optimizing LLM Serving Goodput2406.14066v3 · Xiaoxuan Liu, Jongseok Park, Langxiang Hu et al.2024 · 0 citationsarXiv
Suki: Choreographed Distributed Dataflow in Rust2406.14733v1 · Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein2024 · 0 citationsarXiv
Verified Code Transpilation with LLMs2406.03003v1 · Sahil Bhatia, Jie Qiu, Niranjan Hasabnis et al.2024 · 12 citationsarXiv
Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)2404.18249v3 · Jie Qiu, Colin Cai, Sahil Bhatia et al.2024 · 3 citationsarXiv
Mélange: Cost Efficient Large Language Model Serving by Exploiting GPU Heterogeneity2404.14527v4 · Tyler Griggs, Xiaoxuan Liu, Jiaxiang Yu et al.2024 · 4 citationsarXiv
Evaluation of LLMs on Syntax-Aware Code Fill-in-the-Middle Tasks2403.04814v3 · Linyuan Gong, Sida Wang, Mostafa Elhoushi et al.2024 · 0 citationsarXiv
AST-T5: Structure-Aware Pretraining for Code Generation and Understanding2401.03003v4 · Linyuan Gong, Mostafa Elhoushi, Alvin Cheung2024 · 7 citationsarXiv
Online Speculative Decoding2310.07177v4 · Xiaoxuan Liu, Lanxiang Hu, Peter Bailis et al.2023 · 5 citationsarXiv
Code Transpilation for Hardware Accelerators2308.06410v1 · Yuto Nishida, Sahil Bhatia, Shadaj Laddad et al.2023 · 0 citationsarXiv
Spatialyze: A Geospatial Video Analytics System with Spatial-Aware Optimizations2308.03276v5 · Chanwut Kittivorawong, Yongming Ge, Yousef Helal et al.2023 · 5 citationsProc. VLDB Endow. 17 (2024) 2136-2148
Optimizing Stateful Dataflow with Local Rewrites2306.10585v1 · Shadaj Laddad, Conor Power, Tyler Hou et al.2023 · 0 citationsarXiv
SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics2305.18513v1 · Arash Ardakani, Altan Haan, Shangyin Tan et al.2023 · 4 citationsarXiv
Model-Generated Pretraining Signals Improves Zero-Shot Generalization of Text-to-Text Transformers2305.12567v1 · Linyuan Gong, Chenyan Xiong, Xiaodong Liu et al.2023 · 1 citationarXiv
An Evaluation of Memory Optimization Methods for Training Neural Networks2303.14633v2 · Xiaoxuan Liu, Siddharth Jha, Alvin Cheung2023 · 0 citationsarXiv
ADELT: Transpilation Between Deep Learning Frameworks2303.03593v3 · Linyuan Gong, Jiayi Wang, Alvin Cheung2023 · 2 citationsarXiv
Keep CALM and CRDT On2210.12605v1 · Shadaj Laddad, Conor Power, Mae Milano et al.2022 · 13 citationsarXiv
NumS: Scalable Array Programming for the Cloud2206.14276v2 · Melih Elibol, Vinamra Benara, Samyu Yagati et al.2022 · 2 citationsarXiv
GACT: Activation Compressed Training for Generic Network Architectures2206.11357v4 · Xiaoxuan Liu, Lianmin Zheng, Dequan Wang et al.2022 · 8 citationsarXiv
Katara: Synthesizing CRDTs with Verified Lifting2205.12425v2 · Shadaj Laddad, Conor Power, Mae Milano et al.2022 · 26 citationsarXiv
The Sky Above The Clouds2205.07147v1 · Sarah Chasins, Alvin Cheung, Natacha Crooks et al.2022 · 13 citationsarXiv
Leveraging Application Data Constraints to Optimize Database-Backed Web Applications2205.02954v4 · Xiaoxuan Liu, Shuxian Wang, Mengzhu Sun et al.2022 · 10 citationsarXiv
Synthesizing Analytical SQL Queries from Computation Demonstration2204.07102v2 · Xiangyu Zhou, Rastislav Bodik, Alvin Cheung et al.2022 · 11 citationsarXiv
VSS: A Storage System for Video Analytics [Technical Report]2103.16604v1 · Brandon Haynes, Maureen Daum, Dong He et al.2021 · 0 citationsarXiv
New Directions in Cloud Programming2101.01159v1 · Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein et al.2021 · 7 citationsCIDR 2021
Visualization by Example1911.09668v1 · Chenglong Wang, Yu Feng, Rastislav Bodik et al.2019 · 37 citationsarXiv
Learning Programmatic Idioms for Scalable Semantic Parsing1904.09086v2 · Srinivasan Iyer, Alvin Cheung, Luke Zettlemoyer2019 · 32 citationsarXiv
Vignette: Perceptual Compression for Video Storage and Processing Systems1902.01372v1 · Amrita Mazumdar, Brandon Haynes, Magdalena Balazinska et al.2019 · 3 citationsarXiv
Improving High Contention OLTP Performance via Transaction Scheduling1810.01997v1 · Guna Prasaad, Alvin Cheung, Dan Suciu2018 · 5 citationsarXiv
Mapping Language to Code in Programmatic Context1808.09588v1 · Srinivasan Iyer, Ioannis Konstas, Alvin Cheung et al.2018 · 180 citationsarXiv
Cuttlefish: A Lightweight Primitive for Adaptive Query Processing1802.09180v1 · Tomer Kaftan, Magdalena Balazinska, Alvin Cheung et al.2018 · 11 citationsarXiv
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries1802.02229v3 · Shumo Chu, Brendan Murphy, Jared Roesch et al.2018 · 61 citationsarXiv
Learning a Neural Semantic Parser from User Feedback1704.08760v1 · Srinivasan Iyer, Ioannis Konstas, Alvin Cheung et al.2017 · 343 citationsarXiv
Comparative Evaluation of Big-Data Systems on Scientific Image Analytics Workloads1612.02485v1 · Parmita Mehta, Sven Dorkenwald, Dongfang Zhao et al.2016 · 52 citationsarXiv
Leveraging Parallel Data Processing Frameworks with Verified Lifting1611.07623v1 · Maaz Bin Safeer Ahmad, Alvin Cheung2016 · 12 citationsEPTCS 229, 2016, pp. 67-83
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics1607.04822v2 · Shumo Chu, Konstantin Weitz, Alvin Cheung et al.2016 · 61 citationsarXiv
Database-Backed Web Applications in the Wild: How Well Do They Work?1607.02561v3 · Cong Yan, Alvin Cheung, Shan Lu2016 · 0 citationsarXiv
Career total: 134 works. 54 are in this corpus.Showing the 50 most recent.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.