A development environment for horizontal microcode programs. - Alexander Aiken; Alexandru Nicolau (MICRO, 1986)

Perfect Pipelining: A New Loop Parallelization Technique. - Alexander Aiken; Alexandru Nicolau (ESOP, 1988)

Optimal Loop Parallelization. - Alexander Aiken; Alexandru Nicolau (PLDI, 1988)

Fine-grain compilation for pipelined machines. - Alexandru Nicolau; Keshav Pingali; Alexander Aiken (J. Supercomput., 1988)

A Development Environment for Horizontal Microcode. - Alexander Aiken; Alexandru Nicolau (IEEE Trans. Software Eng., 1988)

Compaction-Based Parallelization. - Alexander Aiken (1988)

Program Transformation in the Presence of Errors. - Alexander Aiken; John H. Williams; Edward L. Wimmers (POPL, 1990)

A Theory of Compaction-Based Parallelization. - Alexander Aiken (Theor. Comput. Sci., 1990)

Implementing Regular Tree Expressions. - Alexander Aiken; Brian R. Murphy (FPCA, 1991)

Static Type Inference in a Dynamically Typed Language. - Alexander Aiken; Brian R. Murphy (POPL, 1991)

Solving Systems of Set Constraints (Extended Abstract) - Alexander Aiken; Edward L. Wimmers (LICS, 1992)

Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. - Alexander Aiken; Jennifer Widom; Joseph M. Hellerstein (SIGMOD Conference, 1992)

The Complexity of Set Constraints. - Alexander Aiken; Dexter Kozen; Moshe Y. Vardi; Edward L. Wimmers (CSL, 1993)

Type Inclusion Constraints and Type Inference. - Alexander Aiken; Edward L. Wimmers (FPCA, 1993)

Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation. - Lorenz Huelsbergen; James R. Larus; Alexander Aiken (LISP and Functional Programming, 1994)

Soft Typing with Conditional Types. - Alexander Aiken; Edward L. Wimmers; T. K. Lakshman (POPL, 1994)

Set Constraints: Results, Applications, and Future Directions. - Alexander Aiken (PPCP, 1994)

Directional Type Checking of Logic Programs - Alexander Aiken; T. K. Lakshman (SAS, 1994)

Zooming and Tunneling in Tioga: Supporting Navigation in Multimedia Space. - Allison Woodruff; Peter Wisnovsky; Cimarron Taylor; Michael Stonebraker; Caroline Paxson; Jolly Chen; Alexander Aiken (VL, 1994)

The Tioga-2 Database Visualization Environment. - Alexander Aiken; Jolly Chen; Mark Lin; Mybrid Spalding; Michael Stonebraker; Allison Woodruff (Workshop on Database Issues for Data Visualization, 1995)

Dynamic Typing and Subtype Inference. - Alexander Aiken; Manuel Fähndrich (FPCA, 1995)

Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages. - Alexander Aiken; Manuel Fähndrich; Raph Levien (PLDI, 1995)

Navigation and Coordination Primitives for Multidimensional Visual Browsers. - Allison Woodruff; Alan Su; Michael Stonebraker; Caroline Paxson; Jolly Chen; Alexander Aiken; Peter Wisnovsky; Cimarron Taylor (VDB, 1995)

Static Analysis Techniques for Predicting the Behavior of Active Database Rules. - Alexander Aiken; Joseph M. Hellerstein; Jennifer Widom (ACM Trans. Database Syst., 1995)

Safe: A Semantic Technique for Transforming Programs in the Presence of Errors. - Alexander Aiken; John H. Williams; Edward L. Wimmers (ACM Trans. Program. Lang. Syst., 1995)

Resource-Constrained Software Pipelining. - Alexander Aiken; Alexandru Nicolau; Steven Novack (IEEE Trans. Parallel Distributed Syst., 1995)

Decidability of Systems of Set Constraints with Negative Constraints - Alexander Aiken; Dexter Kozen; Edward L. Wimmers (Inf. Comput., 1995)

Tioga-2: A Direct Manipulation Database Visualization Environment. - Alexander Aiken; Jolly Chen; Michael Stonebraker; Allison Woodruff (ICDE, 1996)

Constraint-Based Program Analysis (Abstract). - Alex Aiken (SAS, 1996)

Cool: A Portable Project for Teaching Compiler Construction. - Alexander Aiken (ACM SIGPLAN Notices, 1996)

Program Analysis Using Mixed Term and Set Constraints. - Manuel Fähndrich; Alexander Aiken (SAS, 1997)

Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract). - Alexander Aiken; Edward L. Wimmers; Jens Palsberg (TACS, 1997)

Partial Online Cycle Elimination in Inclusion Constraint Graphs. - Manuel Fähndrich; Jeffrey S. Foster; Zhendong Su 001; Alexander Aiken (PLDI, 1998)

Memory Management with Explicit Regions. - David Gay; Alex Aiken (PLDI, 1998)

Barrier Inference. - Alexander Aiken; David Gay (POPL, 1998)

DataSplash. - Chris Olston; Allison Woodruff; Alexander Aiken; Michael Chu; Vuk Ercegovac; Mark Lin; Mybrid Spalding; Michael Stonebraker (SIGMOD Conference, 1998)

A Toolkit for Constructing Type- and Constraint-Based Program Analyses. - Alexander Aiken; Manuel Fähndrich; Jeffrey S. Foster; Zhendong Su 001 (Types in Compilation, 1998)

Attack-Resistant Trust Metrics for Public Key Certification. - Raph Levien; Alex Aiken (USENIX Security Symposium, 1998)

VIQING: Visual Interactive Querying. - Chris Olston; Michael Stonebraker; Alexander Aiken; Joseph M. Hellerstein (VL, 1998)

Titanium: A High-performance Java Dialect. - 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 (Concurr. Pract. Exp., 1998)

A Theory of Type Qualifiers. - Jeffrey S. Foster; Manuel Fähndrich; Alexander Aiken (PLDI, 1999)

Optimal Representations of Polymorphic Types with Subtyping. - Alexander Aiken; Edward L. Wimmers; Jens Palsberg (High. Order Symb. Comput., 1999)

Introduction to Set Constraint-Based Program Analysis. - Alexander Aiken (Sci. Comput. Program., 1999)

A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. - David A. Wagner 001; Jeffrey S. Foster; Eric A. Brewer; Alexander Aiken (NDSS, 2000)

Type Systems for Distributed Data Structures. - Ben Liblit; Alexander Aiken (POPL, 2000)

Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. - Zhendong Su 001; Manuel Fähndrich; Alexander Aiken (POPL, 2000)

Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. - Jeffrey S. Foster; Manuel Fähndrich; Alexander Aiken (SAS, 2000)

Detecting races in Relay Ladder Logic programs. - Alexander Aiken; Manuel Fähndrich; Zhendong Su 001 (Int. J. Softw. Tools Technol. Transf., 2000)

Entailment with Conditional Equality Constraints. - Zhendong Su 001; Alexander Aiken (ESOP, 2001)

Language Support for Regions. - David Gay; Alex Aiken (PLDI, 2001)

DataSplash: A Direct Manipulation Environment for Programming Semantic Zoom Visualizations of Tabular Data. - Allison Woodruff; Chris Olston; Alexander Aiken; Michael Chu; Vuk Ercegovac; Mark Lin; Mybrid Spalding; Michael Stonebraker (J. Vis. Lang. Comput., 2001)

Flow-Sensitive Type Qualifiers. - Jeffrey S. Foster; Tachio Terauchi; Alex Aiken (PLDI, 2002)

The first-order theory of subtyping constraints. - Zhendong Su 001; Alexander Aiken; Joachim Niehren; Tim Priesnitz; Ralf Treinen (POPL, 2002)

Statistical Debugging of Sampled Programs. - Alice X. Zheng; Michael I. Jordan; Ben Liblit; Alex Aiken (NIPS, 2003)

Checking and inferring local non-aliasing. - Alex Aiken; Jeffrey S. Foster; John Kodumal; Tachio Terauchi (PLDI, 2003)

Bug isolation via remote program sampling. - Ben Liblit; Alex Aiken; Alice X. Zheng; Michael I. Jordan (PLDI, 2003)

Type Systems for Distributed Data Sharing. - Ben Liblit; Alex Aiken; Katherine A. Yelick (SAS, 2003)

Winnowing: Local Algorithms for Document Fingerprinting. - Saul Schleimer; Daniel Shawcross Wilkerson; Alex Aiken (SIGMOD Conference, 2003)

The set constraint/CFL reachability connection in practice. - John Kodumal; Alex Aiken (PLDI, 2004)

Saturn: A SAT-Based Tool for Bug Detection. - Yichen Xie 001; Alex Aiken (CAV, 2005)

Relational queries over program traces. - Simon Goldsmith; Robert O'Callahan; Alex Aiken (OOPSLA, 2005)

Scalable statistical bug isolation. - Ben Liblit; Mayur Naik; Alice X. Zheng; Alex Aiken; Michael I. Jordan (PLDI, 2005)

Scalable error detection using boolean satisfiability. - Yichen Xie 001; Alex Aiken (POPL, 2005)

Banshee: A Scalable Constraint-Based Analysis Toolkit. - John Kodumal; Alex Aiken (SAS, 2005)

Secure Information Flow as a Safety Problem. - Tachio Terauchi; Alex Aiken (SAS, 2005)

Context- and path-sensitive memory leak detection. - Yichen Xie 001; Alex Aiken (ESEC/SIGSOFT FSE, 2005)

Automatic generation of peephole superoptimizers. - Sorav Bansal; Alex Aiken (ASPLOS, 2006)

Statistical debugging: simultaneous identification of multiple bugs. - Alice X. Zheng; Michael I. Jordan; Ben Liblit; Mayur Naik; Alex Aiken (ICML, 2006)

On Typability for Rank-2 Intersection Types with Polymorphic Recursion. - Tachio Terauchi; Alex Aiken (LICS, 2006)

Scalable program analysis using Boolean satisfiability. - Alex Aiken (MEMOCODE, 2006)

Effective static race detection for Java. - Mayur Naik; Alex Aiken; John Whaley (PLDI, 2006)

Sequoia: programming the memory hierarchy. - 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 (SC, 2006)

How is aliasing used in systems software? - Brian Hackett; Alex Aiken (SIGSOFT FSE, 2006)

Static Detection of Security Vulnerabilities in Scripting Languages. - Yichen Xie 001; Alex Aiken (USENIX Security Symposium, 2006)

Flow-insensitive type qualifiers. - Jeffrey S. Foster; Robert Johnson; John Kodumal; Alex Aiken (ACM Trans. Program. Lang. Syst., 2006)

An overview of the saturn project. - Alex Aiken; Suhabe Bugrara; Isil Dillig; Thomas Dillig; Brian Hackett; Peter Hawkins (PASTE, 2007)

Static error detection using semantic inconsistency inference. - Isil Dillig; Thomas Dillig; Alex Aiken (PLDI, 2007)

Regularly annotated set constraints. - John Kodumal; Alex Aiken (PLDI, 2007)

Conditional must not aliasing for static race detection. - Mayur Naik; Alex Aiken (POPL, 2007)

Compilation for explicitly managed memory hierarchies. - Timothy J. Knight; Ji Young Park; Manman Ren; Mike Houston; Mattan Erez; Kayvon Fatahalian; Alex Aiken; William J. Dally; Pat Hanrahan (PPoPP, 2007)

Measuring empirical computational complexity. - Simon Goldsmith; Alex Aiken; Daniel Shawcross Wilkerson (ESEC/SIGSOFT FSE, 2007)

Saturn: A scalable framework for error detection using Boolean satisfiability. - Yichen Xie 001; Alex Aiken (ACM Trans. Program. Lang. Syst., 2007)

In Memoriam: John W. Backus, 1924-2007. - Alex Aiken (login Usenix Mag., 2007)

A tuning framework for software-managed memory hierarchies. - Manman Ren; Ji Young Park; Mike Houston; Alex Aiken; William J. Dally (PACT, 2008)

Alert Detection in System Logs. - Adam J. Oliner; Alex Aiken; Jon Stearley (ICDM, 2008)

Binary Translation Using Peephole Superoptimizers. - Sorav Bansal; Alex Aiken (OSDI, 2008)

Sound, complete and scalable path-sensitive analysis. - Isil Dillig; Thomas Dillig; Alex Aiken (PLDI, 2008)

A portable runtime interface for multi-level memory hierarchies. - Mike Houston; Ji Young Park; Manman Ren; Timothy J. Knight; Kayvon Fatahalian; Alex Aiken; William J. Dally; Pat Hanrahan (PPoPP, 2008)

Verifying the Safety of User Pointer Dereferences. - Suhabe Bugrara; Alex Aiken (SP, 2008)

Witnessing side effects. - Tachio Terauchi; Alex Aiken (ACM Trans. Program. Lang. Syst., 2008)

A capability calculus for concurrency and determinism. - Tachio Terauchi; Alex Aiken (ACM Trans. Program. Lang. Syst., 2008)

Data Structure Fusion. - Peter Hawkins; Alex Aiken; Kathleen Fisher; Martin C. Rinard; Mooly Sagiv (APLAS, 2010)

Using correlated surprise to infer shared influence. - Adam J. Oliner; Ashutosh V. Kulkarni; Alex Aiken (DSN, 2010)

Fluid Updates: Beyond Strong vs. Weak Updates. - Isil Dillig; Thomas Dillig; Alex Aiken (ESOP, 2010)

A query language for understanding component interactions in production systems. - Adam J. Oliner; Alex Aiken (ICS, 2010)

Symbolic heap abstraction with demand-driven axiomatization of memory invariants. - Isil Dillig; Thomas Dillig; Alex Aiken (OOPSLA, 2010)

Community Epidemic Detection Using Time-Correlated Anomalies. - Adam J. Oliner; Ashutosh V. Kulkarni; Alex Aiken (RAID, 2010)

Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis. - Isil Dillig; Thomas Dillig; Alex Aiken (SAS, 2010)

Expanding the frontiers of computer science: designing a curriculum to reflect a diverse field. - Mehran Sahami; Alex Aiken; Julie Zelenski (SIGCSE, 2010)

Reasoning about the unknown in static analysis. - Isil Dillig; Thomas Dillig; Alex Aiken (Commun. ACM, 2010)

Simplifying Loop Invariant Generation Using Splitter Predicates. - Rahul Sharma 001; Isil Dillig; Thomas Dillig; Alex Aiken (CAV, 2011)

Online detection of multi-component interactions in production systems. - Adam J. Oliner; Alex Aiken (DSN, 2011)

Automatic fine-grain locking using shape properties. - Guy Golan-Gueta; Nathan Grasso Bronson; Alex Aiken; G. Ramalingam; Mooly Sagiv; Eran Yahav (OOPSLA, 2011)

Testing atomicity of composed concurrent operations. - Ohad Shacham; Nathan Grasso Bronson; Alex Aiken; Mooly Sagiv; Martin T. Vechev; Eran Yahav (OOPSLA, 2011)

Precise and compact modular procedure summaries for heap manipulating programs. - Isil Dillig; Thomas Dillig; Alex Aiken; Mooly Sagiv (PLDI, 2011)

Data representation synthesis. - Peter Hawkins; Alex Aiken; Kathleen Fisher; Martin C. Rinard; Mooly Sagiv (PLDI, 2011)

Precise reasoning for programs using containers. - Isil Dillig; Thomas Dillig; Alex Aiken (POPL, 2011)

Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia. - Michael Bauer 001; John Clark; Eric Schkufza; Alex Aiken (PPoPP, 2011)

Liszt: a domain specific language for building portable mesh-based PDE solvers. - 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; et al. (SC, 2011)

Inferring data polymorphism in systems code. - Brian Hackett; Alex Aiken (SIGSOFT FSE, 2011)

Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. - Isil Dillig; Thomas Dillig; Alex Aiken (Formal Methods Syst. Des., 2011)

Minimum Satisfying Assignments for SMT. - Isil Dillig; Thomas Dillig; Kenneth L. McMillan; Alex Aiken (CAV, 2012)

Interpolants as Classifiers. - Rahul Sharma 001; Aditya V. Nori; Alex Aiken (CAV, 2012)

Reasoning about Lock Placements. - Peter Hawkins; Alex Aiken; Kathleen Fisher; Martin C. Rinard; Mooly Sagiv (ESOP, 2012)

Understanding the behavior of database operations under program control. - Juan M. Tamayo; Alex Aiken; Nathan Grasso Bronson; Mooly Sagiv (OOPSLA, 2012)

Automated error diagnosis using abductive inference. - Isil Dillig; Thomas Dillig; Alex Aiken (PLDI, 2012)

Concurrent data representation synthesis. - Peter Hawkins; Alex Aiken; Kathleen Fisher; Martin C. Rinard; Mooly Sagiv (PLDI, 2012)

Legion: expressing locality and independence with logical regions. - Michael Bauer 001; Sean Treichler; Elliott Slaughter; Alex Aiken (SC, 2012)

An introduction to data representation synthesis. - Peter Hawkins; Martin C. Rinard; Alex Aiken; Mooly Sagiv; Kathleen Fisher (Commun. ACM, 2012)

Stochastic superoptimization. - Eric Schkufza; Rahul Sharma 001; Alex Aiken (ASPLOS, 2013)

A Data Driven Approach for Algebraic Loop Invariants. - Rahul Sharma 001; Saurabh Gupta 001; Bharath Hariharan; Alex Aiken; Percy Liang; Aditya V. Nori (ESOP, 2013)

Data-driven equivalence checking. - Rahul Sharma 001; Eric Schkufza; Berkeley R. Churchill; Alex Aiken (OOPSLA, 2013)

Language support for dynamic, hierarchical data partitioning. - Sean Treichler; Michael Bauer 001; Alex Aiken (OOPSLA, 2013)

Terra: a multi-stage language for high-performance computing. - Zachary DeVito; James Hegarty; Alex Aiken; Pat Hanrahan; Jan Vitek (PLDI, 2013)

Verification as Learning Geometric Concepts. - Rahul Sharma 001; Saurabh Gupta 001; Bharath Hariharan; Alex Aiken; Aditya V. Nori (SAS, 2013)

Crowd-scale interactive formal reasoning and analytics. - Ethan Fast; Colleen Lee; Alex Aiken; Michael S. Bernstein; Daphne Koller; Eric Smith (UIST, 2013)

Realm: an event-based low-level runtime for distributed memory architectures. - Sean Treichler; Michael Bauer 001; Alex Aiken (PACT, 2014)

Verifying atomicity via data independence. - Ohad Shacham; Eran Yahav; Guy Golan-Gueta; Alex Aiken; Nathan Grasso Bronson; Mooly Sagiv; Martin T. Vechev (ISSTA, 2014)

M3: high-performance memory management from off-the-shelf components. - David Terei; Alex Aiken; Jan Vitek (ISMM, 2014)

First-class runtime generation of high-performance types using exotypes. - Zachary DeVito; Daniel Ritchie; Matthew Fisher; Alex Aiken; Pat Hanrahan (PLDI, 2014)

Stochastic optimization of floating-point programs with tunable precision. - Eric Schkufza; Rahul Sharma 001; Alex Aiken (PLDI, 2014)

Bias-variance tradeoffs in program analysis. - Rahul Sharma 001; Aditya V. Nori; Alex Aiken (POPL, 2014)

Singe: leveraging warp specialization for high performance on GPUs. - Michael Bauer 001; Sean Treichler; Alex Aiken (PPoPP, 2014)

Structure Slicing: Extending Logical Regions with Fields. - Michael Bauer 001; Sean Treichler; Elliott Slaughter; Alex Aiken (SC, 2014)

Apposcopy: semantics-based detection of Android malware through static analysis. - Yu Feng 001; Saswat Anand; Isil Dillig; Alex Aiken (SIGSOFT FSE, 2014)

Apposcopy: automated detection of Android malware (invited talk). - Yu Feng 001; Isil Dillig; Saswat Anand; Alex Aiken (DeMobile@SIGSOFT FSE, 2014)

Modelgen: mining explicit information flow specifications from concrete executions. - Lazaro Clapp; Saswat Anand; Alex Aiken (ISSTA, 2015)

Conditionally correct superoptimization. - Rahul Sharma 001; Eric Schkufza; Berkeley R. Churchill; Alex Aiken (OOPSLA, 2015)

Interactively verifying absence of explicit information flows in Android apps. - Osbert Bastani; Saswat Anand; Alex Aiken (OOPSLA, 2015)

An interactive approach to mobile app verification. - Osbert Bastani; Saswat Anand; Alex Aiken (MobileDeLi, 2015)

Verification of producer-consumer synchronization in GPU programs. - Rahul Sharma 001; Michael Bauer 001; Alex Aiken (PLDI, 2015)

Composing concurrency control. - Ofri Ziv; Alex Aiken; Guy Golan-Gueta; G. Ramalingam; Mooly Sagiv (PLDI, 2015)

Specification Inference Using Context-Free Language Reachability. - Osbert Bastani; Saswat Anand; Alex Aiken (POPL, 2015)

Regent: a high-productivity programming language for HPC with logical regions. - Elliott Slaughter; Wonchan Lee; Sean Treichler; Michael Bauer 001; Alex Aiken (SC, 2015)

Automatic and transparent I/O optimization with storage integrated application runtime support. - Noah Watkins; Zhihao Jia; Galen M. Shipman; Carlos Maltzahn; Alex Aiken; Patrick S. McCormick (PDSW@SC, 2015)

Towards Asynchronous Many-Task in Situ Data Analysis Using Legion. - Philippe P. Pébay; Janine C. Bennett; David S. Hollman; Sean Treichler; Patrick S. McCormick; Christine Sweeney; Hemanth Kolla; Alex Aiken (IPDPS Workshops, 2016)

Dependent partitioning. - Sean Treichler; Michael Bauer 001; Rahul Sharma 001; Elliott Slaughter; Alex Aiken (OOPSLA, 2016)

Stratified synthesis: automatically learning the x86-64 instruction set. - Stefan Heule; Eric Schkufza; Rahul Sharma 001; Alex Aiken (PLDI, 2016)

Verifying bit-manipulations of floating-point. - Wonyeol Lee 001; Rahul Sharma 001; Alex Aiken (PLDI, 2016)

Minimizing GUI event traces. - Lazaro Clapp; Osbert Bastani; Saswat Anand; Alex Aiken (SIGSOFT FSE, 2016)

Stochastic program optimization. - Eric Schkufza; Rahul Sharma 001; Alex Aiken (Commun. ACM, 2016)

From invariant checking to invariant inference using randomized search. - Rahul Sharma 001; Alex Aiken (Formal Methods Syst. Des., 2016)

Sound Loop Superoptimization for Google Native Client. - Berkeley R. Churchill; Rahul Sharma 001; J. F. Bastien; Alex Aiken (ASPLOS, 2017)

Integrating External Resources with a Task-Based Programming Model. - Zhihao Jia; Sean Treichler; Galen M. Shipman; Michael Bauer 001; Noah Watkins; Carlos Maltzahn; Patrick S. McCormick; Alex Aiken (HiPC, 2017)

Synthesizing program input grammars. - Osbert Bastani; Rahul Sharma 001; Alex Aiken; Percy Liang (PLDI, 2017)

In situ visualization with task-based parallelism. - Alan Heirich; Elliott Slaughter; Manolis Papadakis; Wonchan Lee; Tim Biedert; Alex Aiken (ISAV@SC, 2017)

Control replication: compiling implicit parallelism to efficient SPMD with logical regions. - Elliott Slaughter; Wonchan Lee; Sean Treichler; Wen Zhang; Michael Bauer 001; Galen M. Shipman; Patrick S. McCormick; Alex Aiken (SC, 2017)

Eventually Sound Points-To Analysis with Missing Code. - Osbert Bastani; Lazaro Clapp; Saswat Anand; Rahul Sharma 001; Alex Aiken (CoRR, 2017)

Seam: provably safe local edits on graphs. - Manolis Papadakis; Gilbert Louis Bernstein; Rahul Sharma 001; Alex Aiken; Pat Hanrahan (Proc. ACM Program. Lang., 2017)

A Distributed Multi-GPU System for Fast Graph Processing. - Zhihao Jia; Yongkee Kwon; Galen M. Shipman; Patrick S. McCormick; Mattan Erez; Alex Aiken (Proc. VLDB Endow., 2017)

Exploring Hidden Dimensions in Parallelizing Convolutional Neural Networks. - Zhihao Jia; Sina Lin; Charles R. Qi; Alex Aiken (ICML, 2018)

Isometry: A Path-Based Distributed Data Transfer System. - Zhihao Jia; Sean Treichler; Galen M. Shipman; Patrick S. McCormick; Alex Aiken (ICS, 2018)

Active learning of points-to specifications. - Osbert Bastani; Rahul Sharma 001; Alex Aiken; Percy Liang (PLDI, 2018)

Dynamic tracing: memoization of task graphs for dynamic task-based runtimes. - Wonchan Lee; Elliott Slaughter; Michael Bauer 001; Sean Treichler; Todd Warszawski; Michael Garland; Alex Aiken (SC, 2018)

Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems. - Wonchan Lee; George Stelle; Patrick S. McCormick; Alex Aiken (CORRECTNESS@SC, 2018)

On automatically proving the correctness of math.h implementations. - Wonyeol Lee 001; Rahul Sharma 001; Alex Aiken (Proc. ACM Program. Lang., 2018)

Eventually Sound Points-To Analysis with Specifications. - Osbert Bastani; Rahul Sharma 001; Lazaro Clapp; Saswat Anand; Alex Aiken (ECOOP, 2019)

Optimizing DNN Computation with Relaxed Graph Substitutions. - Zhihao Jia; James Thomas 003; Todd Warszawski; Mingyu Gao 001; Matei Zaharia; Alex Aiken (SysML, 2019)

Beyond Data and Model Parallelism for Deep Neural Networks. - Zhihao Jia; Matei Zaharia; Alex Aiken (SysML, 2019)

SPoC: Search-based Pseudocode to Code. - Sumith Kulal; Panupong Pasupat; Kartik Chandra; Mina Lee 002; Oded Padon; Alex Aiken; Percy Liang (NeurIPS, 2019)

Semantic program alignment for equivalence checking. - Berkeley R. Churchill; Oded Padon; Rahul Sharma 001; Alex Aiken (PLDI, 2019)

A constraint-based approach to automatic data partitioning for distributed memory execution. - Wonchan Lee; Manolis Papadakis; Elliott Slaughter; Alex Aiken (SC, 2019)

Pygion: Flexible, Scalable Task-Based Parallelism with Python. - Elliott Slaughter; Alex Aiken (PAW-ATM@SC, 2019)

TASO: optimizing deep learning computation with automatic generation of graph substitutions. - Zhihao Jia; Oded Padon; James Thomas 003; Todd Warszawski; Matei Zaharia; Alex Aiken (SOSP, 2019)

Redundancy-Free Computation Graphs for Graph Neural Networks. - Zhihao Jia; Sina Lin; Rex Ying; Jiaxuan You; Jure Leskovec; Alex Aiken (CoRR, 2019)

Redundancy-Free Computation for Graph Neural Networks. - Zhihao Jia; Sina Lin; Rex Ying; Jiaxuan You; Jure Leskovec; Alex Aiken (KDD, 2020)

Improving the Accuracy, Scalability, and Performance of Graph Neural Networks with Roc. - Zhihao Jia; Sina Lin; Mingyu Gao 001; Matei Zaharia; Alex Aiken (MLSys, 2020)

First-order quantified separators. - Jason R. Koenig; Oded Padon; Neil Immerman; Alex Aiken (PLDI, 2020)

Task bench: a parameterized benchmark for evaluating parallel runtime performance. - Elliott Slaughter; Wei Wu 016; Yuankun Fu; Legend Brandenburg; Nicolai Garcia; Wilhem Kautz; Emily Marx; Kaleb S. Morris; Qinglei Cao; George Bosilca; Seema Mirchandaney; Wonchan Lee; et al. (SC, 2020)

Hierarchical Motion Understanding via Motion Programs. - Sumith Kulal; Jiayuan Mao; Alex Aiken; Jiajun Wu 001 (CVPR, 2021)

Adaptive restarts for stochastic synthesis. - Jason R. Koenig; Oded Padon; Alex Aiken (PLDI, 2021)

Scaling implicit parallelism via dynamic control replication. - Michael Bauer 001; Wonchan Lee; Elliott Slaughter; Zhihao Jia; Mario Di Renzo; Manolis Papadakis; Galen M. Shipman; Patrick S. McCormick; Michael Garland; Alex Aiken (PPoPP, 2021)

Index launches: scalable, flexible representation of parallel task groups. - Rupanshu Soi; Michael Bauer 001; Sean Treichler; Manolis Papadakis; Wonchan Lee; Patrick S. McCormick; Alex Aiken; Elliott Slaughter (SC, 2021)

Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities. - Jessica Pointing; Oded Padon; Zhihao Jia; Henry Ma; Auguste Hirth; Jens Palsberg; Alex Aiken (CoRR, 2021)

FLEET - Fast Lanes for Expedited Execution at 10 Terabits: Program Overview. - Fred Douglis; Seth Robertson; Eric van den Berg; Josephine Micallef; Marc Pucci; Alex Aiken; Keren Bergman; Maarten Hattink; Mingoo Seok (IEEE Internet Comput., 2021)

Performance Variability and Causality in Complex Systems. - Anwesha Das 001; Daniel Ratner; Alex Aiken (ACSOS-C, 2022)

Programmatic Concept Learning for Human Motion Description and Synthesis. - Sumith Kulal; Jiayuan Mao; Alex Aiken; Jiajun Wu 001 (CVPR, 2022)

Unity: Accelerating DNN Training Through Joint Optimization of Algebraic Transformations and Parallelization. - Colin Unger; Zhihao Jia; Wei Wu 016; Sina Lin; Mandeep Baines; Carlos Efrain Quintero Narvaez; Vinay Ramakrishnaiah; Nirmal Prajapati; Patrick S. McCormick; Jamaludin Mohd-Yusof; Xi Luo; Dheevatsa Mudigere; et al. (OSDI, 2022)

Task Fusion in Distributed Runtimes. - Shiv Sundram; Wonchan Lee; Alex Aiken (PAW-ATM@SC, 2022)

Quartz: superoptimization of Quantum circuits. - Mingkuan Xu; Zikun Li; Oded Padon; Sina Lin; Jessica Pointing; Auguste Hirth; Henry Ma; Jens Palsberg; Alex Aiken; Umut A. Acar; Zhihao Jia (PLDI, 2022)

DISTAL: the distributed tensor algebra compiler. - Rohan Yadav; Alex Aiken; Fredrik Kjolstad (PLDI, 2022)

SpDISTAL: Compiling Distributed Sparse Tensor Computations. - Rohan Yadav; Alex Aiken; Fredrik Kjolstad (SC, 2022)

Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion. - Jason R. Koenig; Oded Padon; Sharon Shoham; Alex Aiken (TACAS (1), 2022)

Quartz: Superoptimization of Quantum Circuits (Extended Version). - Mingkuan Xu; Zikun Li; Oded Padon; Sina Lin; Jessica Pointing; Auguste Hirth; Henry Ma; Jens Palsberg; Alex Aiken; Umut A. Acar; Zhihao Jia (CoRR, 2022)

Optimizing Mixture of Experts using Dynamic Recompilations. - Ferdinand Kossmann; Zhihao Jia; Alex Aiken (CoRR, 2022)

Induction duality: primal-dual search for invariants. - Oded Padon; James R. Wilcox; Jason R. Koenig; Kenneth L. McMillan; Alex Aiken (Proc. ACM Program. Lang., 2022)

Prolego: Time-Series Analysis for Predicting Failures in Complex Systems. - Anwesha Das 001; Alex Aiken (ACSOS, 2023)

Putting People in Their Place: Affordance-Aware Human Insertion into Scenes. - Sumith Kulal; Tim Brooks; Alex Aiken; Jiajun Wu 001; Jimei Yang; Jingwan Lu; Alexei A. Efros; Krishna Kumar Singh (CVPR, 2023)

On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters. - Wonyeol Lee 001; Sejun Park; Alex Aiken (ICML, 2023)

Visibility Algorithms for Dynamic Dependence Analysis and Distributed Coherence. - Michael Bauer 001; Elliott Slaughter; Sean Treichler; Wonchan Lee; Michael Garland; Alex Aiken (PPoPP, 2023)

Automated Mapping of Task-Based Programs onto Distributed and Heterogeneous Machines. - Thiago S. F. X. Teixeira; Alexandra Henzinger; Rohan Yadav; Alex Aiken (SC, 2023)

Legate Sparse: Distributed Sparse Computing in Python. - Rohan Yadav; Wonchan Lee; Melih Elibol; Manolis Papadakis; Taylor Lee-Patti; Michael Garland; Alex Aiken; Fredrik Kjolstad; Michael Bauer 001 (SC, 2023)

Training with Mixed-Precision Floating-Point Assignments. - Wonyeol Lee 001; Rahul Sharma 001; Alex Aiken (Trans. Mach. Learn. Res., 2023)

AutoMap. - Thiago S. F. X. Teixeira; Alexandra Henzinger; Rohan Yadav; Alex Aiken (Zenodo, 2023)

A Model for Query Execution Over Heterogeneous Instances. - Ziheng Wang; Emanuel Adamiak; Alex Aiken (CIDR, 2024)

Efficient Fault Tolerance for Pipelined Query Engines via Write-ahead Lineage. - Ziheng Wang; Alex Aiken (ICDE, 2024)

CommBench: Micro-Benchmarking Hierarchical Networks with Multi-GPU, Multi-NIC Nodes. - Mert Hidayetoglu; Simon Garcia De Gonzalo; Elliott Slaughter; Yu Li 041; Christopher Zimmer 001; Tekin Bicer; Bin Ren; William Gropp; Wen-Mei Hwu; Alex Aiken (ICS, 2024)

Speaking Pygion: Experiences Writing an Exascale Single Particle Imaging Code. - Seema Mirchandaney; Alex Aiken; Elliott Slaughter (WAMTA, 2024)

Improving Parallel Program Performance Through DSL-Driven Code Generation with LLM Optimizers. - Anjiang Wei; Allen Nie; Thiago S. F. X. Teixeira; Rohan Yadav; Wonchan Lee; Ke Wang; Alex Aiken (CoRR, 2024)

Recursive Program Synthesis using Paramorphisms. - Qiantan Hong; Alex Aiken (Proc. ACM Program. Lang., 2024)

Automatic Tracing in Task-Based Runtime Systems. - Rohan Yadav; Michael Bauer 001; David Broman; Michael Garland; Alex Aiken; Fredrik Kjolstad (ASPLOS (1), 2025)

Composing Distributed Computations Through Task and Kernel Fusion. - Rohan Yadav; Shiv Sundram; Wonchan Lee; Michael Garland; Michael Bauer 001; Alex Aiken; Fredrik Kjolstad (ASPLOS (1), 2025)

Automatic Verification of Floating-Point Accumulation Networks. - David K. Zhang; Alex Aiken (CAV (3), 2025)

Rottnest: Indexing Data Lakes for Search. - Ziheng Wang; Sasha Krassovsky; Conor Kennedy; Alex Aiken; Weston Pace; Rain Jiang; Huayi Zhang; Chenyu Jiang; Wei Xu (ICDE, 2025)

HiCCL: A Hierarchical Collective Communication Library. - Mert Hidayetoglu; Simon Garcia de Gonzalo; Elliott Slaughter; Pinku Surana; Wen-mei W. Hwu; William Gropp; Alex Aiken (IPDPS, 2025)

Task-Based Tensor Computations on Modern GPUs. - Rohan Yadav; Michael Garland; Alex Aiken; Michael Bauer 001 (Proc. ACM Program. Lang., 2025)

EquiBench: Benchmarking Code Reasoning Capabilities of Large Language Models via Equivalence Checking. - 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 (CoRR, 2025)

Reclaiming the Future: American Information Technology Leadership in an Era of Global Competition. - Alex Aiken; David Jensen; Catherine Gill; William Gropp; Peter Harsha; Brian Mosley; Daniel A. Reed; William Regli (CoRR, 2025)

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis. - Anjiang Wei; Tarun Suresh; Jiannan Cao; Naveen Kannan; Yuheng Wu; Kai Yan; Thiago S. F. X. Teixeira; Ke Wang; Alex Aiken (CoRR, 2025)

VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation. - Anjiang Wei; Huanmi Tan; Tarun Suresh; Daniel Mendoza; Thiago S. F. X. Teixeira; Ke Wang; Caroline Trippel; Alex Aiken (CoRR, 2025)

LogCloud: Fast Search of Compressed Logs on Object Storage. - Ziheng Wang; Junyu Wei; Alex Aiken; Guangyan Zhang; Jacob O. Tørring; Rain Jiang; Chenyu Jiang; Wei Xu (Proc. VLDB Endow., 2025)

Improving Assembly Code Performance with Large Language Models via Reinforcement Learning. - Anjiang Wei; Tarun Suresh; Huanmi Tan; Yinglun Xu; Gagandeep Singh 001; Ke Wang; Alex Aiken (CoRR, 2025)

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas. - Anjiang Wei; Yuheng Wu; Yingjia Wan; Tarun Suresh; Huanmi Tan; Zhanke Zhou; Sanmi Koyejo; Ke Wang; Alex Aiken (CoRR, 2025)

Mapple: A Domain-Specific Language for Mapping Distributed Heterogeneous Parallel Programs. - Anjiang Wei; Rohan Yadav; Hang Song; Wonchan Lee; Ke Wang; Alex Aiken (CoRR, 2025)

Task-Based Programming for Adaptive Mesh Refinement in Compressible Flow Simulations. - Anjiang Wei; Hang Song; Mert Hidayetoglu; Elliott Slaughter; Sanjiva K. Lele; Alex Aiken (CoRR, 2025)