Alex Aiken

According to our database, Alex Aiken authored at least 213 papers between 1986 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Recursive Program Synthesis using Paramorphisms.

Qiantan Hong, Alex Aiken

Proc. ACM Program. Lang., 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

HiCCL: A Hierarchical Collective Communication Library.

Mert Hidayetoglu, Simon Garcia de Gonzalo, Elliott Slaughter, Pinku Surana, Wen-Mei W. Hwu, William Gropp, Alex Aiken

CoRR, 2024

Automatic Tracing in Task-Based Runtime Systems.

Rohan Yadav, Michael Bauer, David Broman, Michael Garland, Alex Aiken, Fredrik Kjolstad

CoRR, 2024

Composing Distributed Computations Through Task and Kernel Fusion.

Rohan Yadav, Shiv Sundram, Wonchan Lee, Michael Garland, Michael Bauer, Alex Aiken, Fredrik Kjolstad

CoRR, 2024

Speaking Pygion: Experiences Writing an Exascale Single Particle Imaging Code.

Seema Mirchandaney, Alex Aiken, Elliott Slaughter

Proceedings of the Asynchronous Many-Task Systems and Applications, 2024

CommBench: Micro-Benchmarking Hierarchical Networks with Multi-GPU, Multi-NIC Nodes.

Mert Hidayetoglu, Simon Garcia De Gonzalo, Elliott Slaughter, Yu Li, Christopher Zimmer, Tekin Bicer, Bin Ren, William Gropp, Wen-Mei Hwu, Alex Aiken

Proceedings of the 38th ACM International Conference on Supercomputing, 2024

Efficient Fault Tolerance for Pipelined Query Engines via Write-ahead Lineage.

Ziheng Wang, Alex Aiken

Proceedings of the 40th IEEE International Conference on Data Engineering, 2024

A Model for Query Execution Over Heterogeneous Instances.

Ziheng Wang, Emanuel Adamiak, Alex Aiken

Proceedings of the 14th Conference on Innovative Data Systems Research, 2024

2023

AutoMap.

Thiago S. F. X. Teixeira, Alexandra Henzinger, Rohan Yadav, Alex Aiken

Dataset, June, 2023

Training with Mixed-Precision Floating-Point Assignments.

Wonyeol Lee, Rahul Sharma, Alex Aiken

Trans. Mach. Learn. Res., 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

Proceedings of the International Conference for High Performance Computing, 2023

Automated Mapping of Task-Based Programs onto Distributed and Heterogeneous Machines.

Thiago S. F. X. Teixeira, Alexandra Henzinger, Rohan Yadav, Alex Aiken

Proceedings of the International Conference for High Performance Computing, 2023

Visibility Algorithms for Dynamic Dependence Analysis and Distributed Coherence.

Michael Bauer, Elliott Slaughter, Sean Treichler, Wonchan Lee, Michael Garland, Alex Aiken

Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, 2023

On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters.

Wonyeol Lee, Sejun Park, Alex Aiken

Proceedings of the International Conference on Machine Learning, 2023

Putting People in Their Place: Affordance-Aware Human Insertion into Scenes.

Sumith Kulal, Tim Brooks, Alex Aiken, Jiajun Wu, Jimei Yang, Jingwan Lu, Alexei A. Efros, Krishna Kumar Singh

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Prolego: Time-Series Analysis for Predicting Failures in Complex Systems.

Anwesha Das, Alex Aiken

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023

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

Optimizing Mixture of Experts using Dynamic Recompilations.

Ferdinand Kossmann, Zhihao Jia, Alex Aiken

CoRR, 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

Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion.

Jason R. Koenig, Oded Padon, Sharon Shoham, Alex Aiken

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

SpDISTAL: Compiling Distributed Sparse Tensor Computations.

Rohan Yadav, Alex Aiken, Fredrik Kjolstad

Proceedings of the SC22: International Conference for High Performance Computing, 2022

DISTAL: the distributed tensor algebra compiler.

Rohan Yadav, Alex Aiken, Fredrik Kjolstad

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 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

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Task Fusion in Distributed Runtimes.

Shiv Sundram, Wonchan Lee, Alex Aiken

Proceedings of the IEEE/ACM Parallel Applications Workshop: Alternatives To MPI+X, 2022

Unity: Accelerating DNN Training Through Joint Optimization of Algebraic Transformations and Parallelization.

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

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

Programmatic Concept Learning for Human Motion Description and Synthesis.

Sumith Kulal, Jiayuan Mao, Alex Aiken, Jiajun Wu

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022

Performance Variability and Causality in Complex Systems.

Anwesha Das, Daniel Ratner, Alex Aiken

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, 2022

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

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

Index launches: scalable, flexible representation of parallel task groups.

Rupanshu Soi, Michael Bauer, Sean Treichler, Manolis Papadakis, Wonchan Lee, Patrick S. McCormick, Alex Aiken, Elliott Slaughter

Proceedings of the International Conference for High Performance Computing, 2021

Scaling implicit parallelism via dynamic control replication.

Michael Bauer, Wonchan Lee, Elliott Slaughter, Zhihao Jia, Mario Di Renzo, Manolis Papadakis, Galen M. Shipman, Patrick S. McCormick, Michael Garland, Alex Aiken

Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021

Adaptive restarts for stochastic synthesis.

Jason R. Koenig, Oded Padon, Alex Aiken

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Hierarchical Motion Understanding via Motion Programs.

Sumith Kulal, Jiayuan Mao, Alex Aiken, Jiajun Wu

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2021

2020

Task bench: a parameterized benchmark for evaluating parallel runtime performance.

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

Proceedings of the International Conference for High Performance Computing, 2020

First-order quantified separators.

Jason R. Koenig, Oded Padon, Neil Immerman, Alex Aiken

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Improving the Accuracy, Scalability, and Performance of Graph Neural Networks with Roc.

Zhihao Jia, Sina Lin, Mingyu Gao, Matei Zaharia, Alex Aiken

Proceedings of the Third Conference on Machine Learning and Systems, 2020

Redundancy-Free Computation for Graph Neural Networks.

Zhihao Jia, Sina Lin, Rex Ying, Jiaxuan You, Jure Leskovec, Alex Aiken

Proceedings of the KDD '20: The 26th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2020

2019

Redundancy-Free Computation Graphs for Graph Neural Networks.

Zhihao Jia, Sina Lin, Rex Ying, Jiaxuan You, Jure Leskovec, Alex Aiken

CoRR, 2019

TASO: optimizing deep learning computation with automatic generation of graph substitutions.

Zhihao Jia, Oded Padon, James Thomas, Todd Warszawski, Matei Zaharia, Alex Aiken

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Pygion: Flexible, Scalable Task-Based Parallelism with Python.

Elliott Slaughter, Alex Aiken

Proceedings of the 2019 IEEE/ACM Parallel Applications Workshop, Alternatives To MPI, 2019

A constraint-based approach to automatic data partitioning for distributed memory execution.

Wonchan Lee, Manolis Papadakis, Elliott Slaughter, Alex Aiken

Proceedings of the International Conference for High Performance Computing, 2019

Semantic program alignment for equivalence checking.

Berkeley R. Churchill, Oded Padon, Rahul Sharma, Alex Aiken

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

SPoC: Search-based Pseudocode to Code.

Sumith Kulal, Panupong Pasupat, Kartik Chandra, Mina Lee, Oded Padon, Alex Aiken, Percy Liang

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Beyond Data and Model Parallelism for Deep Neural Networks.

Zhihao Jia, Matei Zaharia, Alex Aiken

Proceedings of the Second Conference on Machine Learning and Systems, SysML 2019, 2019

Optimizing DNN Computation with Relaxed Graph Substitutions.

Zhihao Jia, James Thomas, Todd Warszawski, Mingyu Gao, Matei Zaharia, Alex Aiken

Proceedings of the Second Conference on Machine Learning and Systems, SysML 2019, 2019

Eventually Sound Points-To Analysis with Specifications.

Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018

On automatically proving the correctness of math.h implementations.

Wonyeol Lee, Rahul Sharma, Alex Aiken

Proc. ACM Program. Lang., 2018

Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems.

Wonchan Lee, George Stelle, Patrick S. McCormick, Alex Aiken

Proceedings of the 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2018

Dynamic tracing: memoization of task graphs for dynamic task-based runtimes.

Wonchan Lee, Elliott Slaughter, Michael Bauer, Sean Treichler, Todd Warszawski, Michael Garland, Alex Aiken

Proceedings of the International Conference for High Performance Computing, 2018

Active learning of points-to specifications.

Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Isometry: A Path-Based Distributed Data Transfer System.

Zhihao Jia, Sean Treichler, Galen M. Shipman, Patrick S. McCormick, Alex Aiken

Proceedings of the 32nd International Conference on Supercomputing, 2018

Exploring Hidden Dimensions in Parallelizing Convolutional Neural Networks.

Zhihao Jia, Sina Lin, Charles R. Qi, Alex Aiken

Proceedings of the 35th International Conference on Machine Learning, 2018

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

Seam: provably safe local edits on graphs.

Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, Pat Hanrahan

Proc. ACM Program. Lang., 2017

Eventually Sound Points-To Analysis with Missing Code.

Osbert Bastani, Lazaro Clapp, Saswat Anand, Rahul Sharma, Alex Aiken

CoRR, 2017

Control replication: compiling implicit parallelism to efficient SPMD with logical regions.

Elliott Slaughter, Wonchan Lee, Sean Treichler, Wen Zhang, Michael Bauer, Galen M. Shipman, Patrick S. McCormick, Alex Aiken

Proceedings of the International Conference for High Performance Computing, 2017

In situ visualization with task-based parallelism.

Alan Heirich, Elliott Slaughter, Manolis Papadakis, Wonchan Lee, Tim Biedert, Alex Aiken

Proceedings of the In Situ Infrastructures on Enabling Extreme-Scale Analysis and Visualization, 2017

Synthesizing program input grammars.

Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Integrating External Resources with a Task-Based Programming Model.

Zhihao Jia, Sean Treichler, Galen M. Shipman, Michael Bauer, Noah Watkins, Carlos Maltzahn, Patrick S. McCormick, Alex Aiken

Proceedings of the 24th IEEE International Conference on High Performance Computing, 2017

Sound Loop Superoptimization for Google Native Client.

Berkeley R. Churchill, Rahul Sharma, J. F. Bastien, Alex Aiken

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2016

From invariant checking to invariant inference using randomized search.

Rahul Sharma, Alex Aiken

Formal Methods Syst. Des., 2016

Stochastic program optimization.

Eric Schkufza, Rahul Sharma, Alex Aiken

Commun. ACM, 2016

Minimizing GUI event traces.

Lazaro Clapp, Osbert Bastani, Saswat Anand, Alex Aiken

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Verifying bit-manipulations of floating-point.

Wonyeol Lee, Rahul Sharma, Alex Aiken

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Stratified synthesis: automatically learning the x86-64 instruction set.

Stefan Heule, Eric Schkufza, Rahul Sharma, Alex Aiken

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Dependent partitioning.

Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, Alex Aiken

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

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

Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016

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

Proceedings of the 10th Parallel Data Storage Workshop, 2015

Regent: a high-productivity programming language for HPC with logical regions.

Elliott Slaughter, Wonchan Lee, Sean Treichler, Michael Bauer, Alex Aiken

Proceedings of the International Conference for High Performance Computing, 2015

Specification Inference Using Context-Free Language Reachability.

Osbert Bastani, Saswat Anand, Alex Aiken

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Composing concurrency control.

Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Verification of producer-consumer synchronization in GPU programs.

Rahul Sharma, Michael Bauer, Alex Aiken

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

An interactive approach to mobile app verification.

Osbert Bastani, Saswat Anand, Alex Aiken

Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015

Interactively verifying absence of explicit information flows in Android apps.

Osbert Bastani, Saswat Anand, Alex Aiken

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Conditionally correct superoptimization.

Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Modelgen: mining explicit information flow specifications from concrete executions.

Lazaro Clapp, Saswat Anand, Alex Aiken

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

2014

Apposcopy: automated detection of Android malware (invited talk).

Yu Feng, Isil Dillig, Saswat Anand, Alex Aiken

Proceedings of the 2nd International Workshop on Software Development Lifecycle for Mobile, 2014

Apposcopy: semantics-based detection of Android malware through static analysis.

Yu Feng, Saswat Anand, Isil Dillig, Alex Aiken

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Structure Slicing: Extending Logical Regions with Fields.

Michael Bauer, Sean Treichler, Elliott Slaughter, Alex Aiken

Proceedings of the International Conference for High Performance Computing, 2014

Singe: leveraging warp specialization for high performance on GPUs.

Michael Bauer, Sean Treichler, Alex Aiken

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Bias-variance tradeoffs in program analysis.

Rahul Sharma, Aditya V. Nori, Alex Aiken

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Stochastic optimization of floating-point programs with tunable precision.

Eric Schkufza, Rahul Sharma, Alex Aiken

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

First-class runtime generation of high-performance types using exotypes.

Zachary DeVito, Daniel Ritchie, Matthew Fisher, Alex Aiken, Pat Hanrahan

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

M³: high-performance memory management from off-the-shelf components.

David Terei, Alex Aiken, Jan Vitek

Proceedings of the International Symposium on Memory Management, 2014

Verifying atomicity via data independence.

Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Realm: an event-based low-level runtime for distributed memory architectures.

Sean Treichler, Michael Bauer, Alex Aiken

Proceedings of the International Conference on Parallel Architectures and Compilation, 2014

2013

Crowd-scale interactive formal reasoning and analytics.

Ethan Fast, Colleen Lee, Alex Aiken, Michael S. Bernstein, Daphne Koller, Eric Smith

Proceedings of the 26th Annual ACM Symposium on User Interface Software and Technology, 2013

Verification as Learning Geometric Concepts.

Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Aditya V. Nori

Proceedings of the Static Analysis - 20th International Symposium, 2013

Terra: a multi-stage language for high-performance computing.

Zachary DeVito, James Hegarty, Alex Aiken, Pat Hanrahan, Jan Vitek

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Language support for dynamic, hierarchical data partitioning.

Sean Treichler, Michael Bauer, Alex Aiken

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Data-driven equivalence checking.

Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

A Data Driven Approach for Algebraic Loop Invariants.

Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya V. Nori

Proceedings of the Programming Languages and Systems, 2013

Stochastic superoptimization.

Eric Schkufza, Rahul Sharma, Alex Aiken

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2012

An introduction to data representation synthesis.

Peter Hawkins, Martin C. Rinard, Alex Aiken, Mooly Sagiv, Kathleen Fisher

Commun. ACM, 2012

Legion: expressing locality and independence with logical regions.

Michael Bauer, Sean Treichler, Elliott Slaughter, Alex Aiken

Proceedings of the SC Conference on High Performance Computing Networking, 2012

Concurrent data representation synthesis.

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Automated error diagnosis using abductive inference.

Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Understanding the behavior of database operations under program control.

Juan M. Tamayo, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Reasoning about Lock Placements.

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv

Proceedings of the Programming Languages and Systems, 2012

Interpolants as Classifiers.

Rahul Sharma, Aditya V. Nori, Alex Aiken

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Minimum Satisfying Assignments for SMT.

Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Alex Aiken

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

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

Inferring data polymorphism in systems code.

Brian Hackett, Alex Aiken

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 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, Pat Hanrahan

Proceedings of the Conference on High Performance Computing Networking, 2011

Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia.

Michael Bauer, John Clark, Eric Schkufza, Alex Aiken

Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

Precise reasoning for programs using containers.

Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Data representation synthesis.

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Precise and compact modular procedure summaries for heap manipulating programs.

Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Testing atomicity of composed concurrent operations.

Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Automatic fine-grain locking using shape properties.

Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Online detection of multi-component interactions in production systems.

Adam J. Oliner, Alex Aiken

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

Simplifying Loop Invariant Generation Using Splitter Predicates.

Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Reasoning about the unknown in static analysis.

Isil Dillig, Thomas Dillig, Alex Aiken

Commun. ACM, 2010

Expanding the frontiers of computer science: designing a curriculum to reflect a diverse field.

Mehran Sahami, Alex Aiken, Julie Zelenski

Proceedings of the 41st ACM technical symposium on Computer science education, 2010

Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis.

Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the Static Analysis - 17th International Symposium, 2010

Community Epidemic Detection Using Time-Correlated Anomalies.

Adam J. Oliner, Ashutosh V. Kulkarni, Alex Aiken

Proceedings of the Recent Advances in Intrusion Detection, 13th International Symposium, 2010

Symbolic heap abstraction with demand-driven axiomatization of memory invariants.

Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

A query language for understanding component interactions in production systems.

Adam J. Oliner, Alex Aiken

Proceedings of the 24th International Conference on Supercomputing, 2010

Fluid Updates: Beyond Strong vs. Weak Updates.

Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the Programming Languages and Systems, 2010

Using correlated surprise to infer shared influence.

Adam J. Oliner, Ashutosh V. Kulkarni, Alex Aiken

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

Data Structure Fusion.

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2008

A capability calculus for concurrency and determinism.

Tachio Terauchi, Alex Aiken

ACM Trans. Program. Lang. Syst., 2008

Witnessing side effects.

Tachio Terauchi, Alex Aiken

ACM Trans. Program. Lang. Syst., 2008

Verifying the Safety of User Pointer Dereferences.

Suhabe Bugrara, Alex Aiken

Proceedings of the 2008 IEEE Symposium on Security and Privacy (SP 2008), 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

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Sound, complete and scalable path-sensitive analysis.

Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Binary Translation Using Peephole Superoptimizers.

Sorav Bansal, Alex Aiken

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

Alert Detection in System Logs.

Adam J. Oliner, Alex Aiken, Jon Stearley

Proceedings of the 8th IEEE International Conference on Data Mining (ICDM 2008), 2008

A tuning framework for software-managed memory hierarchies.

Manman Ren, Ji Young Park, Mike Houston, Alex Aiken, William J. Dally

Proceedings of the 17th International Conference on Parallel Architectures and Compilation Techniques, 2008

2007

In Memoriam: John W. Backus, 1924-2007.

Alex Aiken

login Usenix Mag., 2007

Saturn: A scalable framework for error detection using Boolean satisfiability.

Yichen Xie, Alex Aiken

ACM Trans. Program. Lang. Syst., 2007

Measuring empirical computational complexity.

Simon Goldsmith, Alex Aiken, Daniel Shawcross Wilkerson

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 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

Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Conditional must not aliasing for static race detection.

Mayur Naik, Alex Aiken

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Regularly annotated set constraints.

John Kodumal, Alex Aiken

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Static error detection using semantic inconsistency inference.

Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

An overview of the saturn project.

Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins

Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

2006

Flow-insensitive type qualifiers.

Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken

ACM Trans. Program. Lang. Syst., 2006

Static Detection of Security Vulnerabilities in Scripting Languages.

Yichen Xie, Alex Aiken

Proceedings of the 15th USENIX Security Symposium, Vancouver, BC, Canada, July 31, 2006

How is aliasing used in systems software?

Brian Hackett, Alex Aiken

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 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

Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, 2006

Effective static race detection for Java.

Mayur Naik, Alex Aiken, John Whaley

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Scalable program analysis using Boolean satisfiability.

Alex Aiken

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

On Typability for Rank-2 Intersection Types with Polymorphic Recursion.

Tachio Terauchi, Alex Aiken

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

Statistical debugging: simultaneous identification of multiple bugs.

Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken

Proceedings of the Machine Learning, 2006

Automatic generation of peephole superoptimizers.

Sorav Bansal, Alex Aiken

Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006

2005

Context- and path-sensitive memory leak detection.

Yichen Xie, Alex Aiken

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Secure Information Flow as a Safety Problem.

Tachio Terauchi, Alex Aiken

Proceedings of the Static Analysis, 12th International Symposium, 2005

Banshee: A Scalable Constraint-Based Analysis Toolkit.

John Kodumal, Alex Aiken

Proceedings of the Static Analysis, 12th International Symposium, 2005

Scalable error detection using boolean satisfiability.

Yichen Xie, Alex Aiken

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Scalable statistical bug isolation.

Ben Liblit, Mayur Naik, Alice X. Zheng, Alex Aiken, Michael I. Jordan

Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Relational queries over program traces.

Simon Goldsmith, Robert O'Callahan, Alex Aiken

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Saturn: A SAT-Based Tool for Bug Detection.

Yichen Xie, Alex Aiken

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

The set constraint/CFL reachability connection in practice.

John Kodumal, Alex Aiken

Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

2003

Winnowing: Local Algorithms for Document Fingerprinting.

Saul Schleimer, Daniel Shawcross Wilkerson, Alex Aiken

Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, 2003

Type Systems for Distributed Data Sharing.

Ben Liblit, Alex Aiken, Katherine A. Yelick

Proceedings of the Static Analysis, 10th International Symposium, 2003

Bug isolation via remote program sampling.

Ben Liblit, Alex Aiken, Alice X. Zheng, Michael I. Jordan

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

Checking and inferring local non-aliasing.

Alex Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

Statistical Debugging of Sampled Programs.

Alice X. Zheng, Michael I. Jordan, Ben Liblit, Alex Aiken

Proceedings of the Advances in Neural Information Processing Systems 16 [Neural Information Processing Systems, 2003

2002

The first-order theory of subtyping constraints.

Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen

Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

Flow-Sensitive Type Qualifiers.

Jeffrey S. Foster, Tachio Terauchi, Alex Aiken

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

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

Language Support for Regions.

David Gay, Alex Aiken

Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

Entailment with Conditional Equality Constraints.

Zhendong Su, Alexander Aiken

Proceedings of the Programming Languages and Systems, 2001

2000

Detecting races in Relay Ladder Logic programs.

Alexander Aiken, Manuel Fähndrich, Zhendong Su

Int. J. Softw. Tools Technol. Transf., 2000

Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C.

Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken

Proceedings of the Static Analysis, 7th International Symposium, 2000

Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs.

Zhendong Su, Manuel Fähndrich, Alexander Aiken

Proceedings of the POPL 2000, 2000

Type Systems for Distributed Data Structures.

Ben Liblit, Alexander Aiken

Proceedings of the POPL 2000, 2000

A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities.

David A. Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken

Proceedings of the Network and Distributed System Security Symposium, 2000

1999

Introduction to Set Constraint-Based Program Analysis.

Alexander Aiken

Sci. Comput. Program., 1999

Optimal Representations of Polymorphic Types with Subtyping.

Alexander Aiken, Edward L. Wimmers, Jens Palsberg

High. Order Symb. Comput., 1999

A Theory of Type Qualifiers.

Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken

Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

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

VIQING: Visual Interactive Querying.

Chris Olston, Michael Stonebraker, Alexander Aiken, Joseph M. Hellerstein

Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

Attack-Resistant Trust Metrics for Public Key Certification.

Raph Levien, Alex Aiken

Proceedings of the 7th USENIX Security Symposium, 1998

A Toolkit for Constructing Type- and Constraint-Based Program Analyses.

Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su

Proceedings of the Types in Compilation, Second International Workshop, 1998

DataSplash.

Chris Olston, Allison Woodruff, Alexander Aiken, Michael Chu, Vuk Ercegovac, Mark Lin, Mybrid Spalding, Michael Stonebraker

Proceedings of the SIGMOD 1998, 1998

Barrier Inference.

Alexander Aiken, David Gay

Proceedings of the POPL '98, 1998

Memory Management with Explicit Regions.

David Gay, Alex Aiken

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

Partial Online Cycle Elimination in Inclusion Constraint Graphs.

Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

1997

Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract).

Alexander Aiken, Edward L. Wimmers, Jens Palsberg

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

Program Analysis Using Mixed Term and Set Constraints.

Manuel Fähndrich, Alexander Aiken

Proceedings of the Static Analysis, 4th International Symposium, 1997

1996

Cool: A Portable Project for Teaching Compiler Construction.

Alexander Aiken

ACM SIGPLAN Notices, 1996

Constraint-Based Program Analysis (Abstract).

Alex Aiken

Proceedings of the Static Analysis, Third International Symposium, 1996

Tioga-2: A Direct Manipulation Database Visualization Environment.

Alexander Aiken, Jolly Chen, Michael Stonebraker, Allison Woodruff

Proceedings of the Twelfth International Conference on Data Engineering, February 26, 1996

1995

Decidability of Systems of Set Constraints with Negative Constraints

Alexander Aiken, Dexter Kozen, Edward L. Wimmers

Inf. Comput., October, 1995

Resource-Constrained Software Pipelining.

Alexander Aiken, Alexandru Nicolau, Steven Novack

IEEE Trans. Parallel Distributed 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

Static Analysis Techniques for Predicting the Behavior of Active Database Rules.

Alexander Aiken, Joseph M. Hellerstein, Jennifer Widom

ACM Trans. Database Syst., 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

Proceedings of the Visual Database Systems 3, 1995

Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages.

Alexander Aiken, Manuel Fähndrich, Raph Levien

Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), 1995

Dynamic Typing and Subtype Inference.

Alexander Aiken, Manuel Fähndrich

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

The Tioga-2 Database Visualization Environment.

Alexander Aiken, Jolly Chen, Mark Lin, Mybrid Spalding, Michael Stonebraker, Allison Woodruff

Proceedings of the Database Issues for Data Visualization, 1995

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

Proceedings of the Proceedings IEEE Symposium on Visual Languages, 1994

Directional Type Checking of Logic Programs

Alexander Aiken, T. K. Lakshman

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

Set Constraints: Results, Applications, and Future Directions.

Alexander Aiken

Proceedings of the Principles and Practice of Constraint Programming, 1994

Soft Typing with Conditional Types.

Alexander Aiken, Edward L. Wimmers, T. K. Lakshman

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation.

Lorenz Huelsbergen, James R. Larus, Alexander Aiken

Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

1993

Type Inclusion Constraints and Type Inference.

Alexander Aiken, Edward L. Wimmers

Proceedings of the conference on Functional programming languages and computer architecture, 1993

The Complexity of Set Constraints.

Alexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers

Proceedings of the Computer Science Logic, 7th Workshop, 1993

1992

Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism.

Alexander Aiken, Jennifer Widom, Joseph M. Hellerstein

Proceedings of the 1992 ACM SIGMOD International Conference on Management of Data, 1992

Solving Systems of Set Constraints (Extended Abstract)

Alexander Aiken, Edward L. Wimmers

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

1991

Static Type Inference in a Dynamically Typed Language.

Alexander Aiken, Brian R. Murphy

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

Implementing Regular Tree Expressions.

Alexander Aiken, Brian R. Murphy

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

1990

A Theory of Compaction-Based Parallelization.

Alexander Aiken

Theor. Comput. Sci., 1990

Program Transformation in the Presence of Errors.

Alexander Aiken, John H. Williams, Edward L. Wimmers

Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

1988

Compaction-Based Parallelization.

Alexander Aiken

PhD thesis, 1988

A Development Environment for Horizontal Microcode.

Alexander Aiken, Alexandru Nicolau

IEEE Trans. Software Eng., 1988

Fine-grain compilation for pipelined machines.

Alexandru Nicolau, Keshav Pingali, Alexander Aiken

J. Supercomput., 1988

Optimal Loop Parallelization.

Alexander Aiken, Alexandru Nicolau

Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), 1988

Perfect Pipelining: A New Loop Parallelization Technique.

Alexander Aiken, Alexandru Nicolau

Proceedings of the ESOP '88, 1988

1986

A development environment for horizontal microcode programs.

Alexander Aiken, Alexandru Nicolau

Proceedings of the 19th annual workshop on Microprogramming, 1986