Cheung, Alvin
- HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
2016/07/17 by Shumo Chu, Chu, Shumo, Konstantin Weitz +5 · 4 voices · 3 citations
#cs.PL #cs.DB #cs.LO
- Supporting Our AI Overlords: Redesigning Data Systems to be Agent-First
2025/08/31 by Shu Liu, Liu, Shu, Soujanya Ponnapalli +28 · 11 voices · 8 citations
Computer Science · #Big Data and Digital Economy #Semantic Web and Ontologies #Graph Theory and Algorithms
- Katara: Synthesizing CRDTs with Verified Lifting
2022/05/25 by Shadaj Laddad, Conor Power, Laddad, Shadaj +7 · 1 voice · 1 citation
Computer Science · #Distributed systems and fault tolerance #Model-Driven Software Engineering Techniques #Service-Oriented Architecture and Web Services #cs.DC #cs.PL
- Verified Code Transpilation with LLMs
2024/06/05 by Sahil Bhatia, Bhatia, Sahil, Jie Qiu +7 · 1 voice · 4 citations
Computer Science · #Natural Language Processing Techniques #Mathematics, Computing, and Information Processing #Digital Rights Management and Security
- The Sky Above The Clouds
2022/05/14 by Sarah Chasins, Alvin Cheung, Chasins, Sarah +32 · 2 voices
Business, Management and Accounting · Engineering · Computer Science · #Digital Platforms and Economics #Green IT and Sustainability #Cloud Computing and Resource Management
- Online Speculative Decoding
2023/10/11 by Xiaoxuan Liu, Lanxiang Hu, Liu, Xiaoxuan +11 · 16 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Text Readability and Simplification #Topic Modeling
- Keep CALM and CRDT On
2022/10/23 by Shadaj Laddad, Laddad, Shadaj, Conor Power +9 · 2 voices · 2 citations
Computer Science · #Advanced Data Storage Technologies #Caching and Content Delivery #Distributed systems and fault tolerance #cs.DB
- AST-T5: Structure-Aware Pretraining for Code Generation and Understanding
2024/01/05 by Linyuan Gong, Gong, Linyuan, Mostafa Elhoushi +3 · 9 citations
Computer Science · #Advanced Malware Detection Techniques #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Engineering Research #Topic Modeling
- Cuttlefish: A Lightweight Primitive for Adaptive Query Processing
2018/02/26 by Tomer Kaftan, Kaftan, Tomer, Magdalena Bałazińska +5 · 5 citations
Decision Sciences · Computer Science · #Advanced Bandit Algorithms Research #Data Stream Mining Techniques #Machine Learning and Algorithms
- Learning a Neural Semantic Parser from User Feedback
2017/04/27 by Iyer, Srinivasan, Konstas, Ioannis, Cheung, Alvin +2 · 3 citations
#Computation and Language (cs.CL) #FOS: Computer and information sciences
- Evaluation of LLMs on Syntax-Aware Code Fill-in-the-Middle Tasks
2024/03/07 by Linyuan Gong, Sida Wang, Gong, Linyuan +5 · 5 citations
Business, Management and Accounting · Computer Science · #Artificial Intelligence (cs.AI) #Business Process Modeling and Analysis #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Service-Oriented Architecture and Web Services #Software Engineering (cs.SE) #Software Engineering Research
- Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries
2018/02/06 by Shumo Chu, Chu, Shumo, Murphy, Brendan +3 · 2 citations
Computer Science · #Advanced Database Systems and Queries #Data Management and Algorithms #Databases (cs.DB) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Semantic Web and Ontologies
- Mapping Language to Code in Programmatic Context
2018/08/29 by Iyer, Srinivasan, Konstas, Ioannis, Cheung, Alvin +1 · 2 citations
#Computation and Language (cs.CL) #FOS: Computer and information sciences
- TurboSpec: Closed-loop Speculation Control System for Optimizing LLM Serving Goodput
2024/06/20 by Xiaoxuan Liu, Liu, Xiaoxuan, Park, Jongseok +19 · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Natural Language Processing Techniques #Performance (cs.PF) #Topic Modeling
- LLM-Aided Compilation for Tensor Accelerators
2024/08/06 by Hong, Charles, Bhatia, Sahil, Haan, Altan +4 · 4 citations
#FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning (cs.LG) #Programming Languages (cs.PL)
- GACT: Activation Compressed Training for Generic Network Architectures
2022/06/22 by Liu, Xiaoxuan, Zheng, Lianmin, Wang, Dequan +9 · 2 citations
#FOS: Computer and information sciences #Machine Learning (cs.LG)
- Mélange: Cost Efficient Large Language Model Serving by Exploiting GPU Heterogeneity
2024/04/22 by Griggs, Tyler, Liu, Xiaoxuan, Yu, Jiaxiang +4 · 3 citations
#Distributed #FOS: Computer and information sciences #Machine Learning (cs.LG) #Parallel #and Cluster Computing (cs.DC)
- Leveraging Application Data Constraints to Optimize Database-Backed Web Applications
2022/05/05 by Xiaoxuan Liu, Liu, Xiaoxuan, Shuxian Wang +15 · 2 citations
Computer Science · #Advanced Database Systems and Queries #Cloud Computing and Resource Management #Databases (cs.DB) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Web Data Mining and Analysis
- Packet Transactions: High-level Programming for Line-Rate Switches
2015/12/16 by Sivaraman, Anirudh, Budiu, Mihai, Cheung, Alvin +6 · 1 citation
#FOS: Computer and information sciences #Networking and Internet Architecture (cs.NI)
- PipeGen: Data Pipe Generator for Hybrid Analytics
2016/05/05 by Brandon Haynes, Haynes, Brandon, Alvin Cheung +3 · 1 citation
Computer Science · #Advanced Data Storage Technologies #Advanced Database Systems and Queries #Cloud Computing and Resource Management #Databases (cs.DB) #FOS: Computer and information sciences
- TWIX: Automatically Reconstructing Structured Data from Templatized Documents
2025/01/11 by Lin, Yiming, Hasan, Mawil, Kosalge, Rohan +2 · 4 citations
#Computer Vision and Pattern Recognition (cs.CV) #Databases (cs.DB) #FOS: Computer and information sciences
- Learning Programmatic Idioms for Scalable Semantic Parsing
2019/04/19 by Iyer, Srinivasan, Cheung, Alvin, Zettlemoyer, Luke · 1 citation
#Computation and Language (cs.CL) #FOS: Computer and information sciences
- Visualization by Example
2019/11/21 by Wang, Chenglong, Feng, Yu, Bodik, Rastislav +2 · 1 citation
#FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Programming Languages (cs.PL)
- Flo: a Semantic Foundation for Progressive Stream Processing
2024/11/13 by Shadaj Laddad, Laddad, Shadaj, Alvin Cheung +5 · 2 voices · 1 citation
Computer Science · #Advanced Database Systems and Queries #Data Stream Mining Techniques #Semantic Web and Ontologies #cs.DC #cs.PL
- Autocomp: A Powerful and Portable Code Optimizer for Tensor Accelerators
2025/05/24 by Charles C. Hong, Hong, Charles, Sahil Bhatia +5 · 4 citations
Mathematics · Computer Science · #Tensor decomposition and applications #Parallel Computing and Optimization Techniques #Advanced Neural Network Applications
- ADELT: Transpilation Between Deep Learning Frameworks
2023/03/07 by Gong, Linyuan, Wang, Jiayi, Cheung, Alvin · 1 citation
#Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics
2023/05/29 by Arash Ardakani, Altan Haan, Ardakani, Arash +11 · 1 citation
Computer Science · Engineering · #Advanced Neural Network Applications #Computation and Language (cs.CL) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices
- Continuum: Efficient and Robust Multi-Turn LLM Agent Scheduling with KV Cache Time-to-Live
2025/11/04 by Li, Hanchen, Mang, Qiuyang, He, Runyuan +7 · 3 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Networking and Internet Architecture (cs.NI) #Operating Systems (cs.OS)
- Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)
2024/04/28 by Qiu, Jie, Cai, Colin, Bhatia, Sahil +3 · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)