• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 161 matches

• 2025
• 
  Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein, Mae Milano:
  Flo: A Semantic Foundation for Progressive Stream Processing. Proc. ACM Program. Lang. 9(POPL): 241-270 (2025)
• 
  Yiming Lin, Mawil Hasan, Rohan Kosalge, Alvin Cheung, Aditya G. Parameswaran:
  TWIX: Automatically Reconstructing Structured Data from Templatized Documents. CoRR abs/2501.06659 (2025)
• 
  Charles Hong, Sahil Bhatia, Alvin Cheung, Yakun Sophia Shao:
  Autocomp: LLM-Driven Code Optimization for Tensor Accelerators. CoRR abs/2505.18574 (2025)
• 
  Linyuan Gong, Alvin Cheung, Mostafa Elhoushi, Sida Wang:
  Structure-Aware Fill-in-the-Middle Pretraining for Code. CoRR abs/2506.00204 (2025)
• 2024
• 
  Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung:
  Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations (Artifact). Dagstuhl Artifacts Ser. 10(2): 17:1-17:2 (2024)
• 
  Gabriel Matute, Wode Ni, Titus Barik, Alvin Cheung, Sarah E. Chasins:
  Syntactic Code Search with Sequence-to-Tree Matching: Supporting Syntactic Search with Incomplete Code Fragments. Proc. ACM Program. Lang. 8(PLDI): 2051-2072 (2024)
• 
  Chanwut Kittivorawong, Yongming Ge, Yousef Helal, Alvin Cheung:
  Spatialyze: A Geospatial Video Analytics System with Spatial-Aware Optimizations. Proc. VLDB Endow. 17(9): 2136-2148 (2024)
• 
  Shuxian Wang, Sicheng Pan, Alvin Cheung:
  QED: A Powerful Query Equivalence Decider for SQL. Proc. VLDB Endow. 17(11): 3602-3614 (2024)
• 
  Haotian Li, Nithin Chalapathi, Huamin Qu, Alvin Cheung, Aditya G. Parameswaran:
  Inferring Visualization Intent from Conversation. CIKM 2024: 1184-1194
• 
  Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung:
  Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations. ECOOP 2024: 32:1-32:28
• 
  Linyuan Gong, Mostafa Elhoushi, Alvin Cheung:
  AST-T5: Structure-Aware Pretraining for Code Generation and Understanding. ICML 2024
• 
  Linyuan Gong, Sida Wang, Mostafa Elhoushi, Alvin Cheung:
  Evaluation of LLMs on Syntax-Aware Code Fill-in-the-Middle Tasks. ICML 2024
• 
  Xiaoxuan Liu, Lanxiang Hu, Peter Bailis, Alvin Cheung, Zhijie Deng, Ion Stoica, Hao Zhang:
  Online Speculative Decoding. ICML 2024
• 
  Linyuan Gong, Jiayi Wang, Alvin Cheung:
  ADELT: Transpilation between Deep Learning Frameworks. IJCAI 2024: 6279-6287
• 
  Altan Haan, Doru-Thom Popovici, Koushik Sen, Costin Iancu, Alvin Cheung:
  To Tile or not to Tile, That is the Question. IPDPS (Workshops) 2024: 449-458
• 
  Arash Ardakani, Altan Haan, Shangyin Tan, Doru-Thom Popovici, Alvin Cheung, Costin Iancu, Koushik Sen:
  SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics. NAACL-HLT 2024: 6218-6236
• 
  Sahil Bhatia, Jie Qiu, Niranjan Hasabnis, Sanjit Seshia, Alvin Cheung:
  Verified Code Transpilation with LLMs. NeurIPS 2024
• 
  Linyuan Gong, Mostafa Elhoushi, Alvin Cheung:
  AST-T5: Structure-Aware Pretraining for Code Generation and Understanding. CoRR abs/2401.03003 (2024)
• 
  Linyuan Gong, Sida Wang, Mostafa Elhoushi, Alvin Cheung:
  Evaluation of LLMs on Syntax-Aware Code Fill-in-the-Middle Tasks. CoRR abs/2403.04814 (2024)
• 
  Tyler Griggs, Xiaoxuan Liu, Jiaxiang Yu, Doyoung Kim, Wei-Lin Chiang, Alvin Cheung, Ion Stoica:
  M\'elange: Cost Efficient Large Language Model Serving by Exploiting GPU Heterogeneity. CoRR abs/2404.14527 (2024)
• 
  Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung:
  Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations. CoRR abs/2404.18249 (2024)
• 
  Sahil Bhatia, Jie Qiu, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung:
  Verified Code Transpilation with LLMs. CoRR abs/2406.03003 (2024)
• 
  Xiaoxuan Liu, Cade Daniel, Langxiang Hu, Woosuk Kwon, Zhuohan Li, Xiangxi Mo, Alvin Cheung, Zhijie Deng, Ion Stoica, Hao Zhang:
  Optimizing Speculative Decoding for Serving Large Language Models Using Goodput. CoRR abs/2406.14066 (2024)
• 
  Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein:
  Suki: Choreographed Distributed Dataflow in Rust. CoRR abs/2406.14733 (2024)
• 
  Charles Hong, Sahil Bhatia, Altan Haan, Shengjun Kris Dong, Dima Nikiforov, Alvin Cheung, Yakun Sophia Shao:
  LLM-Aided Compilation for Tensor Accelerators. CoRR abs/2408.03408 (2024)
• 
  Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein, Mae Milano:
  Flo: a Semantic Foundation for Progressive Stream Processing. CoRR abs/2411.08274 (2024)
• 2023
• 
  Alvin Cheung, Maaz Bin Safeer Ahmad, Brandon Haynes, Chanwut Kittivorawong, Shadaj Laddad, Xiaoxuan Liu, Chenglong Wang, Cong Yan:
  Towards Auto-Generated Data Systems. Proc. VLDB Endow. 16(12): 4116-4129 (2023)
• 
  Xiaoxuan Liu, Shuxian Wang, Mengzhu Sun, Sicheng Pan, Ge Li, Siddharth Jha, Cong Yan, Junwen Yang, Shan Lu, Alvin Cheung:
  Leveraging Application Data Constraints to Optimize Database-Backed Web Applications. Proc. VLDB Endow. 16(6): 1208-1221 (2023)
• 
  Linyuan Gong, Chenyan Xiong, Xiaodong Liu, Payal Bajaj, Yiqing Xie, Alvin Cheung, Jianfeng Gao, Xia Song:
  Model-Generated Pretraining Signals Improves Zero-Shot Generalization of Text-to-Text Transformers. ACL (1) 2023: 12933-12950
• 
  Sahil Bhatia, Sumer Kohli, Sanjit A. Seshia, Alvin Cheung:
  Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper). ECOOP 2023: 38:1-38:30

skipping 131 more matches