Alvin Cheung
- 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 · 6 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, Chasins, Sarah, Alvin Cheung +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, Liu, Xiaoxuan, Lanxiang Hu +11 · 15 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
#cs.DB
- AST-T5: Structure-Aware Pretraining for Code Generation and Understanding
2024/01/05 by Linyuan Gong, Mostafa Elhoushi, Gong, Linyuan +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
- Evaluation of LLMs on Syntax-Aware Code Fill-in-the-Middle Tasks
2024/03/07 by Linyuan Gong, Gong, Linyuan, Sida Wang +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
- 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
- Leveraging Application Data Constraints to Optimize Database-Backed Web Applications
2022/05/05 by Xiaoxuan Liu, Shuxian Wang, Liu, Xiaoxuan +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
- 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
- Flo: a Semantic Foundation for Progressive Stream Processing
2024/11/13 by Shadaj Laddad, Alvin Cheung, Laddad, Shadaj +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
- SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics
2023/05/29 by Arash Ardakani, Ardakani, Arash, Altan Haan +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