Adve, Vikram
- DLVM: A modern compiler infrastructure for deep learning systems
2017/11/08 by Wei, Richard, Schwartz, Lane, Adve, Vikram · 1 citation
#FOS: Computer and information sciences #Machine Learning (cs.LG) #Mathematical Software (cs.MS) #Programming Languages (cs.PL)
- Transforming the Hybrid Cloud for Emerging AI Workloads
2024/11/20 by Deming Chen, Chen, Deming, Alaa Youssef +85 · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #Distributed #Emerging Technologies (cs.ET) #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #IoT and Edge/Fog Computing #Multiagent Systems (cs.MA) #Parallel #and Cluster Computing (cs.DC)
- Towards Formal Verification of LLM-Generated Code from Natural Language Prompts
2025/07/17 by Aaron Councilman, Zhenming Fu, Councilman, Aaron +11 · 5 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques #Programming Languages (cs.PL)
- Hercules: A Compiler for Productive Programming of Heterogeneous Systems
2025/03/13 by Russel Arbore, Aaron Councilman, Arbore, Russel +9 · 1 citation
Computer Science · #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)