Yan, Cong

1. LLM-Vectorizer: LLM-based Verified Loop Vectorizer
   2024/06/07 by Jubi Taneja, Avery Laird, Taneja, Jubi +7 · 11 citations
   Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Performance (cs.PF) #Real-time simulation and control systems #Software Engineering (cs.SE)
2. Auto-Tables: Synthesizing Multi-Step Transformations to Relationalize Tables without Using Examples
   2023/07/27 by Li, Peng, He, Yeye, Yan, Cong +2 · 5 citations
   #Databases (cs.DB) #FOS: Computer and information sciences #Machine Learning (cs.LG)
3. Execution-based Evaluation for Data Science Code Generation Models
   2022/11/17 by Huang, Junjie, Wang, Chenglong, Zhang, Jipeng +6 · 2 citations
   #Computation and Language (cs.CL) #FOS: Computer and information sciences #Software Engineering (cs.SE)
4. 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
5. Releasing Locks As Early As You Can: Reducing Contention of Hotspots by Violating Two-Phase Locking (Extended Version)
   2021/03/17 by Guo, Zhihan, Wu, Kan, Yan, Cong +1 · 1 citation
   #Databases (cs.DB) #FOS: Computer and information sciences