Alexander Aiken

According to our database1, Alexander Aiken authored at least 183 papers between 1986 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
FLEET - Fast Lanes for Expedited Execution at 10 Terabits: Program Overview.
IEEE Internet Comput., 2021

Hierarchical Motion Understanding via Motion Programs.
CoRR, 2021

Scaling implicit parallelism via dynamic control replication.
Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021

Adaptive restarts for stochastic synthesis.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020
Task bench: a parameterized benchmark for evaluating parallel runtime performance.
Proceedings of the International Conference for High Performance Computing, 2020

First-order quantified separators.
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.
Proceedings of Machine Learning and Systems 2020, 2020

Redundancy-Free Computation for Graph Neural Networks.
Proceedings of the KDD '20: The 26th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2020

2019
Task Bench: A Parameterized Benchmark for Evaluating Parallel Runtime Performance.
CoRR, 2019

Redundancy-Free Computation Graphs for Graph Neural Networks.
CoRR, 2019

TASO: optimizing deep learning computation with automatic generation of graph substitutions.
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Pygion: Flexible, Scalable Task-Based Parallelism with Python.
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.
Proceedings of the International Conference for High Performance Computing, 2019

Semantic program alignment for equivalence checking.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

SPoC: Search-based Pseudocode to Code.
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.
Proceedings of Machine Learning and Systems 2019, 2019

Optimizing DNN Computation with Relaxed Graph Substitutions.
Proceedings of Machine Learning and Systems 2019, 2019

Eventually Sound Points-To Analysis with Specifications.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018
On automatically proving the correctness of math.h implementations.
Proc. ACM Program. Lang., 2018

Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems.
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.
Proceedings of the International Conference for High Performance Computing, 2018

Active learning of points-to specifications.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Isometry: A Path-Based Distributed Data Transfer System.
Proceedings of the 32nd International Conference on Supercomputing, 2018

Exploring Hidden Dimensions in Parallelizing Convolutional Neural Networks.
Proceedings of the 35th International Conference on Machine Learning, 2018

2017
A Distributed Multi-GPU System for Fast Graph Processing.
Proc. VLDB Endow., 2017

Seam: provably safe local edits on graphs.
Proc. ACM Program. Lang., 2017

Eventually Sound Points-To Analysis with Missing Code.
CoRR, 2017

Control replication: compiling implicit parallelism to efficient SPMD with logical regions.
Proceedings of the International Conference for High Performance Computing, 2017

In situ visualization with task-based parallelism.
Proceedings of the In Situ Infrastructures on Enabling Extreme-Scale Analysis and Visualization, 2017

Synthesizing program input grammars.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Integrating External Resources with a Task-Based Programming Model.
Proceedings of the 24th IEEE International Conference on High Performance Computing, 2017

Sound Loop Superoptimization for Google Native Client.
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.
Formal Methods Syst. Des., 2016

Stochastic program optimization.
Commun. ACM, 2016

Minimizing GUI event traces.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Verifying bit-manipulations of floating-point.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Stratified synthesis: automatically learning the x86-64 instruction set.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

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

Towards Asynchronous Many-Task in Situ Data Analysis Using Legion.
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.
Proceedings of the 10th Parallel Data Storage Workshop, 2015

Regent: a high-productivity programming language for HPC with logical regions.
Proceedings of the International Conference for High Performance Computing, 2015

Specification Inference Using Context-Free Language Reachability.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

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

Verification of producer-consumer synchronization in GPU programs.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

An interactive approach to mobile app verification.
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015

Interactively verifying absence of explicit information flows in Android apps.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Conditionally correct superoptimization.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Modelgen: mining explicit information flow specifications from concrete executions.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

2014
Apposcopy: automated detection of Android malware (invited talk).
Proceedings of the 2nd International Workshop on Software Development Lifecycle for Mobile, 2014

Apposcopy: semantics-based detection of Android malware through static analysis.
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.
Proceedings of the International Conference for High Performance Computing, 2014

Singe: leveraging warp specialization for high performance on GPUs.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Bias-variance tradeoffs in program analysis.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Stochastic optimization of floating-point programs with tunable precision.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

First-class runtime generation of high-performance types using exotypes.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

M<sup>3</sup>: high-performance memory management from off-the-shelf components.
Proceedings of the International Symposium on Memory Management, 2014

Verifying atomicity via data independence.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

Realm: an event-based low-level runtime for distributed memory architectures.
Proceedings of the International Conference on Parallel Architectures and Compilation, 2014

2013
Crowd-scale interactive formal reasoning and analytics.
Proceedings of the 26th Annual ACM Symposium on User Interface Software and Technology, 2013

Verification as Learning Geometric Concepts.
Proceedings of the Static Analysis - 20th International Symposium, 2013

Terra: a multi-stage language for high-performance computing.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Language support for dynamic, hierarchical data partitioning.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Data-driven equivalence checking.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

A Data Driven Approach for Algebraic Loop Invariants.
Proceedings of the Programming Languages and Systems, 2013

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

2012
An introduction to data representation synthesis.
Commun. ACM, 2012

Legion: expressing locality and independence with logical regions.
Proceedings of the SC Conference on High Performance Computing Networking, 2012

Concurrent data representation synthesis.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Automated error diagnosis using abductive inference.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Understanding the behavior of database operations under program control.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Reasoning about Lock Placements.
Proceedings of the Programming Languages and Systems, 2012

Interpolants as Classifiers.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Minimum Satisfying Assignments for SMT.
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.
Formal Methods Syst. Des., 2011

Inferring data polymorphism in systems code.
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.
Proceedings of the Conference on High Performance Computing Networking, 2011

Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia.
Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

Precise reasoning for programs using containers.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

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

Precise and compact modular procedure summaries for heap manipulating programs.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Testing atomicity of composed concurrent operations.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Automatic fine-grain locking using shape properties.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Online detection of multi-component interactions in production systems.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

Simplifying Loop Invariant Generation Using Splitter Predicates.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Reasoning about the unknown in static analysis.
Commun. ACM, 2010

Expanding the frontiers of computer science: designing a curriculum to reflect a diverse field.
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.
Proceedings of the Static Analysis - 17th International Symposium, 2010

Community Epidemic Detection Using Time-Correlated Anomalies.
Proceedings of the Recent Advances in Intrusion Detection, 13th International Symposium, 2010

Symbolic heap abstraction with demand-driven axiomatization of memory invariants.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

A query language for understanding component interactions in production systems.
Proceedings of the 24th International Conference on Supercomputing, 2010

Fluid Updates: Beyond Strong vs. Weak Updates.
Proceedings of the Programming Languages and Systems, 2010

Using correlated surprise to infer shared influence.
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

Data Structure Fusion.
Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2008
A capability calculus for concurrency and determinism.
ACM Trans. Program. Lang. Syst., 2008

Witnessing side effects.
ACM Trans. Program. Lang. Syst., 2008

Verifying the Safety of User Pointer Dereferences.
Proceedings of the 2008 IEEE Symposium on Security and Privacy (S&P 2008), 2008

A portable runtime interface for multi-level memory hierarchies.
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Sound, complete and scalable path-sensitive analysis.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Binary Translation Using Peephole Superoptimizers.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

Alert Detection in System Logs.
Proceedings of the 8th IEEE International Conference on Data Mining (ICDM 2008), 2008

A tuning framework for software-managed memory hierarchies.
Proceedings of the 17th International Conference on Parallel Architectures and Compilation Techniques, 2008

2007
In Memoriam: John W. Backus, 1924-2007.
login Usenix Mag., 2007

Saturn: A scalable framework for error detection using Boolean satisfiability.
ACM Trans. Program. Lang. Syst., 2007

Measuring empirical computational complexity.
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.
Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Conditional must not aliasing for static race detection.
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Regularly annotated set constraints.
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Static error detection using semantic inconsistency inference.
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

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

2006
Flow-insensitive type qualifiers.
ACM Trans. Program. Lang. Syst., 2006

Static Detection of Security Vulnerabilities in Scripting Languages.
Proceedings of the 15th USENIX Security Symposium, Vancouver, BC, Canada, July 31, 2006

How is aliasing used in systems software?
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Sequoia: programming the memory hierarchy.
Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, 2006

Effective static race detection for Java.
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Scalable program analysis using Boolean satisfiability.
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.
Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

Statistical debugging: simultaneous identification of multiple bugs.
Proceedings of the Machine Learning, 2006

Automatic generation of peephole superoptimizers.
Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006

2005
Context- and path-sensitive memory leak detection.
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.
Proceedings of the Static Analysis, 12th International Symposium, 2005

Banshee: A Scalable Constraint-Based Analysis Toolkit.
Proceedings of the Static Analysis, 12th International Symposium, 2005

Scalable error detection using boolean satisfiability.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Scalable statistical bug isolation.
Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Relational queries over program traces.
Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Saturn: A SAT-Based Tool for Bug Detection.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004
The set constraint/CFL reachability connection in practice.
Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

2003
Winnowing: Local Algorithms for Document Fingerprinting.
Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, 2003

Type Systems for Distributed Data Sharing.
Proceedings of the Static Analysis, 10th International Symposium, 2003

Bug isolation via remote program sampling.
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

Checking and inferring local non-aliasing.
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

Statistical Debugging of Sampled Programs.
Proceedings of the Advances in Neural Information Processing Systems 16 [Neural Information Processing Systems, 2003

2002
The first-order theory of subtyping constraints.
Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

Flow-Sensitive Type Qualifiers.
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.
J. Vis. Lang. Comput., 2001

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

Entailment with Conditional Equality Constraints.
Proceedings of the Programming Languages and Systems, 2001

2000
Detecting races in Relay Ladder Logic programs.
Int. J. Softw. Tools Technol. Transf., 2000

Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C.
Proceedings of the Static Analysis, 7th International Symposium, 2000

Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs.
Proceedings of the POPL 2000, 2000

Type Systems for Distributed Data Structures.
Proceedings of the POPL 2000, 2000

A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities.
Proceedings of the Network and Distributed System Security Symposium, 2000

1999
Introduction to Set Constraint-Based Program Analysis.
Sci. Comput. Program., 1999

Optimal Representations of Polymorphic Types with Subtyping.
High. Order Symb. Comput., 1999

A Theory of Type Qualifiers.
Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

1998
Titanium: A High-performance Java Dialect.
Concurr. Pract. Exp., 1998

VIQING: Visual Interactive Querying.
Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

Attack-Resistant Trust Metrics for Public Key Certification.
Proceedings of the 7th USENIX Security Symposium, 1998

A Toolkit for Constructing Type- and Constraint-Based Program Analyses.
Proceedings of the Types in Compilation, Second International Workshop, 1998


Barrier Inference.
Proceedings of the POPL '98, 1998

Memory Management with Explicit Regions.
Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

Partial Online Cycle Elimination in Inclusion Constraint Graphs.
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).
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

Program Analysis Using Mixed Term and Set Constraints.
Proceedings of the Static Analysis, 4th International Symposium, 1997

1996
Cool: A Portable Project for Teaching Compiler Construction.
ACM SIGPLAN Notices, 1996

Constraint-Based Program Analysis (Abstract).
Proceedings of the Static Analysis, Third International Symposium, 1996

Tioga-2: A Direct Manipulation Database Visualization Environment.
Proceedings of the Twelfth International Conference on Data Engineering, February 26, 1996

1995
Decidability of Systems of Set Constraints with Negative Constraints
Inf. Comput., October, 1995

Resource-Constrained Software Pipelining.
IEEE Trans. Parallel Distributed Syst., 1995

Safe: A Semantic Technique for Transforming Programs in the Presence of Errors.
ACM Trans. Program. Lang. Syst., 1995

Static Analysis Techniques for Predicting the Behavior of Active Database Rules.
ACM Trans. Database Syst., 1995

Navigation and Coordination Primitives for Multidimensional Visual Browsers.
Proceedings of the Visual Database Systems 3, 1995

Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages.
Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), 1995

Dynamic Typing and Subtype Inference.
Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

The Tioga-2 Database Visualization Environment.
Proceedings of the Database Issues for Data Visualization, 1995

1994
Zooming and Tunneling in Tioga: Supporting Navigation in Multimedia Space.
Proceedings of the Proceedings IEEE Symposium on Visual Languages, 1994

Directional Type Checking of Logic Programs
Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

Set Constraints: Results, Applications, and Future Directions.
Proceedings of the Principles and Practice of Constraint Programming, 1994

Soft Typing with Conditional Types.
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.
Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

1993
Type Inclusion Constraints and Type Inference.
Proceedings of the conference on Functional programming languages and computer architecture, 1993

The Complexity of Set Constraints.
Proceedings of the Computer Science Logic, 7th Workshop, 1993

1992
Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism.
Proceedings of the 1992 ACM SIGMOD International Conference on Management of Data, 1992

Solving Systems of Set Constraints (Extended Abstract)
Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

1991
Static Type Inference in a Dynamically Typed Language.
Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

Implementing Regular Tree Expressions.
Proceedings of the Functional Programming Languages and Computer Architecture, 1991

1990
A Theory of Compaction-Based Parallelization.
Theor. Comput. Sci., 1990

Program Transformation in the Presence of Errors.
Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

1988
A Development Environment for Horizontal Microcode.
IEEE Trans. Software Eng., 1988

Fine-grain compilation for pipelined machines.
J. Supercomput., 1988

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

Perfect Pipelining: A New Loop Parallelization Technique.
Proceedings of the ESOP '88, 1988

1986
A development environment for horizontal microcode programs.
Proceedings of the 19th annual workshop on Microprogramming, 1986


  Loading...