Alex Aiken - RankMe

216 papers A* 69A 40B 16C 2Misc 1Journal 60Unranked 28

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Astra: A Multi-Agent System for GPU Kernel Performance Optimization. CoRR Anjiang Wei, Tianran Sun, Yogesh Seenichamy, Hang Song, Anne Ouyang, Azalia Mirhoseini, Ke Wang, Alex Aiken
2025	—	`conf`	Automatic Tracing in Task-Based Runtime Systems. ASPLOS (1) Rohan Yadav, Michael Bauer, David Broman, Michael Garland, Alex Aiken, Fredrik Kjolstad
2025	—	`conf`	Automatic Verification of Floating-Point Accumulation Networks. CAV (3) David Kai Zhang, Alex Aiken
2025	J	`jnl`	Automatic Verification of Floating-Point Accumulation Networks. CoRR David Kai Zhang, Alex Aiken
2025	J	`jnl`	CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis. CoRR Anjiang Wei, Tarun Suresh, Jiannan Cao, Naveen Kannan, Yuheng Wu, Kai Yan, Thiago S. F. X. Teixeira, Ke Wang, Alex Aiken
2025	—	`conf`	Composing Distributed Computations Through Task and Kernel Fusion. ASPLOS (1) Rohan Yadav, Shiv Sundram, Wonchan Lee, Michael Garland, Michael Bauer, Alex Aiken, Fredrik Kjolstad
2025	J	`jnl`	EquiBench: Benchmarking Code Reasoning Capabilities of Large Language Models via Equivalence Checking. CoRR Anjiang Wei, Jiannan Cao, Ran Li, Hongyu Chen, Yuhui Zhang, Ziheng Wang, Yaofeng Sun, Yuan Liu, Thiago S. F. X. Teixeira, Diyi Yang, Ke Wang, Alex Aiken
2025	A*	`conf`	EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking. EMNLP Anjiang Wei, Jiannan Cao, Ran Li, Hongyu Chen, Yuhui Zhang, Ziheng Wang, Yuan Liu, Thiago S. F. X. Teixeira, Diyi Yang, Ke Wang, Alex Aiken
2025	J	`jnl`	Equivalence Checking of ML GPU Kernels. CoRR Kshitij Dubey, Benjamin Driscoll, Anjiang Wei, Neeraj Kayal, Rahul Sharma, Alex Aiken
2025	A*	`conf`	Flexible Windowing for Correlation-Aware Ranking in Anomalous Environments. ICDM Anwesha Das, Henry Hoffmann, Alex Aiken
2025	A	`conf`	HiCCL: A Hierarchical Collective Communication Library. IPDPS Mert Hidayetoglu, Simon Garcia De Gonzalo, Elliott Slaughter, Pinku Surana, Wen-mei W. Hwu, William Gropp, Alex Aiken
2025	A	`conf`	High-Performance Branch-Free Algorithms for Extended-Precision Floating-Point Arithmetic. SC David Kai Zhang, Alex Aiken
2025	J	`jnl`	Improving Assembly Code Performance with Large Language Models via Reinforcement Learning. CoRR Anjiang Wei, Tarun Suresh, Huanmi Tan, Yinglun Xu, Gagandeep Singh, Ke Wang, Alex Aiken
2025	A*	`conf`	Improving Parallel Program Performance with LLM Optimizers via Agent-System Interfaces. ICML Anjiang Wei, Allen Nie, Thiago S. F. X. Teixeira, Rohan Yadav, Wonchan Lee, Ke Wang, Alex Aiken
2025	J	`jnl`	InvBench: Can LLMs Accelerate Program Verification with Invariant Synthesis? CoRR Anjiang Wei, Tarun Suresh, Tianran Sun, Haoze Wu, Ke Wang, Alex Aiken
2025	—	`conf`	KDRSolvers: Scalable, Flexible, Task-Oriented Krylov Solvers. SC Workshops David Kai Zhang, Rohan Yadav, Alex Aiken, Fredrik Kjolstad, Sean Treichler
2025	J	`jnl`	LogCloud: Fast Search of Compressed Logs on Object Storage. Proc. VLDB Endow. Ziheng Wang, Junyu Wei, Alex Aiken, Guangyan Zhang, Jacob O. Tørring, Rain Jiang, Chenyu Jiang, Wei Xu
2025	J	`jnl`	Mapple: A Domain-Specific Language for Mapping Distributed Heterogeneous Parallel Programs. CoRR Anjiang Wei, Rohan Yadav, Hang Song, Wonchan Lee, Ke Wang, Alex Aiken
2025	J	`jnl`	On the Duality of Task and Actor Programming Models. CoRR Rohan Yadav, Joseph Guman, Sean Treichler, Michael Garland, Alex Aiken, Fredrik Kjolstad, Michael Bauer
2025	J	`jnl`	Optimal Software Pipelining and Warp Specialization for Tensor Core GPUs. CoRR Rupanshu Soi, Rohan Yadav, Fredrik Kjolstad, Alex Aiken, Maryam Mehri Dehnavi, Michael Garland, Michael Bauer
2025	J	`jnl`	Reclaiming the Future: American Information Technology Leadership in an Era of Global Competition. CoRR Alex Aiken, David Jensen, Catherine Gill, William Gropp, Peter Harsha, Brian Mosley, Daniel A. Reed, William Regli
2025	A*	`conf`	Rottnest: Indexing Data Lakes for Search. ICDE Ziheng Wang, Sasha Krassovsky, Conor Kennedy, Alex Aiken, Weston Pace, Rain Jiang, Huayi Zhang, Chenyu Jiang, Wei Xu
2025	A*	`conf`	SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas. EMNLP Anjiang Wei, Yuheng Wu, Yingjia Wan, Tarun Suresh, Huanmi Tan, Zhanke Zhou, Sanmi Koyejo, Ke Wang, Alex Aiken
2025	J	`jnl`	SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas. CoRR Anjiang Wei, Yuheng Wu, Yingjia Wan, Tarun Suresh, Huanmi Tan, Zhanke Zhou, Sanmi Koyejo, Ke Wang, Alex Aiken
2025	J	`jnl`	Task-Based Programming for Adaptive Mesh Refinement in Compressible Flow Simulations. CoRR Anjiang Wei, Hang Song, Mert Hidayetoglu, Elliott Slaughter, Sanjiva K. Lele, Alex Aiken
2025	J	`jnl`	Task-Based Tensor Computations on Modern GPUs. CoRR Rohan Yadav, Michael Garland, Alex Aiken, Michael Bauer
2025	J	`jnl`	Task-Based Tensor Computations on Modern GPUs. Proc. ACM Program. Lang. Rohan Yadav, Michael Garland, Alex Aiken, Michael Bauer
2025	J	`jnl`	VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation. CoRR Anjiang Wei, Huanmi Tan, Tarun Suresh, Daniel Mendoza, Thiago S. F. X. Teixeira, Ke Wang, Caroline Trippel, Alex Aiken
2024	A	`conf`	A Model for Query Execution Over Heterogeneous Instances. CIDR Ziheng Wang, Emanuel Adamiak, Alex Aiken
2024	J	`jnl`	Automatic Tracing in Task-Based Runtime Systems. CoRR Rohan Yadav, Michael Bauer, David Broman, Michael Garland, Alex Aiken, Fredrik Kjolstad
2024	A	`conf`	CommBench: Micro-Benchmarking Hierarchical Networks with Multi-GPU, Multi-NIC Nodes. ICS Mert Hidayetoglu, Simon Garcia De Gonzalo, Elliott Slaughter, Yu Li, Christopher Zimmer, Tekin Bicer, Bin Ren, William Gropp, Wen-Mei Hwu, Alex Aiken
2024	J	`jnl`	Composing Distributed Computations Through Task and Kernel Fusion. CoRR Rohan Yadav, Shiv Sundram, Wonchan Lee, Michael Garland, Michael Bauer, Alex Aiken, Fredrik Kjolstad
2024	A*	`conf`	Efficient Fault Tolerance for Pipelined Query Engines via Write-ahead Lineage. ICDE Ziheng Wang, Alex Aiken
2024	J	`jnl`	Efficient Fault Tolerance for Pipelined Query Engines via Write-ahead Lineage. CoRR Ziheng Wang, Alex Aiken
2024	J	`jnl`	HiCCL: A Hierarchical Collective Communication Library. CoRR Mert Hidayetoglu, Simon Garcia De Gonzalo, Elliott Slaughter, Pinku Surana, Wen-mei W. Hwu, William Gropp, Alex Aiken
2024	J	`jnl`	Improving Parallel Program Performance Through DSL-Driven Code Generation with LLM Optimizers. CoRR Anjiang Wei, Allen Nie, Thiago S. F. X. Teixeira, Rohan Yadav, Wonchan Lee, Ke Wang, Alex Aiken
2024	J	`jnl`	Recursive Program Synthesis using Paramorphisms. Proc. ACM Program. Lang. Qiantan Hong, Alex Aiken
2024	—	`conf`	Speaking Pygion: Experiences Writing an Exascale Single Particle Imaging Code. WAMTA Seema Mirchandaney, Alex Aiken, Elliott Slaughter
2023	A	`conf`	Automated Mapping of Task-Based Programs onto Distributed and Heterogeneous Machines. SC Thiago S. F. X. Teixeira, Alexandra Henzinger, Rohan Yadav, Alex Aiken
2023	A	`conf`	Legate Sparse: Distributed Sparse Computing in Python. SC Rohan Yadav, Wonchan Lee, Melih Elibol, Manolis Papadakis, Taylor Lee Patti, Michael Garland, Alex Aiken, Fredrik Kjolstad, Michael Bauer
2023	A*	`conf`	On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters. ICML Wonyeol Lee, Sejun Park, Alex Aiken
2023	J	`jnl`	On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters. CoRR Wonyeol Lee, Sejun Park, Alex Aiken
2023	—	`conf`	Prolego: Time-Series Analysis for Predicting Failures in Complex Systems. ACSOS Anwesha Das, Alex Aiken
2023	A*	`conf`	Putting People in Their Place: Affordance-Aware Human Insertion into Scenes. CVPR Sumith Kulal, Tim Brooks, Alex Aiken, Jiajun Wu, Jimei Yang, Jingwan Lu, Alexei A. Efros, Krishna Kumar Singh
2023	J	`jnl`	Putting People in Their Place: Affordance-Aware Human Insertion into Scenes. CoRR Sumith Kulal, Tim Brooks, Alex Aiken, Jiajun Wu, Jimei Yang, Jingwan Lu, Alexei A. Efros, Krishna Kumar Singh
2023	J	`jnl`	Training with Mixed-Precision Floating-Point Assignments. CoRR Wonyeol Lee, Rahul Sharma, Alex Aiken
2023	J	`jnl`	Training with Mixed-Precision Floating-Point Assignments. Trans. Mach. Learn. Res. Wonyeol Lee, Rahul Sharma, Alex Aiken
2023	B	`conf`	Visibility Algorithms for Dynamic Dependence Analysis and Distributed Coherence. PPoPP Michael Bauer, Elliott Slaughter, Sean Treichler, Wonchan Lee, Michael Garland, Alex Aiken
2022	J	`jnl`	DISTAL: The Distributed Tensor Algebra Compiler. CoRR Rohan Yadav, Alex Aiken, Fredrik Kjolstad
2022	A*	`conf`	DISTAL: the distributed tensor algebra compiler. PLDI Rohan Yadav, Alex Aiken, Fredrik Kjolstad
2022	J	`jnl`	Induction duality: primal-dual search for invariants. Proc. ACM Program. Lang. Oded Padon, James R. Wilcox, Jason R. Koenig, Kenneth L. McMillan, Alex Aiken
2022	—	`conf`	Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion. TACAS (1) Jason R. Koenig, Oded Padon, Sharon Shoham, Alex Aiken
2022	J	`jnl`	Optimizing Mixture of Experts using Dynamic Recompilations. CoRR Ferdinand Kossmann, Zhihao Jia, Alex Aiken
2022	—	`conf`	Performance Variability and Causality in Complex Systems. ACSOS-C Anwesha Das, Daniel Ratner, Alex Aiken
2022	A*	`conf`	Programmatic Concept Learning for Human Motion Description and Synthesis. CVPR Sumith Kulal, Jiayuan Mao, Alex Aiken, Jiajun Wu
2022	J	`jnl`	Programmatic Concept Learning for Human Motion Description and Synthesis. CoRR Sumith Kulal, Jiayuan Mao, Alex Aiken, Jiajun Wu
2022	J	`jnl`	Quartz: Superoptimization of Quantum Circuits (Extended Version). CoRR Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia
2022	A*	`conf`	Quartz: superoptimization of Quantum circuits. PLDI Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia
2022	A	`conf`	SpDISTAL: Compiling Distributed Sparse Tensor Computations. SC Rohan Yadav, Alex Aiken, Fredrik Kjolstad
2022	J	`jnl`	SpDISTAL: Compiling Distributed Sparse Tensor Computations. CoRR Rohan Yadav, Alex Aiken, Fredrik Kjolstad
2022	—	`conf`	Task Fusion in Distributed Runtimes. PAW-ATM@SC Shiv Sundram, Wonchan Lee, Alex Aiken
2022	A*	`conf`	Unity: Accelerating DNN Training Through Joint Optimization of Algebraic Transformations and Parallelization. OSDI Colin Unger, Zhihao Jia, Wei Wu, Sina Lin, Mandeep Baines, Carlos Efrain Quintero Narvaez, Vinay Ramakrishnaiah, Nirmal Prajapati, Patrick S. McCormick, Jamaludin Mohd-Yusof, Xi Luo, Dheevatsa Mudigere, Jongsoo Park, Misha Smelyanskiy, Alex Aiken
2021	A*	`conf`	Adaptive restarts for stochastic synthesis. PLDI Jason R. Koenig, Oded Padon, Alex Aiken
2021	J	`jnl`	FLEET - Fast Lanes for Expedited Execution at 10 Terabits: Program Overview. IEEE Internet Comput. Fred Douglis, Seth Robertson, Eric van den Berg, Josephine Micallef, Marc Pucci, Alex Aiken, Keren Bergman, Maarten Hattink, Mingoo Seok
2021	A*	`conf`	Hierarchical Motion Understanding via Motion Programs. CVPR Sumith Kulal, Jiayuan Mao, Alex Aiken, Jiajun Wu
2021	J	`jnl`	Hierarchical Motion Understanding via Motion Programs. CoRR Sumith Kulal, Jiayuan Mao, Alex Aiken, Jiajun Wu
2021	A	`conf`	Index launches: scalable, flexible representation of parallel task groups. SC Rupanshu Soi, Michael Bauer, Sean Treichler, Manolis Papadakis, Wonchan Lee, Patrick S. McCormick, Alex Aiken, Elliott Slaughter
2021	J	`jnl`	Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion. CoRR Jason R. Koenig, Oded Padon, Sharon Shoham, Alex Aiken
2021	J	`jnl`	Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities. CoRR Jessica Pointing, Oded Padon, Zhihao Jia, Henry Ma, Auguste Hirth, Jens Palsberg, Alex Aiken
2021	B	`conf`	Scaling implicit parallelism via dynamic control replication. PPoPP Michael Bauer, Wonchan Lee, Elliott Slaughter, Zhihao Jia, Mario Di Renzo, Manolis Papadakis, Galen M. Shipman, Patrick S. McCormick, Michael Garland, Alex Aiken
2020	A*	`conf`	First-order quantified separators. PLDI Jason R. Koenig, Oded Padon, Neil Immerman, Alex Aiken
2020	—	`conf`	Improving the Accuracy, Scalability, and Performance of Graph Neural Networks with Roc. MLSys Zhihao Jia, Sina Lin, Mingyu Gao, Matei Zaharia, Alex Aiken
2020	A*	`conf`	Redundancy-Free Computation for Graph Neural Networks. KDD Zhihao Jia, Sina Lin, Rex Ying, Jiaxuan You, Jure Leskovec, Alex Aiken
2020	A	`conf`	Task bench: a parameterized benchmark for evaluating parallel runtime performance. SC Elliott Slaughter, Wei Wu, Yuankun Fu, Legend Brandenburg, Nicolai Garcia, Wilhem Kautz, Emily Marx, Kaleb S. Morris, Qinglei Cao, George Bosilca, Seema Mirchandaney, Wonchan Lee, Sean Treichler, Patrick S. McCormick, Alex Aiken
2019	A	`conf`	A constraint-based approach to automatic data partitioning for distributed memory execution. SC Wonchan Lee, Manolis Papadakis, Elliott Slaughter, Alex Aiken
2019	—	`conf`	Beyond Data and Model Parallelism for Deep Neural Networks. SysML Zhihao Jia, Matei Zaharia, Alex Aiken
2019	A	`conf`	Eventually Sound Points-To Analysis with Specifications. ECOOP Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken
2019	—	`conf`	Optimizing DNN Computation with Relaxed Graph Substitutions. SysML Zhihao Jia, James Thomas, Todd Warszawski, Mingyu Gao, Matei Zaharia, Alex Aiken
2019	—	`conf`	Pygion: Flexible, Scalable Task-Based Parallelism with Python. PAW-ATM@SC Elliott Slaughter, Alex Aiken
2019	J	`jnl`	Redundancy-Free Computation Graphs for Graph Neural Networks. CoRR Zhihao Jia, Sina Lin, Rex Ying, Jiaxuan You, Jure Leskovec, Alex Aiken
2019	A*	`conf`	SPoC: Search-based Pseudocode to Code. NeurIPS Sumith Kulal, Panupong Pasupat, Kartik Chandra, Mina Lee, Oded Padon, Alex Aiken, Percy Liang
2019	J	`jnl`	SPoC: Search-based Pseudocode to Code. CoRR Sumith Kulal, Panupong Pasupat, Kartik Chandra, Mina Lee, Oded Padon, Alex Aiken, Percy Liang
2019	A*	`conf`	Semantic program alignment for equivalence checking. PLDI Berkeley R. Churchill, Oded Padon, Rahul Sharma, Alex Aiken
2019	A*	`conf`	TASO: optimizing deep learning computation with automatic generation of graph substitutions. SOSP Zhihao Jia, Oded Padon, James Thomas, Todd Warszawski, Matei Zaharia, Alex Aiken
2019	J	`jnl`	Task Bench: A Parameterized Benchmark for Evaluating Parallel Runtime Performance. CoRR Elliott Slaughter, Wei Wu, Yuankun Fu, Legend Brandenburg, Nicolai Garcia, Wilhem Kautz, Emily Marx, Kaleb S. Morris, Wonchan Lee, Qinglei Cao, George Bosilca, Seema Mirchandaney, Sean Treichler, Patrick S. McCormick, Alex Aiken
2018	A*	`conf`	Active learning of points-to specifications. PLDI Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
2018	J	`jnl`	Beyond Data and Model Parallelism for Deep Neural Networks. CoRR Zhihao Jia, Matei Zaharia, Alex Aiken
2018	—	`conf`	Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems. CORRECTNESS@SC Wonchan Lee, George Stelle, Patrick S. McCormick, Alex Aiken
2018	A	`conf`	Dynamic tracing: memoization of task graphs for dynamic task-based runtimes. SC Wonchan Lee, Elliott Slaughter, Michael Bauer, Sean Treichler, Todd Warszawski, Michael Garland, Alex Aiken
2018	A*	`conf`	Exploring Hidden Dimensions in Parallelizing Convolutional Neural Networks. ICML Zhihao Jia, Sina Lin, Charles R. Qi, Alex Aiken
2018	J	`jnl`	Exploring Hidden Dimensions in Parallelizing Convolutional Neural Networks. CoRR Zhihao Jia, Sina Lin, Charles R. Qi, Alex Aiken
2018	A	`conf`	Isometry: A Path-Based Distributed Data Transfer System. ICS Zhihao Jia, Sean Treichler, Galen M. Shipman, Patrick S. McCormick, Alex Aiken
2018	J	`jnl`	On automatically proving the correctness of math.h implementations. Proc. ACM Program. Lang. Wonyeol Lee, Rahul Sharma, Alex Aiken
2017	J	`jnl`	A Distributed Multi-GPU System for Fast Graph Processing. Proc. VLDB Endow. Zhihao Jia, Yongkee Kwon, Galen M. Shipman, Patrick S. McCormick, Mattan Erez, Alex Aiken
2017	J	`jnl`	Active Learning of Points-To Specifications. CoRR Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
2017	A	`conf`	Control replication: compiling implicit parallelism to efficient SPMD with logical regions. SC Elliott Slaughter, Wonchan Lee, Sean Treichler, Wen Zhang, Michael Bauer, Galen M. Shipman, Patrick S. McCormick, Alex Aiken
2017	J	`jnl`	Eventually Sound Points-To Analysis with Missing Code. CoRR Osbert Bastani, Lazaro Clapp, Saswat Anand, Rahul Sharma, Alex Aiken
2017	—	`conf`	In situ visualization with task-based parallelism. ISAV@SC Alan Heirich, Elliott Slaughter, Manolis Papadakis, Wonchan Lee, Tim Biedert, Alex Aiken
2017	Misc	`conf`	Integrating External Resources with a Task-Based Programming Model. HiPC Zhihao Jia, Sean Treichler, Galen M. Shipman, Michael Bauer, Noah Watkins, Carlos Maltzahn, Patrick S. McCormick, Alex Aiken
2017	J	`jnl`	Seam: provably safe local edits on graphs. Proc. ACM Program. Lang. Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, Pat Hanrahan
2017	A*	`conf`	Sound Loop Superoptimization for Google Native Client. ASPLOS Berkeley R. Churchill, Rahul Sharma, J. F. Bastien, Alex Aiken
2017	A*	`conf`	Synthesizing program input grammars. PLDI Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
2016	A	`conf`	Dependent partitioning. OOPSLA Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, Alex Aiken
2016	J	`jnl`	From invariant checking to invariant inference using randomized search. Formal Methods Syst. Des. Rahul Sharma, Alex Aiken
2016	—	`conf`	Minimizing GUI event traces. SIGSOFT FSE Lazaro Clapp, Osbert Bastani, Saswat Anand, Alex Aiken
2016	J	`jnl`	Stochastic program optimization. Commun. ACM Eric Schkufza, Rahul Sharma, Alex Aiken
2016	A*	`conf`	Stratified synthesis: automatically learning the x86-64 instruction set. PLDI Stefan Heule, Eric Schkufza, Rahul Sharma, Alex Aiken
2016	J	`jnl`	Synthesizing Program Input Grammars. CoRR Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
2016	—	`conf`	Towards Asynchronous Many-Task in Situ Data Analysis Using Legion. IPDPS Workshops Philippe P. Pébay, Janine C. Bennett, David S. Hollman, Sean Treichler, Patrick S. McCormick, Christine Sweeney, Hemanth Kolla, Alex Aiken
2016	A*	`conf`	Verifying bit-manipulations of floating-point. PLDI Wonyeol Lee, Rahul Sharma, Alex Aiken
2015	—	`conf`	An interactive approach to mobile app verification. MobileDeLi Osbert Bastani, Saswat Anand, Alex Aiken
2015	—	`conf`	Automatic and transparent I/O optimization with storage integrated application runtime support. PDSW@SC Noah Watkins, Zhihao Jia, Galen M. Shipman, Carlos Maltzahn, Alex Aiken, Patrick S. McCormick
2015	A*	`conf`	Composing concurrency control. PLDI Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv
2015	A	`conf`	Conditionally correct superoptimization. OOPSLA Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken
2015	A	`conf`	Interactively verifying absence of explicit information flows in Android apps. OOPSLA Osbert Bastani, Saswat Anand, Alex Aiken
2015	A	`conf`	Modelgen: mining explicit information flow specifications from concrete executions. ISSTA Lazaro Clapp, Saswat Anand, Alex Aiken
2015	A	`conf`	Regent: a high-productivity programming language for HPC with logical regions. SC Elliott Slaughter, Wonchan Lee, Sean Treichler, Michael Bauer, Alex Aiken
2015	A*	`conf`	Specification Inference Using Context-Free Language Reachability. POPL Osbert Bastani, Saswat Anand, Alex Aiken
2015	A*	`conf`	Verification of producer-consumer synchronization in GPU programs. PLDI Rahul Sharma, Michael Bauer, Alex Aiken
2014	—	`conf`	Apposcopy: automated detection of Android malware (invited talk). DeMobile@SIGSOFT FSE Yu Feng, Isil Dillig, Saswat Anand, Alex Aiken
2014	—	`conf`	Apposcopy: semantics-based detection of Android malware through static analysis. SIGSOFT FSE Yu Feng, Saswat Anand, Isil Dillig, Alex Aiken
2014	A*	`conf`	Bias-variance tradeoffs in program analysis. POPL Rahul Sharma, Aditya V. Nori, Alex Aiken
2014	A*	`conf`	First-class runtime generation of high-performance types using exotypes. PLDI Zachary DeVito, Daniel Ritchie, Matthew Fisher, Alex Aiken, Pat Hanrahan
2014	A*	`conf`	From Invariant Checking to Invariant Inference Using Randomized Search. CAV Rahul Sharma, Alex Aiken
2014	C	`conf`	M ISMM David Terei, Alex Aiken, Jan Vitek
2014	B	`conf`	Realm: an event-based low-level runtime for distributed memory architectures. PACT Sean Treichler, Michael Bauer, Alex Aiken
2014	B	`conf`	Singe: leveraging warp specialization for high performance on GPUs. PPoPP Michael Bauer, Sean Treichler, Alex Aiken
2014	A*	`conf`	Stochastic optimization of floating-point programs with tunable precision. PLDI Eric Schkufza, Rahul Sharma, Alex Aiken
2014	A	`conf`	Structure Slicing: Extending Logical Regions with Fields. SC Michael Bauer, Sean Treichler, Elliott Slaughter, Alex Aiken
2014	A	`conf`	Verifying atomicity via data independence. ISSTA Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev
2013	A	`conf`	A Data Driven Approach for Algebraic Loop Invariants. ESOP Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya V. Nori
2013	A*	`conf`	Crowd-scale interactive formal reasoning and analytics. UIST Ethan Fast, Colleen Lee, Alex Aiken, Michael S. Bernstein, Daphne Koller, Eric Smith
2013	A	`conf`	Data-driven equivalence checking. OOPSLA Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken
2013	A	`conf`	Language support for dynamic, hierarchical data partitioning. OOPSLA Sean Treichler, Michael Bauer, Alex Aiken
2013	A*	`conf`	Stochastic superoptimization. ASPLOS Eric Schkufza, Rahul Sharma, Alex Aiken
2013	A*	`conf`	Terra: a multi-stage language for high-performance computing. PLDI Zachary DeVito, James Hegarty, Alex Aiken, Pat Hanrahan, Jan Vitek
2013	B	`conf`	Verification as Learning Geometric Concepts. SAS Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Aditya V. Nori
2012	J	`jnl`	An introduction to data representation synthesis. Commun. ACM Peter Hawkins, Martin C. Rinard, Alex Aiken, Mooly Sagiv, Kathleen Fisher
2012	A*	`conf`	Automated error diagnosis using abductive inference. PLDI Isil Dillig, Thomas Dillig, Alex Aiken
2012	A*	`conf`	Concurrent data representation synthesis. PLDI Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv
2012	A*	`conf`	Interpolants as Classifiers. CAV Rahul Sharma, Aditya V. Nori, Alex Aiken
2012	A	`conf`	Legion: expressing locality and independence with logical regions. SC Michael Bauer, Sean Treichler, Elliott Slaughter, Alex Aiken
2012	A*	`conf`	Minimum Satisfying Assignments for SMT. CAV Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Alex Aiken
2012	A	`conf`	Reasoning about Lock Placements. ESOP Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv
2012	J	`jnl`	Stochastic Superoptimization CoRR Eric Schkufza, Rahul Sharma, Alex Aiken
2012	A	`conf`	Understanding the behavior of database operations under program control. OOPSLA Juan M. Tamayo, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv
2011	A	`conf`	Automatic fine-grain locking using shape properties. OOPSLA Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav
2011	J	`jnl`	Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. Formal Methods Syst. Des. Isil Dillig, Thomas Dillig, Alex Aiken
2011	A*	`conf`	Data representation synthesis. PLDI Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv
2011	—	`conf`	Inferring data polymorphism in systems code. SIGSOFT FSE Brian Hackett, Alex Aiken
2011	A	`conf`	Liszt: a domain specific language for building portable mesh-based PDE solvers. SC Zach DeVito, Niels Joubert, Francisco Palacios, Stephen Oakley, Montserrat Medina, Mike Barrientos, Erich Elsen, Frank Ham, Alex Aiken, Karthik Duraisamy, Eric Darve, Juan J. Alonso, Pat Hanrahan
2011	A	`conf`	Online detection of multi-component interactions in production systems. DSN Adam J. Oliner, Alex Aiken
2011	A*	`conf`	Precise and compact modular procedure summaries for heap manipulating programs. PLDI Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv
2011	A*	`conf`	Precise reasoning for programs using containers. POPL Isil Dillig, Thomas Dillig, Alex Aiken
2011	B	`conf`	Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia. PPoPP Michael Bauer, John Clark, Eric Schkufza, Alex Aiken
2011	A*	`conf`	Simplifying Loop Invariant Generation Using Splitter Predicates. CAV Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken
2011	A	`conf`	Testing atomicity of composed concurrent operations. OOPSLA Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav
2010	A	`conf`	A query language for understanding component interactions in production systems. ICS Adam J. Oliner, Alex Aiken
2010	A	`conf`	Community Epidemic Detection Using Time-Correlated Anomalies. RAID Adam J. Oliner, Ashutosh V. Kulkarni, Alex Aiken
2010	B	`conf`	Data Structure Fusion. APLAS Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv
2010	A	`conf`	Expanding the frontiers of computer science: designing a curriculum to reflect a diverse field. SIGCSE Mehran Sahami, Alex Aiken, Julie Zelenski
2010	A	`conf`	Fluid Updates: Beyond Strong vs. Weak Updates. ESOP Isil Dillig, Thomas Dillig, Alex Aiken
2010	A*	`ed.`	Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010 PLDI Benjamin G. Zorn, Alex Aiken
2010	J	`jnl`	Reasoning about the unknown in static analysis. Commun. ACM Isil Dillig, Thomas Dillig, Alex Aiken
2010	B	`conf`	Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis. SAS Isil Dillig, Thomas Dillig, Alex Aiken
2010	A	`conf`	Symbolic heap abstraction with demand-driven axiomatization of memory invariants. OOPSLA Isil Dillig, Thomas Dillig, Alex Aiken
2010	A	`conf`	Using correlated surprise to infer shared influence. DSN Adam J. Oliner, Ashutosh V. Kulkarni, Alex Aiken
2009	A*	`conf`	Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers. CAV Isil Dillig, Thomas Dillig, Alex Aiken
2008	J	`jnl`	A capability calculus for concurrency and determinism. ACM Trans. Program. Lang. Syst. Tachio Terauchi, Alex Aiken
2008	B	`conf`	A portable runtime interface for multi-level memory hierarchies. PPoPP Mike Houston, Ji Young Park, Manman Ren, Timothy J. Knight, Kayvon Fatahalian, Alex Aiken, William J. Dally, Pat Hanrahan
2008	B	`conf`	A tuning framework for software-managed memory hierarchies. PACT Manman Ren, Ji Young Park, Mike Houston, Alex Aiken, William J. Dally
2008	A*	`conf`	Alert Detection in System Logs. ICDM Adam J. Oliner, Alex Aiken, Jon Stearley
2008	A*	`conf`	Binary Translation Using Peephole Superoptimizers. OSDI Sorav Bansal, Alex Aiken
2008	A*	`conf`	Sound, complete and scalable path-sensitive analysis. PLDI Isil Dillig, Thomas Dillig, Alex Aiken
2008	A*	`conf`	Verifying the Safety of User Pointer Dereferences. SP Suhabe Bugrara, Alex Aiken
2008	J	`jnl`	Witnessing side effects. ACM Trans. Program. Lang. Syst. Tachio Terauchi, Alex Aiken
2007	—	`conf`	An overview of the saturn project. PASTE Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins
2007	B	`conf`	Compilation for explicitly managed memory hierarchies. PPoPP Timothy J. Knight, Ji Young Park, Manman Ren, Mike Houston, Mattan Erez, Kayvon Fatahalian, Alex Aiken, William J. Dally, Pat Hanrahan
2007	A*	`conf`	Conditional must not aliasing for static race detection. POPL Mayur Naik, Alex Aiken
2007	J	`jnl`	In Memoriam: John W. Backus, 1924-2007. login Usenix Mag. Alex Aiken
2007	—	`conf`	Measuring empirical computational complexity. ESEC/SIGSOFT FSE Simon Goldsmith, Alex Aiken, Daniel Shawcross Wilkerson
2007	A*	`conf`	Regularly annotated set constraints. PLDI John Kodumal, Alex Aiken
2007	J	`jnl`	Saturn: A scalable framework for error detection using Boolean satisfiability. ACM Trans. Program. Lang. Syst. Yichen Xie, Alex Aiken
2007	A*	`conf`	Static error detection using semantic inconsistency inference. PLDI Isil Dillig, Thomas Dillig, Alex Aiken
2006	B	`conf`	A Capability Calculus for Concurrency and Determinism. CONCUR Tachio Terauchi, Alex Aiken
2006	A*	`conf`	Automatic generation of peephole superoptimizers. ASPLOS Sorav Bansal, Alex Aiken
2006	A*	`conf`	Effective static race detection for Java. PLDI Mayur Naik, Alex Aiken, John Whaley
2006	J	`jnl`	Flow-insensitive type qualifiers. ACM Trans. Program. Lang. Syst. Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken
2006	—	`conf`	How is aliasing used in systems software? SIGSOFT FSE Brian Hackett, Alex Aiken
2006	A*	`conf`	On Typability for Rank-2 Intersection Types with Polymorphic Recursion. LICS Tachio Terauchi, Alex Aiken
2006	C	`conf`	Scalable program analysis using Boolean satisfiability. MEMOCODE Alex Aiken
2006	A	`conf`	Sequoia: programming the memory hierarchy. SC Kayvon Fatahalian, Daniel Reiter Horn, Timothy J. Knight, Larkhoon Leem, Mike Houston, Ji Young Park, Mattan Erez, Manman Ren, Alex Aiken, William J. Dally, Pat Hanrahan
2006	A*	`conf`	Static Detection of Security Vulnerabilities in Scripting Languages. USENIX Security Symposium Yichen Xie, Alex Aiken
2006	A*	`conf`	Statistical debugging: simultaneous identification of multiple bugs. ICML Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken
2005	B	`conf`	Banshee: A Scalable Constraint-Based Analysis Toolkit. SAS John Kodumal, Alex Aiken
2005	—	`conf`	Context- and path-sensitive memory leak detection. ESEC/SIGSOFT FSE Yichen Xie, Alex Aiken
2005	A	`conf`	Relational queries over program traces. OOPSLA Simon Goldsmith, Robert O'Callahan, Alex Aiken
2005	A*	`conf`	Saturn: A SAT-Based Tool for Bug Detection. CAV Yichen Xie, Alex Aiken
2005	A*	`conf`	Scalable error detection using boolean satisfiability. POPL Yichen Xie, Alex Aiken
2005	A*	`conf`	Scalable statistical bug isolation. PLDI Ben Liblit, Mayur Naik, Alice X. Zheng, Alex Aiken, Michael I. Jordan
2005	B	`conf`	Secure Information Flow as a Safety Problem. SAS Tachio Terauchi, Alex Aiken
2005	A	`conf`	Witnessing side-effects. ICFP Tachio Terauchi, Alex Aiken
2004	A*	`conf`	The set constraint/CFL reachability connection in practice. PLDI John Kodumal, Alex Aiken
2003	A*	`conf`	Bug isolation via remote program sampling. PLDI Ben Liblit, Alex Aiken, Alice X. Zheng, Michael I. Jordan
2003	A*	`conf`	Checking and inferring local non-aliasing. PLDI Alex Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi
2003	A*	`ed.`	Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003 POPL Alex Aiken, Greg Morrisett
2003	—	`conf`	Statistical Debugging of Sampled Programs. NIPS Alice X. Zheng, Michael I. Jordan, Ben Liblit, Alex Aiken
2003	B	`conf`	Type Systems for Distributed Data Sharing. SAS Ben Liblit, Alex Aiken, Katherine A. Yelick
2003	—	`conf`	Winnowing: Local Algorithms for Document Fingerprinting. SIGMOD Conference Saul Schleimer, Daniel Shawcross Wilkerson, Alex Aiken
2002	A*	`conf`	Flow-Sensitive Type Qualifiers. PLDI Jeffrey S. Foster, Tachio Terauchi, Alex Aiken
2001	A*	`conf`	Language Support for Regions. PLDI David Gay, Alex Aiken
1999	A*	`ed.`	POPL '99, Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 20-22, 1999 POPL Andrew W. Appel, Alex Aiken
1998	A*	`conf`	Attack-Resistant Trust Metrics for Public Key Certification. USENIX Security Symposium Raph Levien, Alex Aiken
1998	A*	`conf`	Memory Management with Explicit Regions. PLDI David Gay, Alex Aiken
1998	J	`jnl`	Titanium: A High-performance Java Dialect. Concurr. Pract. Exp. Katherine A. Yelick, Luigi Semenzato, Geoff Pike, Carleton Miyamoto, Ben Liblit, Arvind Krishnamurthy, Paul N. Hilfinger, Susan L. Graham, David Gay, Phillip Colella, Alex Aiken
1996	B	`conf`	Constraint-Based Program Analysis (Abstract). SAS Alex Aiken