Alex Aiken
11 papers · 2018–2026 · 5 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
🗺️ Taxonomy Completionist (35) 🏃 Academic Marathon · Sprint 🐣 Hot Topic Early Bird 🌉 Interdisciplinary Bridge · Silver 🌍 Conference Polyglot · Silver
🧬
Topic Evolution
📈
Trend Setter
💎
Century Club · Bronze
🗃️
Keyword Collector
(76)
Venues
Top co-authors
Research topics
Machine Learning
(8)
Artificial Intelligence
(7)
Deep Learning
(7)
Core AI
(7)
Computer Science
(3)
Computer Vision
(3)
Learning Types · Machine Learning
(3)
Optimization & Theory · Machine Learning
(3)
Optimization & Theory · Deep Learning
(3)
Analysis
(2)
Applications
(2)
Foundations
(2)
Generation
(2)
Learning Types · Deep Learning
(2)
Processing
(2)
Keywords
video synthesis
(2)
distributed training
(2)
large language model
(2)
benchmark evaluation
(2)
human motion
(2)
neural network optimization
(2)
video generation
(1)
motion synthesis
(1)
semi-supervised learning
(1)
boolean satisfiability
(1)
self-supervised learning
(1)
code generation
(1)
image synthesis
(1)
video understanding
(1)
scene understanding
(1)
image harmonization
(1)
logical reasoning
(1)
program synthesis
(1)
model parallelism
(1)
human pose estimation
(1)
Papers
Optimal Software Pipelining and Warp Specialization for Tensor Core GPUs
OSDI 2026
EquiBench: Benchmarking Large Language Models’ Reasoning about Program Semantics via Equivalence Checking
EMNLP 2025
Improving Parallel Program Performance with LLM Optimizers via Agent-System Interfaces
ICML 2025
SATBench: Benchmarking LLMs’ Logical Reasoning via Automated Puzzle Generation from SAT Formulas
EMNLP 2025
On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters
ICML 2023
Putting People in Their Place: Affordance-Aware Human Insertion Into Scenes
CVPR 2023
Programmatic Concept Learning for Human Motion Description and Synthesis
CVPR 2022
Unity: Accelerating DNN Training Through Joint Optimization of Algebraic Transformations and Parallelization
OSDI 2022
Hierarchical Motion Understanding via Motion Programs
CVPR 2021
SPoC: Search-based Pseudocode to Code
NeurIPS 2019
Exploring Hidden Dimensions in Accelerating Convolutional Neural Networks
ICML 2018