default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlex Aiken
Alexander Aiken
Person information
- affiliation: Stanford University, CA, USA
- affiliation (PhD 1988): Cornell University, Ithaca, NY, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
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 - [i24]Ziheng Wang, Alex Aiken:
Efficient Fault Tolerance for Pipelined Query Engines via Write-ahead Lineage. CoRR abs/2403.08062 (2024) - [i23]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) - [i22]Rohan Yadav, Michael Bauer, David Broman, Michael Garland, Alex Aiken, Fredrik Kjolstad:
Automatic Tracing in Task-Based Runtime Systems. CoRR abs/2406.18111 (2024) - [i21]Mert Hidayetoglu, Simon Garcia de Gonzalo, Elliott Slaughter, Pinku Surana, Wen-Mei W. Hwu, William Gropp, Alex Aiken:
HiCCL: A Hierarchical Collective Communication Library. CoRR abs/2408.05962 (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,