![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Alex Aiken
Person information
- affiliation: Stanford University, CA, USA
- affiliation (PhD 1988): Cornell University, Ithaca, NY, USA
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j30]Qiantan Hong
, Alex Aiken
:
Recursive Program Synthesis using Paramorphisms. Proc. ACM Program. Lang. 8(PLDI): 102-125 (2024) - [c178]Ziheng Wang, Emanuel Adamiak, Alex Aiken:
A Model for Query Execution Over Heterogeneous Instances. CIDR 2024 - [c177]Ziheng Wang, Alex Aiken:
Efficient Fault Tolerance for Pipelined Query Engines via Write-ahead Lineage. ICDE 2024: 436-448 - [c176]Mert Hidayetoglu
, Simon Garcia De Gonzalo
, Elliott Slaughter
, Yu Li
, Christopher Zimmer
, Tekin Bicer
, Bin Ren
, William Gropp
, Wen-Mei Hwu
, Alex Aiken
:
CommBench: Micro-Benchmarking Hierarchical Networks with Multi-GPU, Multi-NIC Nodes. ICS 2024: 426-436 - [c175]Seema Mirchandaney, Alex Aiken, Elliott Slaughter:
Speaking Pygion: Experiences Writing an Exascale Single Particle Imaging Code. WAMTA 2024: 1-8 - [i23]Ziheng Wang, Alex Aiken:
Efficient Fault Tolerance for Pipelined Query Engines via Write-ahead Lineage. CoRR abs/2403.08062 (2024) - [i22]Rohan Yadav, Shiv Sundram, Wonchan Lee, Michael Garland, Michael Bauer, Alex Aiken, Fredrik Kjolstad:
Composing Distributed Computations Through Task and Kernel Fusion. CoRR abs/2406.18109 (2024) - [i21]Rohan Yadav, Michael Bauer, David Broman, Michael Garland, Alex Aiken, Fredrik Kjolstad:
Automatic Tracing in Task-Based Runtime Systems. CoRR abs/2406.18111 (2024) - 2023
- [j29]Wonyeol Lee, Rahul Sharma, Alex Aiken:
Training with Mixed-Precision Floating-Point Assignments. Trans. Mach. Learn. Res. 2023 (2023) - [c174]Anwesha Das, Alex Aiken:
Prolego: Time-Series Analysis for Predicting Failures in Complex Systems. ACSOS 2023: 77-86 - [c173]Sumith Kulal, Tim Brooks, Alex Aiken, Jiajun Wu, Jimei Yang, Jingwan Lu, Alexei A. Efros, Krishna Kumar Singh:
Putting People in Their Place: Affordance-Aware Human Insertion into Scenes. CVPR 2023: 17089-17099 - [c172]Wonyeol Lee, Sejun Park, Alex Aiken:
On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters. ICML 2023: 19094-19140 - [c171]Michael Bauer, Elliott Slaughter, Sean Treichler, Wonchan Lee, Michael Garland, Alex Aiken:
Visibility Algorithms for Dynamic Dependence Analysis and Distributed Coherence. PPoPP 2023: 218-231 - [c170]Rohan Yadav
, Wonchan Lee
, Melih Elibol
, Manolis Papadakis
, Taylor Lee-Patti
, Michael Garland
, Alex Aiken
, Fredrik Kjolstad
, Michael Bauer
:
Legate Sparse: Distributed Sparse Computing in Python. SC 2023: 13:1-13:13 - [c169]Thiago S. F. X. Teixeira
, Alexandra Henzinger
, Rohan Yadav
, Alex Aiken
:
Automated Mapping of Task-Based Programs onto Distributed and Heterogeneous Machines. SC 2023: 15:1-15:13 - [i20]Wonyeol Lee, Sejun Park, Alex Aiken:
On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters. CoRR abs/2301.13370 (2023) - [i19]Wonyeol Lee, Rahul Sharma, Alex Aiken:
Training with Mixed-Precision Floating-Point Assignments. CoRR abs/2301.13464 (2023) - [i18]Sumith Kulal, Tim Brooks, Alex Aiken, Jiajun Wu, Jimei Yang, Jingwan Lu, Alexei A. Efros, Krishna Kumar Singh:
Putting People in Their Place: Affordance-Aware Human Insertion into Scenes. CoRR abs/2304.14406 (2023) - 2022
- [j28]Oded Padon, James R. Wilcox, Jason R. Koenig, Kenneth L. McMillan, Alex Aiken:
Induction duality: primal-dual search for invariants. Proc. ACM Program. Lang. 6(POPL): 1-29 (2022) - [c168]Anwesha Das, Daniel Ratner, Alex Aiken:
Performance Variability and Causality in Complex Systems. ACSOS-C 2022: 19-24 - [c167]Sumith Kulal, Jiayuan Mao, Alex Aiken, Jiajun Wu:
Programmatic Concept Learning for Human Motion Description and Synthesis. CVPR 2022: 13833-13842 - [c166]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:
Unity: Accelerating DNN Training Through Joint Optimization of Algebraic Transformations and Parallelization. OSDI 2022: 267-284 - [c165]Shiv Sundram, Wonchan Lee, Alex Aiken:
Task Fusion in Distributed Runtimes. PAW-ATM@SC 2022: 13-25 - [c164]Rohan Yadav
, Alex Aiken, Fredrik Kjolstad
:
DISTAL: the distributed tensor algebra compiler. PLDI 2022: 286-300 - [c163]Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia:
Quartz: superoptimization of Quantum circuits. PLDI 2022: 625-640 - [c162]Rohan Yadav, Alex Aiken, Fredrik Kjolstad:
SpDISTAL: Compiling Distributed Sparse Tensor Computations. SC 2022: 59:1-59:15 - [c161]Jason R. Koenig, Oded Padon, Sharon Shoham, Alex Aiken:
Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion. TACAS (1) 2022: 338-356 - [i17]Rohan Yadav, Alex Aiken, Fredrik Kjolstad:
DISTAL: The Distributed Tensor Algebra Compiler. CoRR abs/2203.08069 (2022) - [i16]Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia:
Quartz: Superoptimization of Quantum Circuits (Extended Version). CoRR abs/2204.09033 (2022) - [i15]Ferdinand Kossmann, Zhihao Jia, Alex Aiken:
Optimizing Mixture of Experts using Dynamic Recompilations. CoRR abs/2205.01848 (2022) - [i14]Sumith Kulal, Jiayuan Mao, Alex Aiken, Jiajun Wu:
Programmatic Concept Learning for Human Motion Description and Synthesis. CoRR abs/2206.13502 (2022) - [i13]Rohan Yadav, Alex Aiken, Fredrik Kjolstad:
SpDISTAL: Compiling Distributed Sparse Tensor Computations. CoRR abs/2207.13901 (2022) - 2021
- [j27]Fred Douglis
, Seth Robertson
, Eric van den Berg
, Josephine Micallef
, Marc Pucci
, Alex Aiken
, Keren Bergman
, Maarten Hattink
, Mingoo Seok
:
FLEET - Fast Lanes for Expedited Execution at 10 Terabits: Program Overview. IEEE Internet Comput. 25(3): 79-87 (2021) - [c160]Sumith Kulal, Jiayuan Mao, Alex Aiken, Jiajun Wu:
Hierarchical Motion Understanding via Motion Programs. CVPR 2021: 6568-6576 - [c159]Jason R. Koenig
, Oded Padon, Alex Aiken:
Adaptive restarts for stochastic synthesis. PLDI 2021: 696-709 - [c158]Michael Bauer, Wonchan Lee, Elliott Slaughter, Zhihao Jia, Mario Di Renzo
, Manolis Papadakis, Galen M. Shipman, Patrick S. McCormick, Michael Garland, Alex Aiken:
Scaling implicit parallelism via dynamic control replication. PPoPP 2021: 105-118 - [c157]Rupanshu Soi, Michael Bauer, Sean Treichler, Manolis Papadakis, Wonchan Lee, Patrick S. McCormick, Alex Aiken, Elliott Slaughter:
Index launches: scalable, flexible representation of parallel task groups. SC 2021: 66 - [i12]Sumith Kulal, Jiayuan Mao, Alex Aiken, Jiajun Wu:
Hierarchical Motion Understanding via Motion Programs. CoRR abs/2104.11216 (2021) - [i11]Jessica Pointing, Oded Padon, Zhihao Jia, Henry Ma, Auguste Hirth, Jens Palsberg, Alex Aiken:
Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities. CoRR abs/2111.11387 (2021) - [i10]Jason R. Koenig, Oded Padon, Sharon Shoham, Alex Aiken:
Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion. CoRR abs/2112.05304 (2021) - 2020
- [c156]Zhihao Jia, Sina Lin, Rex Ying, Jiaxuan You, Jure Leskovec, Alex Aiken:
Redundancy-Free Computation for Graph Neural Networks. KDD 2020: 997-1005 - [c155]Zhihao Jia, Sina Lin, Mingyu Gao, Matei Zaharia, Alex Aiken:
Improving the Accuracy, Scalability, and Performance of Graph Neural Networks with Roc. MLSys 2020 - [c154]Jason R. Koenig
, Oded Padon, Neil Immerman, Alex Aiken:
First-order quantified separators. PLDI 2020: 703-717 - [c153]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:
Task bench: a parameterized benchmark for evaluating parallel runtime performance. SC 2020: 62
2010 – 2019
- 2019
- [c152]Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken:
Eventually Sound Points-To Analysis with Specifications. ECOOP 2019: 11:1-11:28 - [c151]Zhihao Jia, James Thomas, Todd Warszawski, Mingyu Gao, Matei Zaharia, Alex Aiken:
Optimizing DNN Computation with Relaxed Graph Substitutions. SysML 2019 - [c150]Zhihao Jia, Matei Zaharia, Alex Aiken:
Beyond Data and Model Parallelism for Deep Neural Networks. SysML 2019 - [c149]Sumith Kulal, Panupong Pasupat, Kartik Chandra, Mina Lee, Oded Padon, Alex Aiken, Percy Liang:
SPoC: Search-based Pseudocode to Code. NeurIPS 2019: 11883-11894 - [c148]Berkeley R. Churchill, Oded Padon, Rahul Sharma, Alex Aiken:
Semantic program alignment for equivalence checking. PLDI 2019: 1027-1040 - [c147]Wonchan Lee, Manolis Papadakis, Elliott Slaughter, Alex Aiken:
A constraint-based approach to automatic data partitioning for distributed memory execution. SC 2019: 45:1-45:24 - [c146]Elliott Slaughter, Alex Aiken:
Pygion: Flexible, Scalable Task-Based Parallelism with Python. PAW-ATM@SC 2019: 58-72 - [c145]Zhihao Jia, Oded Padon, James Thomas, Todd Warszawski, Matei Zaharia
, Alex Aiken:
TASO: optimizing deep learning computation with automatic generation of graph substitutions. SOSP 2019: 47-62 - [i9]Zhihao Jia, Sina Lin, Rex Ying, Jiaxuan You, Jure Leskovec, Alex Aiken:
Redundancy-Free Computation Graphs for Graph Neural Networks. CoRR abs/1906.03707 (2019) - [i8]Sumith Kulal, Panupong Pasupat, Kartik Chandra, Mina Lee, Oded Padon, Alex Aiken, Percy Liang:
SPoC: Search-based Pseudocode to Code. CoRR abs/1906.04908 (2019) - [i7]Elliott Slaughter, Wei Wu
, Yuankun Fu, Legend Brandenburg, Nicolai Garcia, Wilhem Kautz, Emily Marx, Kaleb S. Morris, Wonchan Lee, Qinglei Cao, George Bosilca, Seema Mirchandaney, Sean Treichler, Patrick S. McCormick, Alex Aiken:
Task Bench: A Parameterized Benchmark for Evaluating Parallel Runtime Performance. CoRR abs/1908.05790 (2019) - 2018
- [j26]Wonyeol Lee
, Rahul Sharma, Alex Aiken:
On automatically proving the correctness of math.h implementations. Proc. ACM Program. Lang. 2(POPL): 47:1-47:32 (2018) - [c144]Zhihao Jia, Sina Lin, Charles R. Qi, Alex Aiken:
Exploring Hidden Dimensions in Parallelizing Convolutional Neural Networks. ICML 2018: 2279-2288 - [c143]Zhihao Jia, Sean Treichler, Galen M. Shipman, Patrick S. McCormick, Alex Aiken:
Isometry: A Path-Based Distributed Data Transfer System. ICS 2018: 295-306 - [c142]Osbert Bastani, Rahul Sharma, Alex Aiken
, Percy Liang:
Active learning of points-to specifications. PLDI 2018: 678-692 - [c141]Wonchan Lee, George Stelle, Patrick S. McCormick, Alex Aiken
:
Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems. CORRECTNESS@SC 2018: 17-24 - [c140]Wonchan Lee, Elliott Slaughter, Michael Bauer, Sean Treichler, Todd Warszawski, Michael Garland, Alex Aiken:
Dynamic tracing: memoization of task graphs for dynamic task-based runtimes. SC 2018: 34:1-34:13 - [i6]Zhihao Jia, Sina Lin, Charles R. Qi, Alex Aiken:
Exploring Hidden Dimensions in Parallelizing Convolutional Neural Networks. CoRR abs/1802.04924 (2018) - [i5]Zhihao Jia, Matei Zaharia, Alex Aiken:
Beyond Data and Model Parallelism for Deep Neural Networks. CoRR abs/1807.05358 (2018) - 2017
- [j25]Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, Pat Hanrahan:
Seam: provably safe local edits on graphs. Proc. ACM Program. Lang. 1(OOPSLA): 78:1-78:29 (2017) - [j24]Zhihao Jia, Yongkee Kwon, Galen M. Shipman, Patrick S. McCormick, Mattan Erez
, Alex Aiken
:
A Distributed Multi-GPU System for Fast Graph Processing. Proc. VLDB Endow. 11(3): 297-310 (2017) - [c139]Berkeley R. Churchill, Rahul Sharma, J. F. Bastien, Alex Aiken
:
Sound Loop Superoptimization for Google Native Client. ASPLOS 2017: 313-326 - [c138]Zhihao Jia, Sean Treichler, Galen M. Shipman, Michael Bauer, Noah Watkins, Carlos Maltzahn
, Patrick S. McCormick, Alex Aiken
:
Integrating External Resources with a Task-Based Programming Model. HiPC 2017: 307-316 - [c137]Osbert Bastani, Rahul Sharma, Alex Aiken
, Percy Liang:
Synthesizing program input grammars. PLDI 2017: 95-110 - [c136]Elliott Slaughter, Wonchan Lee, Sean Treichler, Wen Zhang
, Michael Bauer, Galen M. Shipman, Patrick S. McCormick, Alex Aiken:
Control replication: compiling implicit parallelism to efficient SPMD with logical regions. SC 2017: 14 - [c135]Alan Heirich, Elliott Slaughter, Manolis Papadakis, Wonchan Lee, Tim Biedert, Alex Aiken:
In situ visualization with task-based parallelism. ISAV@SC 2017: 17-21 - [i4]Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang:
Active Learning of Points-To Specifications. CoRR abs/1711.03239 (2017) - [i3]Osbert Bastani, Lazaro Clapp, Saswat Anand, Rahul Sharma, Alex Aiken:
Eventually Sound Points-To Analysis with Missing Code. CoRR abs/1711.03436 (2017) - 2016
- [j23]Eric Schkufza, Rahul Sharma, Alex Aiken
:
Stochastic program optimization. Commun. ACM 59(2): 114-122 (2016) - [j22]Rahul Sharma
, Alex Aiken
:
From invariant checking to invariant inference using randomized search. Formal Methods Syst. Des. 48(3): 235-256 (2016) - [c134]Philippe P. Pébay
, Janine C. Bennett, David S. Hollman, Sean Treichler, Patrick S. McCormick, Christine Sweeney
, Hemanth Kolla, Alex Aiken:
Towards Asynchronous Many-Task in Situ Data Analysis Using Legion. IPDPS Workshops 2016: 1033-1037 - [c133]Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, Alex Aiken
:
Dependent partitioning. OOPSLA 2016: 344-358 - [c132]Wonyeol Lee
, Rahul Sharma, Alex Aiken
:
Verifying bit-manipulations of floating-point. PLDI 2016: 70-84 - [c131]Stefan Heule, Eric Schkufza, Rahul Sharma, Alex Aiken
:
Stratified synthesis: automatically learning the x86-64 instruction set. PLDI 2016: 237-250 - [c130]Lazaro Clapp, Osbert Bastani, Saswat Anand, Alex Aiken:
Minimizing GUI event traces. SIGSOFT FSE 2016: 422-434 - [i2]Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang:
Synthesizing Program Input Grammars. CoRR abs/1608.01723 (2016) - 2015
- [c129]Lazaro Clapp, Saswat Anand, Alex Aiken:
Modelgen: mining explicit information flow specifications from concrete executions. ISSTA 2015: 129-140 - [c128]Osbert Bastani, Saswat Anand, Alex Aiken:
An interactive approach to mobile app verification. MobileDeLi 2015: 45-46 - [c127]Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken
:
Conditionally correct superoptimization. OOPSLA 2015: 147-162 - [c126]Osbert Bastani, Saswat Anand, Alex Aiken
:
Interactively verifying absence of explicit information flows in Android apps. OOPSLA 2015: 299-315 - [c125]Rahul Sharma, Michael Bauer, Alex Aiken
:
Verification of producer-consumer synchronization in GPU programs. PLDI 2015: 88-98 - [c124]Ofri Ziv, Alex Aiken
, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv:
Composing concurrency control. PLDI 2015: 240-249 - [c123]Osbert Bastani, Saswat Anand, Alex Aiken
:
Specification Inference Using Context-Free Language Reachability. POPL 2015: 553-566 - [c122]Noah Watkins, Zhihao Jia, Galen M. Shipman, Carlos Maltzahn, Alex Aiken, Patrick S. McCormick:
Automatic and transparent I/O optimization with storage integrated application runtime support. PDSW@SC 2015: 49-54 - [c121]Elliott Slaughter, Wonchan Lee, Sean Treichler, Michael Bauer, Alex Aiken:
Regent: a high-productivity programming language for HPC with logical regions. SC 2015: 81:1-81:12 - 2014
- [c120]Sean Treichler, Michael Bauer, Alex Aiken:
Realm: an event-based low-level runtime for distributed memory architectures. PACT 2014: 263-276 - [c119]Rahul Sharma, Alex Aiken:
From Invariant Checking to Invariant Inference Using Randomized Search. CAV 2014: 88-105 - [c118]Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev:
Verifying atomicity via data independence. ISSTA 2014: 26-36 - [c117]David Terei, Alex Aiken
, Jan Vitek:
M3: high-performance memory management from off-the-shelf components. ISMM 2014: 3-13 - [c116]Eric Schkufza, Rahul Sharma, Alex Aiken
:
Stochastic optimization of floating-point programs with tunable precision. PLDI 2014: 53-64 - [c115]Zachary DeVito, Daniel Ritchie
, Matthew Fisher, Alex Aiken
, Pat Hanrahan:
First-class runtime generation of high-performance types using exotypes. PLDI 2014: 77-88 - [c114]Rahul Sharma, Aditya V. Nori, Alex Aiken
:
Bias-variance tradeoffs in program analysis. POPL 2014: 127-138 - [c113]Michael Bauer, Sean Treichler, Alex Aiken
:
Singe: leveraging warp specialization for high performance on GPUs. PPoPP 2014: 119-130 - [c112]Michael Bauer, Sean Treichler, Elliott Slaughter, Alex Aiken:
Structure Slicing: Extending Logical Regions with Fields. SC 2014: 845-856 - [c111]Yu Feng, Isil Dillig, Saswat Anand, Alex Aiken:
Apposcopy: automated detection of Android malware (invited talk). DeMobile@SIGSOFT FSE 2014: 13-14 - [c110]Yu Feng
, Saswat Anand, Isil Dillig, Alex Aiken:
Apposcopy: semantics-based detection of Android malware through static analysis. SIGSOFT FSE 2014: 576-587 - 2013
- [c109]Eric Schkufza, Rahul Sharma, Alex Aiken:
Stochastic superoptimization. ASPLOS 2013: 305-316 - [c108]Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya V. Nori:
A Data Driven Approach for Algebraic Loop Invariants. ESOP 2013: 574-592 - [c107]Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken
:
Data-driven equivalence checking. OOPSLA 2013: 391-406 - [c106]Sean Treichler, Michael Bauer, Alex Aiken
:
Language support for dynamic, hierarchical data partitioning. OOPSLA 2013: 495-514 - [c105]Zachary DeVito, James Hegarty, Alex Aiken, Pat Hanrahan, Jan Vitek:
Terra: a multi-stage language for high-performance computing. PLDI 2013: 105-116 - [c104]Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Aditya V. Nori:
Verification as Learning Geometric Concepts. SAS 2013: 388-411 - [c103]Ethan Fast, Colleen Lee, Alex Aiken, Michael S. Bernstein, Daphne Koller, Eric Smith:
Crowd-scale interactive formal reasoning and analytics. UIST 2013: 363-372 - 2012
- [j21]Peter Hawkins, Martin C. Rinard, Alex Aiken
, Mooly Sagiv, Kathleen Fisher:
An introduction to data representation synthesis. Commun. ACM 55(12): 91-99 (2012) - [c102]Rahul Sharma, Aditya V. Nori, Alex Aiken:
Interpolants as Classifiers. CAV 2012: 71-87 - [c101]Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Alex Aiken:
Minimum Satisfying Assignments for SMT. CAV 2012: 394-409 - [c100]Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv:
Reasoning about Lock Placements. ESOP 2012: 336-356 - [c99]Juan M. Tamayo, Alex Aiken
, Nathan Grasso Bronson, Mooly Sagiv:
Understanding the behavior of database operations under program control. OOPSLA 2012: 983-996 - [c98]Isil Dillig, Thomas Dillig, Alex Aiken
:
Automated error diagnosis using abductive inference. PLDI 2012: 181-192 - [c97]Peter Hawkins, Alex Aiken
, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv:
Concurrent data representation synthesis. PLDI 2012: 417-428 - [c96]Michael Bauer, Sean Treichler, Elliott Slaughter, Alex Aiken:
Legion: expressing locality and independence with logical regions. SC 2012: 66 - [i1]Eric Schkufza, Rahul Sharma, Alex Aiken:
Stochastic Superoptimization. CoRR abs/1211.0557 (2012) - 2011
- [j20]Isil Dillig, Thomas Dillig, Alex Aiken
:
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. Formal Methods Syst. Des. 39(3): 246-260 (2011) - [c95]Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken:
Simplifying Loop Invariant Generation Using Splitter Predicates. CAV 2011: 703-719 - [c94]Adam J. Oliner, Alex Aiken:
Online detection of multi-component interactions in production systems. DSN 2011: 49-60 - [c93]Ohad Shacham, Nathan Grasso Bronson, Alex Aiken
, Mooly Sagiv, Martin T. Vechev, Eran Yahav:
Testing atomicity of composed concurrent operations. OOPSLA 2011: 51-64 - [c92]Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken
, G. Ramalingam, Mooly Sagiv, Eran Yahav:
Automatic fine-grain locking using shape properties. OOPSLA 2011: 225-242 - [c91]Peter Hawkins, Alex Aiken
, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv:
Data representation synthesis. PLDI 2011: 38-49 - [c90]Isil Dillig, Thomas Dillig, Alex Aiken
, Mooly Sagiv:
Precise and compact modular procedure summaries for heap manipulating programs. PLDI 2011: 567-577 - [c89]Isil Dillig, Thomas Dillig, Alex Aiken
:
Precise reasoning for programs using containers. POPL 2011: 187-200 - [c88]Michael Bauer, John Clark, Eric Schkufza, Alex Aiken:
Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia. PPoPP 2011: 13-24 - [c87]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:
Liszt: a domain specific language for building portable mesh-based PDE solvers. SC 2011: 9:1-9:12 - [c86]Brian Hackett, Alex Aiken:
Inferring data polymorphism in systems code. SIGSOFT FSE 2011: 332-342 - 2010
- [j19]Isil Dillig, Thomas Dillig, Alex Aiken
:
Reasoning about the unknown in static analysis. Commun. ACM 53(8): 115-123 (2010) - [c85]Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv:
Data Structure Fusion. APLAS 2010: 204-221 - [c84]Adam J. Oliner, Ashutosh V. Kulkarni, Alex Aiken:
Using correlated surprise to infer shared influence. DSN 2010: 191-200 - [c83]Isil Dillig, Thomas Dillig, Alex Aiken:
Fluid Updates: Beyond Strong vs. Weak Updates. ESOP 2010: 246-266 - [c82]Adam J. Oliner, Alex Aiken:
A query language for understanding component interactions in production systems. ICS 2010: 201-210 - [c81]Isil Dillig, Thomas Dillig, Alex Aiken
:
Symbolic heap abstraction with demand-driven axiomatization of memory invariants. OOPSLA 2010: 397-410 - [c80]Adam J. Oliner, Ashutosh V. Kulkarni, Alex Aiken:
Community Epidemic Detection Using Time-Correlated Anomalies. RAID 2010: 360-381 - [c79]Isil Dillig, Thomas Dillig, Alex Aiken:
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis. SAS 2010: 236-252 - [c78]Mehran Sahami, Alex Aiken, Julie Zelenski:
Expanding the frontiers of computer science: designing a curriculum to reflect a diverse field. SIGCSE 2010: 47-51 - [e3]Benjamin G. Zorn, Alex Aiken:
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010. ACM 2010, ISBN 978-1-4503-0019-3 [contents]
2000 – 2009
- 2009
- [c77]Isil Dillig, Thomas Dillig, Alex Aiken:
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers. CAV 2009: 233-247 - 2008
- [j18]Tachio Terauchi
, Alex Aiken
:
Witnessing side effects. ACM Trans. Program. Lang. Syst. 30(3): 15:1-15:42 (2008) - [j17]Tachio Terauchi
, Alex Aiken
:
A capability calculus for concurrency and determinism. ACM Trans. Program. Lang. Syst. 30(5): 27:1-27:30 (2008) - [c76]Manman Ren, Ji Young Park, Mike Houston, Alex Aiken, William J. Dally:
A tuning framework for software-managed memory hierarchies. PACT 2008: 280-291 - [c75]Adam J. Oliner, Alex Aiken
, Jon Stearley:
Alert Detection in System Logs. ICDM 2008: 959-964 - [c74]Sorav Bansal, Alex Aiken:
Binary Translation Using Peephole Superoptimizers. OSDI 2008: 177-192 - [c73]Isil Dillig, Thomas Dillig, Alex Aiken:
Sound, complete and scalable path-sensitive analysis. PLDI 2008: 270-280 - [c72]Mike Houston, Ji Young Park, Manman Ren, Timothy J. Knight, Kayvon Fatahalian, Alex Aiken, William J. Dally, Pat Hanrahan:
A portable runtime interface for multi-level memory hierarchies. PPoPP 2008: 143-152 - [c71]Suhabe Bugrara, Alex Aiken
:
Verifying the Safety of User Pointer Dereferences. SP 2008: 325-338 - 2007
- [j16]Yichen Xie, Alex Aiken
:
Saturn: A scalable framework for error detection using Boolean satisfiability. ACM Trans. Program. Lang. Syst. 29(3): 16 (2007) - [j15]Alex Aiken:
In Memoriam: John W. Backus, 1924-2007. login Usenix Mag. 32(3) (2007) - [c70]Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins:
An overview of the saturn project. PASTE 2007: 43-48 - [c69]John Kodumal, Alex Aiken:
Regularly annotated set constraints. PLDI 2007: 331-341 - [c68]Isil Dillig, Thomas Dillig, Alex Aiken:
Static error detection using semantic inconsistency inference. PLDI 2007: 435-445 - [c67]Mayur Naik, Alex Aiken:
Conditional must not aliasing for static race detection. POPL 2007: 327-338 - [c66]Timothy J. Knight, Ji Young Park, Manman Ren, Mike Houston, Mattan Erez
, Kayvon Fatahalian, Alex Aiken, William J. Dally, Pat Hanrahan:
Compilation for explicitly managed memory hierarchies. PPoPP 2007: 226-236 - [c65]Simon Goldsmith, Alex Aiken, Daniel Shawcross Wilkerson:
Measuring empirical computational complexity. ESEC/SIGSOFT FSE 2007: 395-404 - 2006
- [j14]Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken:
Flow-insensitive type qualifiers. ACM Trans. Program. Lang. Syst. 28(6): 1035-1087 (2006) - [c64]Sorav Bansal, Alex Aiken:
Automatic generation of peephole superoptimizers. ASPLOS 2006: 394-403 - [c63]Tachio Terauchi
, Alex Aiken:
A Capability Calculus for Concurrency and Determinism. CONCUR 2006: 218-232 - [c62]Alice X. Zheng, Michael I. Jordan
, Ben Liblit
, Mayur Naik, Alex Aiken:
Statistical debugging: simultaneous identification of multiple bugs. ICML 2006: 1105-1112 - [c61]Tachio Terauchi
, Alex Aiken:
On Typability for Rank-2 Intersection Types with Polymorphic Recursion. LICS 2006: 111-122 - [c60]Alex Aiken:
Scalable program analysis using Boolean satisfiability. MEMOCODE 2006: 89 - [c59]Mayur Naik, Alex Aiken, John Whaley:
Effective static race detection for Java. PLDI 2006: 308-319 - [c58]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:
Sequoia: programming the memory hierarchy. SC 2006: 83 - [c57]Brian Hackett, Alex Aiken:
How is aliasing used in systems software? SIGSOFT FSE 2006: 69-80 - [c56]Yichen Xie, Alex Aiken:
Static Detection of Security Vulnerabilities in Scripting Languages. USENIX Security Symposium 2006 - 2005
- [c55]Yichen Xie, Alex Aiken:
Saturn: A SAT-Based Tool for Bug Detection. CAV 2005: 139-143 - [c54]Tachio Terauchi
, Alex Aiken:
Witnessing side-effects. ICFP 2005: 105-115 - [c53]Simon Goldsmith, Robert O'Callahan, Alex Aiken:
Relational queries over program traces. OOPSLA 2005: 385-402 - [c52]Ben Liblit
, Mayur Naik, Alice X. Zheng, Alex Aiken, Michael I. Jordan
:
Scalable statistical bug isolation. PLDI 2005: 15-26 - [c51]Yichen Xie, Alex Aiken:
Scalable error detection using boolean satisfiability. POPL 2005: 351-363 - [c50]John Kodumal, Alex Aiken:
Banshee: A Scalable Constraint-Based Analysis Toolkit. SAS 2005: 218-234 - [c49]Tachio Terauchi
, Alex Aiken:
Secure Information Flow as a Safety Problem. SAS 2005: 352-367 - [c48]Yichen Xie, Alex Aiken:
Context- and path-sensitive memory leak detection. ESEC/SIGSOFT FSE 2005: 115-125 - 2004
- [c47]John Kodumal, Alex Aiken:
The set constraint/CFL reachability connection in practice. PLDI 2004: 207-218 - 2003
- [c46]Alice X. Zheng, Michael I. Jordan, Ben Liblit, Alex Aiken:
Statistical Debugging of Sampled Programs. NIPS 2003: 603-610 - [c45]Alex Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi
:
Checking and inferring local non-aliasing. PLDI 2003: 129-140 - [c44]Ben Liblit
, Alex Aiken, Alice X. Zheng, Michael I. Jordan:
Bug isolation via remote program sampling. PLDI 2003: 141-154 - [c43]Ben Liblit
, Alex Aiken, Katherine A. Yelick:
Type Systems for Distributed Data Sharing. SAS 2003: 273-294 - [c42]Saul Schleimer, Daniel Shawcross Wilkerson, Alex Aiken:
Winnowing: Local Algorithms for Document Fingerprinting. SIGMOD Conference 2003: 76-85 - [e2]Alex Aiken, Greg Morrisett:
Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003. ACM 2003, ISBN 1-58113-628-5 [contents] - 2002
- [c41]Jeffrey S. Foster, Tachio Terauchi
, Alex Aiken:
Flow-Sensitive Type Qualifiers. PLDI 2002: 1-12 - [c40]Zhendong Su
, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen:
The first-order theory of subtyping constraints. POPL 2002: 203-216 - 2001
- [j13]Allison Woodruff, Chris Olston, Alexander Aiken, Michael Chu, Vuk Ercegovac, Mark Lin, Mybrid Spalding, Michael Stonebraker:
DataSplash: A Direct Manipulation Environment for Programming Semantic Zoom Visualizations of Tabular Data. J. Vis. Lang. Comput. 12(5): 551-571 (2001) - [c39]Zhendong Su
, Alexander Aiken:
Entailment with Conditional Equality Constraints. ESOP 2001: 170-189 - [c38]David Gay, Alex Aiken:
Language Support for Regions. PLDI 2001: 70-80 - 2000
- [j12]Alexander Aiken, Manuel Fähndrich, Zhendong Su
:
Detecting races in Relay Ladder Logic programs. Int. J. Softw. Tools Technol. Transf. 3(1): 93-105 (2000) - [c37]David A. Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken:
A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. NDSS 2000 - [c36]Zhendong Su, Manuel Fähndrich, Alexander Aiken:
Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. POPL 2000: 81-95 - [c35]Ben Liblit
, Alexander Aiken:
Type Systems for Distributed Data Structures. POPL 2000: 199-213 - [c34]Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken:
Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. SAS 2000: 175-198
1990 – 1999
- 1999
- [j11]Alexander Aiken, Edward L. Wimmers, Jens Palsberg:
Optimal Representations of Polymorphic Types with Subtyping. High. Order Symb. Comput. 12(3): 237-282 (1999) - [j10]Alexander Aiken:
Introduction to Set Constraint-Based Program Analysis. Sci. Comput. Program. 35(2): 79-111 (1999) - [c33]Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken:
A Theory of Type Qualifiers. PLDI 1999: 192-203 - [c32]Arvind Krishnamurthy, Alexander Aiken, Phillip Colella, David Gay, Susan L. Graham, Paul N. Hilfinger, Ben Liblit, Carleton Miyamoto, Geoff Pike, Luigi Semenzato, Katherine A. Yelick:
Titanium: A High Performance Java Dialect. PP 1999 - [e1]Andrew W. Appel, Alex Aiken:
POPL '99, Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 20-22, 1999. ACM 1999, ISBN 1-58113-095-3 [contents] - 1998
- [j9]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:
Titanium: A High-performance Java Dialect. Concurr. Pract. Exp. 10(11-13): 825-836 (1998) - [c31]Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su
, Alexander Aiken:
Partial Online Cycle Elimination in Inclusion Constraint Graphs. PLDI 1998: 85-96 - [c30]David Gay, Alex Aiken:
Memory Management with Explicit Regions. PLDI 1998: 313-323 - [c29]Alexander Aiken, David Gay:
Barrier Inference. POPL 1998: 342-354 - [c28]Chris Olston, Allison Woodruff, Alexander Aiken, Michael Chu, Vuk Ercegovac, Mark Lin, Mybrid Spalding, Michael Stonebraker:
DataSplash. SIGMOD Conference 1998: 550-552 - [c27]Alexander Aiken, Manuel Fähndrich, Zhendong Su
:
Detecting Races in Relay Ladder Logic Programs. TACAS 1998: 184-200 - [c26]Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su
:
A Toolkit for Constructing Type- and Constraint-Based Program Analyses. Types in Compilation 1998: 78-96 - [c25]Raph Levien, Alex Aiken:
Attack-Resistant Trust Metrics for Public Key Certification. USENIX Security Symposium 1998 - [c24]Chris Olston, Michael Stonebraker, Alexander Aiken, Joseph M. Hellerstein:
VIQING: Visual Interactive Querying. VL 1998: 162-169 - 1997
- [c23]Manuel Fähndrich, Alexander Aiken:
Program Analysis Using Mixed Term and Set Constraints. SAS 1997: 114-126 - [c22]Alexander Aiken, Edward L. Wimmers, Jens Palsberg:
Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract). TACS 1997: 47-76 - 1996
- [j8]Alexander Aiken:
Cool: A Portable Project for Teaching Compiler Construction. ACM SIGPLAN Notices 31(7): 19-24 (1996) - [c21]Alexander Aiken, Jolly Chen, Michael Stonebraker, Allison Woodruff:
Tioga-2: A Direct Manipulation Database Visualization Environment. ICDE 1996: 208-217 - [c20]Alex Aiken:
Constraint-Based Program Analysis (Abstract). SAS 1996: 1 - 1995
- [j7]Alexander Aiken, Dexter Kozen, Edward L. Wimmers:
Decidability of Systems of Set Constraints with Negative Constraints. Inf. Comput. 122(1): 30-44 (1995) - [j6]Alexander Aiken, Joseph M. Hellerstein, Jennifer Widom:
Static Analysis Techniques for Predicting the Behavior of Active Database Rules. ACM Trans. Database Syst. 20(1): 3-41 (1995) - [j5]Alexander Aiken, John H. Williams, Edward L. Wimmers:
Safe: A Semantic Technique for Transforming Programs in the Presence of Errors. ACM Trans. Program. Lang. Syst. 17(1): 63-84 (1995) - [j4]Alexander Aiken, Alexandru Nicolau, Steven Novack:
Resource-Constrained Software Pipelining. IEEE Trans. Parallel Distributed Syst. 6(12): 1248-1270 (1995) - [c19]Alexander Aiken, Jolly Chen, Mark Lin, Mybrid Spalding, Michael Stonebraker, Allison Woodruff:
The Tioga-2 Database Visualization Environment. Workshop on Database Issues for Data Visualization 1995: 181-207 - [c18]Alexander Aiken, Manuel Fähndrich:
Dynamic Typing and Subtype Inference. FPCA 1995: 182-191 - [c17]Alexander Aiken, Manuel Fähndrich, Raph Levien:
Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages. PLDI 1995: 174-185 - [c16]Allison Woodruff, Alan Su, Michael Stonebraker, Caroline Paxson, Jolly Chen, Alexander Aiken, Peter Wisnovsky, Cimarron Taylor:
Navigation and Coordination Primitives for Multidimensional Visual Browsers. VDB 1995: 360-371 - 1994
- [c15]Lorenz Huelsbergen, James R. Larus, Alexander Aiken:
Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation. LISP and Functional Programming 1994: 79-90 - [c14]Alexander Aiken, Edward L. Wimmers, T. K. Lakshman:
Soft Typing with Conditional Types. POPL 1994: 163-173 - [c13]Alexander Aiken:
Set Constraints: Results, Applications, and Future Directions. PPCP 1994: 326-335 - [c12]Alexander Aiken, T. K. Lakshman:
Directional Type Checking of Logic Programs. SAS 1994: 43-60 - [c11]Allison Woodruff, Peter Wisnovsky, Cimarron Taylor, Michael Stonebraker, Caroline Paxson, Jolly Chen, Alexander Aiken:
Zooming and Tunneling in Tioga: Supporting Navigation in Multimedia Space. VL 1994: 191-193 - 1993
- [c10]Alexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers:
The Complexity of Set Constraints. CSL 1993: 1-17 - [c9]Alexander Aiken, Edward L. Wimmers:
Type Inclusion Constraints and Type Inference. FPCA 1993: 31-41 - 1992
- [c8]Alexander Aiken, Edward L. Wimmers:
Solving Systems of Set Constraints (Extended Abstract). LICS 1992: 329-340 - [c7]Alexander Aiken, Jennifer Widom, Joseph M. Hellerstein:
Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. SIGMOD Conference 1992: 59-68 - 1991
- [c6]Alexander Aiken, Brian R. Murphy:
Implementing Regular Tree Expressions. FPCA 1991: 427-447 - [c5]Alexander Aiken, Brian R. Murphy:
Static Type Inference in a Dynamically Typed Language. POPL 1991: 279-290 - 1990
- [j3]Alexander Aiken:
A Theory of Compaction-Based Parallelization. Theor. Comput. Sci. 73(2): 121-154 (1990) - [c4]Alexander Aiken, John H. Williams, Edward L. Wimmers:
Program Transformation in the Presence of Errors. POPL 1990: 210-217
1980 – 1989
- 1988
- [b1]Alexander Aiken:
Compaction-Based Parallelization. Cornell University, USA, 1988 - [j2]Alexandru Nicolau, Keshav Pingali, Alexander Aiken:
Fine-grain compilation for pipelined machines. J. Supercomput. 2(3): 279-295 (1988) - [j1]Alexander Aiken, Alexandru Nicolau:
A Development Environment for Horizontal Microcode. IEEE Trans. Software Eng. 14(5): 584-594 (1988) - [c3]Alexander Aiken, Alexandru Nicolau:
Perfect Pipelining: A New Loop Parallelization Technique. ESOP 1988: 221-235 - [c2]Alexander Aiken, Alexandru Nicolau:
Optimal Loop Parallelization. PLDI 1988: 308-317 - 1986
- [c1]Alexander Aiken, Alexandru Nicolau:
A development environment for horizontal microcode programs. MICRO 1986: 23-31
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-03 20:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint