Alex Aiken
Alex Aiken

homepage
aikenatcs.stanford.edu

ACM Fellow badge
  Affiliation history
Bibliometrics: publication history
Average citations per article27.97
Citation Count4,950
Publication count177
Publication years1986-2017
Available for download103
Average downloads per article532.69
Downloads (cumulative)54,867
Downloads (12 Months)3,819
Downloads (6 Weeks)528
SEARCH
ROLE
Arrow RightAuthor only
· Advisor only
· Other only
· All roles


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas

KEYWORDS
See all author supplied keywords


AUTHOR PROFILE PAGES
Project background Author-Izer logoAuthor-Izer Service

BOOKMARK & SHARE


181 results found Export Results: bibtex | endnote | acmref | csv

Result 1 – 20 of 181
Result page: 1 2 3 4 5 6 7 8 9 10

Sort by:

1
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
November 2018 SC '18: Proceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis
Publisher: IEEE Press
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 12,   Downloads (12 Months): 89,   Downloads (Overall): 89

Full text available: PDFPDF
Many recent programming systems for both supercomputing and data center workloads generate task graphs to express computations that run on parallel and distributed machines. Due to the overhead associated with constructing these graphs the dependence analysis that generates them is often statically computed and memoized, and the resulting graph executed ...

2
Instruction Level Parallelism
June 2018
Bibliometrics:
Citation Count: 0

This book precisely formulates and simplifies the presentation of Instruction Level Parallelism (ILP) compilation techniques. It uniquely offers consistent and uniform descriptions of the code transformations involved. Due to the ubiquitous nature of ILP in virtually every processor built today, from general purpose CPUs to application-specific and embedded processors, this ...

3 published by ACM
Isometry: A Path-Based Distributed Data Transfer System
Zhihao Jia, Sean Treichler, Galen Shipman, Pat McCormick, Alex Aiken
June 2018 ICS '18: Proceedings of the 2018 International Conference on Supercomputing
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 4,   Downloads (12 Months): 25,   Downloads (Overall): 25

Full text available: PDFPDF
Data transfers in parallel systems have a significant impact on the performance of applications. Most existing systems generally support only data transfers between memories with a direct hardware connection and have limited facilities for handling transformations to the data's layout in memory. As a result, to move data between memories ...

4 published by ACM
Active learning of points-to specifications
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
June 2018 PLDI 2018: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 19,   Downloads (12 Months): 143,   Downloads (Overall): 143

Full text available: PDFPDF
When analyzing programs, large libraries pose significant challenges to static points-to analysis. A popular solution is to have a human analyst provide points-to specifications that summarize relevant behaviors of library code, which can substantially improve precision and handle missing code such as native code. We propose Atlas, a tool that ...
Keywords: specification inference, static points-to analysis
Also published in:
December 2018  ACM SIGPLAN Notices - PLDI '18: Volume 53 Issue 4, April 2018

5 published by ACM
On automatically proving the correctness of math.h implementations
Wonyeol Lee, Rahul Sharma, Alex Aiken
December 2017 Proceedings of the ACM on Programming Languages: Volume 2 Issue POPL, January 2018
Publisher: ACM
Bibliometrics:
Citation Count: 2
Downloads (6 Weeks): 14,   Downloads (12 Months): 106,   Downloads (Overall): 146

Full text available: PDFPDF
Industry standard implementations of math.h claim (often without formal proof) tight bounds on floating-point errors. We demonstrate a novel static analysis that proves these bounds and verifies the correctness of these implementations. Our key insight is a reduction of this verification task to a set of mathematical optimization problems that ...
Keywords: Floating-point, correctness, rounding error, transcendental functions, verification

6 published by ACM
In situ visualization with task-based parallelism
Alan Heirich, Elliott Slaughter, Manolis Papadakis, Wonchan Lee, Tim Biedert, Alex Aiken
November 2017 ISAV'17: Proceedings of the In Situ Infrastructures on Enabling Extreme-Scale Analysis and Visualization
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 2,   Downloads (12 Months): 23,   Downloads (Overall): 39

Full text available: PDFPDF
This short paper describes an experimental prototype of in situ visualization in a task-based parallel programming framework. A set of reusable visualization tasks were composed with an existing simulation. The visualization tasks include a local OpenGL renderer, a parallel image compositor, and a display task. These tasks were added to ...
Keywords: Legion, exascale, image compositor, in situ visualization, sort-last, task-based

7 published by ACM
Control replication: compiling implicit parallelism to efficient SPMD with logical regions
Elliott Slaughter, Wonchan Lee, Sean Treichler, Wen Zhang, Michael Bauer, Galen Shipman, Patrick McCormick, Alex Aiken
November 2017 SC '17: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 5,   Downloads (12 Months): 52,   Downloads (Overall): 127

Full text available: PDFPDF
We present control replication , a technique for generating high-performance and scalable SPMD code from implicitly parallel programs. In contrast to traditional parallel programming models that require the programmer to explicitly manage threads and the communication and synchronization between them, implicitly parallel programs have sequential execution semantics and naturally avoid ...
Keywords: control replication, legion, regent, regions, task-based runtimes

8
A distributed multi-GPU system for fast graph processing
Zhihao Jia, Yongkee Kwon, Galen Shipman, Pat McCormick, Mattan Erez, Alex Aiken
November 2017 Proceedings of the VLDB Endowment: Volume 11 Issue 3, November 2017
Publisher: VLDB Endowment
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 11,   Downloads (12 Months): 66,   Downloads (Overall): 68

Full text available: PDFPDF
We present Lux, a distributed multi-GPU system that achieves fast graph processing by exploiting the aggregate memory bandwidth of multiple GPUs and taking advantage of locality in the memory hierarchy of multi-GPU clusters. Lux provides two execution models that optimize algorithmic efficiency and enable important GPU optimizations, respectively. Lux also ...

9 published by ACM
Seam: provably safe local edits on graphs
Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, Pat Hanrahan
October 2017 Proceedings of the ACM on Programming Languages: Volume 1 Issue OOPSLA, October 2017
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 9,   Downloads (12 Months): 70,   Downloads (Overall): 138

Full text available: PDFPDF
Algorithms that create and mutate graph data structures are challenging to implement correctly. However, verifying even basic properties of low-level implementations, such as referential integrity and memory safety, remains non-trivial. Furthermore, any extension to such a data structure multiplies the complexity of its implementation, while compounding the challenges in reasoning ...
Keywords: Domain-specific languages, Graph data structures, Verification

10 published by ACM
Synthesizing program input grammars
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
June 2017 PLDI 2017: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation
Publisher: ACM
Bibliometrics:
Citation Count: 10
Downloads (6 Weeks): 40,   Downloads (12 Months): 268,   Downloads (Overall): 521

Full text available: PDFPDF
We present an algorithm for synthesizing a context-free grammar encoding the language of valid program inputs from a set of input examples and blackbox access to the program. Our algorithm addresses shortcomings of existing grammar inference algorithms, which both severely overgeneralize and are prohibitively slow. Our implementation, GLADE, leverages the ...
Keywords: fuzzing, grammar synthesis
Also published in:
September 2017  ACM SIGPLAN Notices - PLDI '17: Volume 52 Issue 6, June 2017

11 published by ACM
Sound Loop Superoptimization for Google Native Client
Berkeley Churchill, Rahul Sharma, JF Bastien, Alex Aiken
April 2017 ASPLOS '17: Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 18,   Downloads (12 Months): 81,   Downloads (Overall): 241

Full text available: PDFPDF
Software fault isolation (SFI) is an important technique for the construction of secure operating systems, web browsers, and other extensible software. We demonstrate that superoptimization can dramatically improve the performance of Google Native Client, a SFI system that ships inside the Google Chrome Browser. Key to our results are new ...
Keywords: assembly, bounded verification, data-driven verification, equivalence checking, native client, superoptimization, verification, x86-64
Also published in:
May 2017  ACM SIGPLAN Notices - ASPLOS '17: Volume 52 Issue 4, April 2017 May 2017  ACM SIGARCH Computer Architecture News - Asplos'17: Volume 45 Issue 1, March 2017

12
Instruction Level Parallelism
November 2016
Bibliometrics:
Citation Count: 0

This book precisely formulates and simplifies the presentation of Instruction Level Parallelism (ILP) compilation techniques. It uniquely offers consistent and uniform descriptions of the code transformations involved. Due to the ubiquitous nature of ILP in virtually every processor built today, from general purpose CPUs to application-specific and embedded processors, this ...

13 published by ACM
Minimizing GUI event traces
Lazaro Clapp, Osbert Bastani, Saswat Anand, Alex Aiken
November 2016 FSE 2016: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering
Publisher: ACM
Bibliometrics:
Citation Count: 7
Downloads (6 Weeks): 7,   Downloads (12 Months): 75,   Downloads (Overall): 251

Full text available: PDFPDF
GUI input generation tools for Android apps, such as Android's Monkey, are useful for automatically producing test inputs, but these tests are generally orders of magnitude larger than necessary, making them difficult for humans to understand. We present a technique for minimizing the output of such tools. Our technique accounts ...
Keywords: Android, delta debugging, testing, trace minimization

14 published by ACM
Dependent partitioning
Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, Alex Aiken
October 2016 OOPSLA 2016: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
Publisher: ACM
Bibliometrics:
Citation Count: 4
Downloads (6 Weeks): 6,   Downloads (12 Months): 29,   Downloads (Overall): 114

Full text available: PDFPDF
A key problem in parallel programming is how data is partitioned : divided into subsets that can be operated on in parallel and, in distributed memory machines, spread across multiple address spaces. We present a dependent partitioning framework that allows an application to concisely describe relationships between partitions. Applications first ...
Keywords: Data partitioning, Legion, Regent, distributed memory, parallel execution, program verification
Also published in:
December 2016  ACM SIGPLAN Notices - OOPSLA '16: Volume 51 Issue 10, October 2016

15 published by ACM
Verifying bit-manipulations of floating-point
Wonyeol Lee, Rahul Sharma, Alex Aiken
June 2016 PLDI '16: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation
Publisher: ACM
Bibliometrics:
Citation Count: 7
Downloads (6 Weeks): 7,   Downloads (12 Months): 47,   Downloads (Overall): 411

Full text available: PDFPDF
Reasoning about floating-point is difficult and becomes only more so if there is an interplay between floating-point and bit-level operations. Even though real-world floating-point libraries use implementations that have such mixed computations, no systematic technique to verify the correctness of the implementations of such computations is known. In this paper, ...
Keywords: Absolute error, Binary analysis, Bit-level operation, Bit-manipulation, Floating-point, Transcendental function, ULP error, Verification, x86 binary
Also published in:
August 2016  ACM SIGPLAN Notices - PLDI '16: Volume 51 Issue 6, June 2016

16 published by ACM
Stratified synthesis: automatically learning the x86-64 instruction set
June 2016 PLDI '16: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation
Publisher: ACM
Bibliometrics:
Citation Count: 13
Downloads (6 Weeks): 16,   Downloads (12 Months): 184,   Downloads (Overall): 610

Full text available: PDFPDF
The x86-64 ISA sits at the bottom of the software stack of most desktop and server software. Because of its importance, many software analysis and verification tools depend, either explicitly or implicitly, on correct modeling of the semantics of x86-64 instructions. However, formal semantics for the x86-64 ISA are difficult ...
Keywords: ISA specification, program synthesis, x86-64
Also published in:
August 2016  ACM SIGPLAN Notices - PLDI '16: Volume 51 Issue 6, June 2016

17
From invariant checking to invariant inference using randomized search
June 2016 Formal Methods in System Design: Volume 48 Issue 3, June 2016
Publisher: Kluwer Academic Publishers
Bibliometrics:
Citation Count: 0

We describe a general framework c2i for generating an invariant inference procedure from an invariant checking procedure. Given a checker and a language of possible invariants, c2i generates an inference procedure that iteratively invokes two phases. The search phase uses randomized search to discover candidate invariants and the validate phase ...
Keywords: Loop invariants, Markov Chain Monte Carlo (MCMC), Verification, Satisfiability modulo theories (SMT)

18 published by ACM
Stochastic program optimization
January 2016 Communications of the ACM: Volume 59 Issue 2, February 2016
Publisher: ACM
Bibliometrics:
Citation Count: 2
Downloads (6 Weeks): 11,   Downloads (12 Months): 92,   Downloads (Overall): 921

Full text available: HtmlHtml  PDFPDF
The optimization of short sequences of loop-free, fixed-point assembly code sequences is an important problem in high-performance computing. However, the competing constraints of transformation correctness and performance improvement often force even special purpose compilers to produce sub-optimal code. We show that by encoding these constraints as terms in a cost ...

19 published by ACM
Automatic and transparent I/O optimization with storage integrated application runtime support
Noah Watkins, Zhihao Jia, Galen Shipman, Carlos Maltzahn, Alex Aiken, Pat McCormick
November 2015 PDSW '15: Proceedings of the 10th Parallel Data Storage Workshop
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 5,   Downloads (12 Months): 21,   Downloads (Overall): 84

Full text available: PDFPDF
Traditionally storage has not been part of a programming model's semantics and is added only as an I/O library interface. As a result, programming models, languages, and storage systems are limited in the optimizations they can perform for I/O operations, as the semantics of the I/O library is typically at ...

20 published by ACM
Regent: a high-productivity programming language for HPC with logical regions
Elliott Slaughter, Wonchan Lee, Sean Treichler, Michael Bauer, Alex Aiken
November 2015 SC '15: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis
Publisher: ACM
Bibliometrics:
Citation Count: 12
Downloads (6 Weeks): 10,   Downloads (12 Months): 91,   Downloads (Overall): 247

Full text available: PDFPDF
We present Regent, a high-productivity programming language for high performance computing with logical regions. Regent users compose programs with tasks (functions eligible for parallel execution) and logical regions (hierarchical collections of structured objects). Regent programs appear to execute sequentially, require no explicit synchronization, and are trivially deadlock-free. Regent's type system ...
Keywords: Regent, legion, logical regions, runtimes, task-based



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2019 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us