vix.ing · top · new · best · stats · spec

Aiken, Alex

  1. Beyond Data and Model Parallelism for Deep Neural Networks
    2018/07/14 by Zhihao Jia, Jia, Zhihao, Matei Zaharia +3 · 1 voice · 35 citations
    Computer Science · #Distributed #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC) #cs.DC
  2. SPoC: Search-based Pseudocode to Code
    2019/06/12 by Sumith Kulal, Kulal, Sumith, Panupong Pasupat +11 · 48 citations
    Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Programming Languages (cs.PL) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
  3. Stochastic Superoptimization
    2012/11/02 by Eric Schkufza, Rahul Sharma, Schkufza, Eric +3 · 20 citations
    Computer Science · Decision Sciences · #Advanced Bandit Algorithms Research #FOS: Computer and information sciences #Machine Learning and Data Classification #Parallel Computing and Optimization Techniques #Performance (cs.PF) #Programming Languages (cs.PL) #cs.PF #cs.PL
  4. SuperCoder: Assembly Program Superoptimization with Large Language Models
    2025/05/16 by Anjiang Wei, Wei, Anjiang, Tarun Suresh +12 · 2 voices · 5 citations
    Computer Science · #Parallel Computing and Optimization Techniques #Logic, programming, and type systems #Software Engineering Research
  5. Putting People in Their Place: Affordance-Aware Human Insertion into Scenes
    2023/04/27 by Sumith Kulal, Kulal, Sumith, Tim Brooks +14 · 1 voice · 9 citations
    Computer Science · #Advanced Vision and Imaging #Face recognition and analysis #Generative Adversarial Networks and Image Synthesis #cs.AI #cs.CV #cs.GR #cs.LG
  6. Synthesizing Program Input Grammars
    2016/08/05 by Osbert Bastani, Bastani, Osbert, Rahul Sharma +5 · 5 citations
    Computer Science · #Software Testing and Debugging Techniques #Software Engineering Research #Parallel Computing and Optimization Techniques
  7. Exploring Hidden Dimensions in Parallelizing Convolutional Neural\n Networks
    2018/02/13 by Zhihao Jia, Jia, Zhihao, Sina Lin +5 · 7 citations
    Computer Science · #Advanced Neural Network Applications #Distributed #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification #Neural Networks and Applications #Neural and Evolutionary Computing (cs.NE) #Parallel #Stochastic Gradient Optimization Techniques #and Cluster Computing (cs.DC)
  8. Hierarchical Motion Understanding via Motion Programs
    2021/04/22 by Sumith Kulal, Kulal, Sumith, Jiayuan Mao +5 · 1 voice · 1 citation
    Computer Science · Engineering · Mathematics · #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Human Motion and Animation #Human Pose and Action Recognition #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Video Analysis and Summarization #cs.AI #cs.CV #cs.LG #stat.ML
  9. EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking
    2025/02/18 by Anjiang Wei, Wei, Anjiang, Jiannan Cao +19 · 14 citations
    Computer Science · #Natural Language Processing Techniques #Topic Modeling #Semantic Web and Ontologies
  10. Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities
    2021/11/22 by Jessica Pointing, Oded Padon, Pointing, Jessica +11 · 3 citations
    Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Physical sciences #Low-power high-performance VLSI design #Programming Languages (cs.PL) #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph)
  11. Improving Parallel Program Performance with LLM Optimizers via Agent-System Interfaces
    2024/10/21 by Anjiang Wei, Wei, Anjiang, Allen Nie +11 · 9 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Distributed #Embedded Systems Design Techniques #FOS: Computer and information sciences #Machine Learning (cs.LG) #Numerical Methods and Algorithms #Parallel #Parallel Computing and Optimization Techniques #and Cluster Computing (cs.DC)
  12. SpDISTAL: Compiling Distributed Sparse Tensor Computations
    2022/07/28 by Rohan Yadav, Yadav, Rohan, Alex Aiken +3 · 3 citations
    Computer Science · #Advanced Neural Network Applications #Distributed #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Parallel #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #and Cluster Computing (cs.DC)
  13. Optimal Software Pipelining and Warp Specialization for Tensor Core GPUs
    2025/12/19 by Rupanshu Soi, Soi, Rupanshu, Rohan Yadav +11 · 1 voice · 3 citations
    Computer Science · #Cloud Computing and Resource Management #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning (cs.LG) #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #cs.AR #cs.LG #cs.PL
  14. Astra: A Multi-Agent System for GPU Kernel Performance Optimization
    2025/09/09 by Anjiang Wei, Wei, Anjiang, Sun, Tianran +12 · 12 citations
    Computer Science · #Advanced Neural Network Applications #Artificial Intelligence (cs.AI) #Big Data and Digital Economy #Computation and Language (cs.CL) #Distributed #FOS: Computer and information sciences #Machine Learning (cs.LG) #Parallel #Parallel Computing and Optimization Techniques #Software Engineering (cs.SE) #and Cluster Computing (cs.DC)
  15. SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
    2025/05/20 by Anjiang Wei, Wei, Anjiang, Y. Wu +13 · 10 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Natural Language Processing Techniques
  16. HiCCL: A Hierarchical Collective Communication Library
    2024/08/12 by Mert Hidayetoğlu, Simon Garcia de Gonzalo, Hidayetoglu, Mert +11 · 4 citations
    Social Sciences · #Distributed #FOS: Computer and information sciences #Multimedia Communication and Technology #Parallel #and Cluster Computing (cs.DC)
  17. CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
    2025/03/29 by Anjiang Wei, Tarun Suresh, Wei, Anjiang +15 · 7 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Machine Learning (cs.LG) #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL)
  18. Active Learning of Points-To Specifications
    2017/11/09 by Osbert Bastani, Bastani, Osbert, Rahul Sharma +5 · 1 citation
    Computer Science · #Advanced Malware Detection Techniques #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques
  19. VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation
    2025/04/22 by Anjiang Wei, Wei, Anjiang, Tarun Suresh +12 · 8 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Embedded Systems Design Techniques #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning (cs.LG) #Software Engineering (cs.SE)
  20. Task-Based Tensor Computations on Modern GPUs
    2025/04/09 by Rohan Yadav, Yadav, Rohan, Michael Garland +5 · 4 citations
    Computer Science · #Parallel Computing and Optimization Techniques #Logic, programming, and type systems #Advanced Data Storage Technologies
  21. Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion
    2021/12/10 by Jason R. Koenig, Oded Padon, Koenig, Jason R. +5 · 1 citation
    Computer Science · #D.2.4 #Distributed systems and fault tolerance #F.3.1 #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Topic Modeling
  22. Composing Distributed Computations Through Task and Kernel Fusion
    2024/06/26 by Rohan Kumar Yadav, Shiv Sundram, Yadav, Rohan +11 · 2 citations
    Computer Science · #Distributed #FOS: Computer and information sciences #Neural Networks and Applications #Parallel #and Cluster Computing (cs.DC)
  23. Training with Mixed-Precision Floating-Point Assignments
    2023/01/31 by Lee, Wonyeol, Sharma, Rahul, Aiken, Alex · 1 citation
    #FOS: Computer and information sciences #Machine Learning (cs.LG)
  24. Automatic Verification of Floating-Point Accumulation Networks
    2025/05/24 by David K. Zhang, Alex Aiken, Zhang, David K. +1 · 1 citation
    Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Mathematics #Fault Detection and Control Systems #Logic in Computer Science (cs.LO) #Numerical Analysis (math.NA) #Petri Nets in System Modeling