Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alexander Aiken
@inproceedings{DBLP:conf/cidr/WangAA24,
author = {Ziheng Wang and
Emanuel Adamiak and
Alex Aiken},
title = {A Model for Query Execution Over Heterogeneous Instances},
booktitle = {14th Conference on Innovative Data Systems Research, {CIDR} 2024,
Chaminade, HI, USA, January 14-17, 2024},
publisher = {www.cidrdb.org},
year = {2024},
url = {https://www.cidrdb.org/cidr2024/papers/p17-wang.pdf},
timestamp = {Fri, 05 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cidr/WangAA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-08062,
author = {Ziheng Wang and
Alex Aiken},
title = {Efficient Fault Tolerance for Pipelined Query Engines via Write-ahead
Lineage},
journal = {CoRR},
volume = {abs/2403.08062},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.08062},
doi = {10.48550/ARXIV.2403.08062},
eprinttype = {arXiv},
eprint = {2403.08062},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-08062.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/DasA23,
author = {Anwesha Das and
Alex Aiken},
title = {Prolego: Time-Series Analysis for Predicting Failures in Complex Systems},
booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2023, Toronto, ON, Canada, September 25-29, 2023},
pages = {77--86},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ACSOS58161.2023.00025},
doi = {10.1109/ACSOS58161.2023.00025},
timestamp = {Wed, 13 Dec 2023 14:38:49 +0100},
biburl = {https://dblp.org/rec/conf/acsos/DasA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/KulalBA0YLES23,
author = {Sumith Kulal and
Tim Brooks and
Alex Aiken and
Jiajun Wu and
Jimei Yang and
Jingwan Lu and
Alexei A. Efros and
Krishna Kumar Singh},
title = {Putting People in Their Place: Affordance-Aware Human Insertion into
Scenes},
booktitle = {{IEEE/CVF} Conference on Computer Vision and Pattern Recognition,
{CVPR} 2023, Vancouver, BC, Canada, June 17-24, 2023},
pages = {17089--17099},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CVPR52729.2023.01639},
doi = {10.1109/CVPR52729.2023.01639},
timestamp = {Tue, 29 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cvpr/KulalBA0YLES23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/0001PA23,
author = {Wonyeol Lee and
Sejun Park and
Alex Aiken},
editor = {Andreas Krause and
Emma Brunskill and
Kyunghyun Cho and
Barbara Engelhardt and
Sivan Sabato and
Jonathan Scarlett},
title = {On the Correctness of Automatic Differentiation for Neural Networks
with Machine-Representable Parameters},
booktitle = {International Conference on Machine Learning, {ICML} 2023, 23-29 July
2023, Honolulu, Hawaii, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {202},
pages = {19094--19140},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v202/lee23p.html},
timestamp = {Mon, 28 Aug 2023 17:23:08 +0200},
biburl = {https://dblp.org/rec/conf/icml/0001PA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/BauerSTLGA23,
author = {Michael Bauer and
Elliott Slaughter and
Sean Treichler and
Wonchan Lee and
Michael Garland and
Alex Aiken},
editor = {Maryam Mehri Dehnavi and
Milind Kulkarni and
Sriram Krishnamoorthy},
title = {Visibility Algorithms for Dynamic Dependence Analysis and Distributed
Coherence},
booktitle = {Proceedings of the 28th {ACM} {SIGPLAN} Annual Symposium on Principles
and Practice of Parallel Programming, PPoPP 2023, Montreal, QC, Canada,
25 February 2023 - 1 March 2023},
pages = {218--231},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3572848.3577515},
doi = {10.1145/3572848.3577515},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppopp/BauerSTLGA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/YadavLEPLGAK023,
author = {Rohan Yadav and
Wonchan Lee and
Melih Elibol and
Manolis Papadakis and
Taylor Lee{-}Patti and
Michael Garland and
Alex Aiken and
Fredrik Kjolstad and
Michael Bauer},
editor = {Dorian Arnold and
Rosa M. Badia and
Kathryn M. Mohror},
title = {Legate Sparse: Distributed Sparse Computing in Python},
booktitle = {Proceedings of the International Conference for High Performance Computing,
Networking, Storage and Analysis, {SC} 2023, Denver, CO, USA, November
12-17, 2023},
pages = {13:1--13:13},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3581784.3607033},
doi = {10.1145/3581784.3607033},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/YadavLEPLGAK023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/TeixeiraHYA23,
author = {Thiago S. F. X. Teixeira and
Alexandra Henzinger and
Rohan Yadav and
Alex Aiken},
editor = {Dorian Arnold and
Rosa M. Badia and
Kathryn M. Mohror},
title = {Automated Mapping of Task-Based Programs onto Distributed and Heterogeneous
Machines},
booktitle = {Proceedings of the International Conference for High Performance Computing,
Networking, Storage and Analysis, {SC} 2023, Denver, CO, USA, November
12-17, 2023},
pages = {15:1--15:13},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3581784.3607079},
doi = {10.1145/3581784.3607079},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/TeixeiraHYA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-13370,
author = {Wonyeol Lee and
Sejun Park and
Alex Aiken},
title = {On the Correctness of Automatic Differentiation for Neural Networks
with Machine-Representable Parameters},
journal = {CoRR},
volume = {abs/2301.13370},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.13370},
doi = {10.48550/ARXIV.2301.13370},
eprinttype = {arXiv},
eprint = {2301.13370},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-13370.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-13464,
author = {Wonyeol Lee and
Rahul Sharma and
Alex Aiken},
title = {Training with Mixed-Precision Floating-Point Assignments},
journal = {CoRR},
volume = {abs/2301.13464},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.13464},
doi = {10.48550/ARXIV.2301.13464},
eprinttype = {arXiv},
eprint = {2301.13464},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-13464.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-14406,
author = {Sumith Kulal and
Tim Brooks and
Alex Aiken and
Jiajun Wu and
Jimei Yang and
Jingwan Lu and
Alexei A. Efros and
Krishna Kumar Singh},
title = {Putting People in Their Place: Affordance-Aware Human Insertion into
Scenes},
journal = {CoRR},
volume = {abs/2304.14406},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.14406},
doi = {10.48550/ARXIV.2304.14406},
eprinttype = {arXiv},
eprint = {2304.14406},
timestamp = {Thu, 04 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-14406.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PadonWKMA22,
author = {Oded Padon and
James R. Wilcox and
Jason R. Koenig and
Kenneth L. McMillan and
Alex Aiken},
title = {Induction duality: primal-dual search for invariants},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--29},
year = {2022},
url = {https://doi.org/10.1145/3498712},
doi = {10.1145/3498712},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PadonWKMA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/DasRA22,
author = {Anwesha Das and
Daniel Ratner and
Alex Aiken},
editor = {Roberto Casadei and
Elisabetta Di Nitto and
Ilias Gerostathopoulos and
Danilo Pianini and
Ivana Dusparic and
Timothy Wood and
Phyllis R. Nelson and
Evangelos Pournaras and
Nelly Bencomo and
Sebastian G{\"{o}}tz and
Christian Krupitzer and
Claudia Raibulet},
title = {Performance Variability and Causality in Complex Systems},
booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems Companion, {ACSOS-C} 2022, Virtual, CA, USA, September 19-23,
2022},
pages = {19--24},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ACSOSC56246.2022.00021},
doi = {10.1109/ACSOSC56246.2022.00021},
timestamp = {Wed, 16 Nov 2022 11:08:36 +0100},
biburl = {https://dblp.org/rec/conf/acsos/DasRA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/KulalMA022,
author = {Sumith Kulal and
Jiayuan Mao and
Alex Aiken and
Jiajun Wu},
title = {Programmatic Concept Learning for Human Motion Description and Synthesis},
booktitle = {{IEEE/CVF} Conference on Computer Vision and Pattern Recognition,
{CVPR} 2022, New Orleans, LA, USA, June 18-24, 2022},
pages = {13833--13842},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CVPR52688.2022.01347},
doi = {10.1109/CVPR52688.2022.01347},
timestamp = {Wed, 05 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cvpr/KulalMA022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/UngerJ0LBNRPMML22,
author = {Colin Unger and
Zhihao Jia and
Wei Wu and
Sina Lin and
Mandeep Baines and
Carlos Efrain Quintero Narvaez and
Vinay Ramakrishnaiah and
Nirmal Prajapati and
Patrick S. McCormick and
Jamaludin Mohd{-}Yusof and
Xi Luo and
Dheevatsa Mudigere and
Jongsoo Park and
Misha Smelyanskiy and
Alex Aiken},
editor = {Marcos K. Aguilera and
Hakim Weatherspoon},
title = {Unity: Accelerating {DNN} Training Through Joint Optimization of Algebraic
Transformations and Parallelization},
booktitle = {16th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2022, Carlsbad, CA, USA, July 11-13, 2022},
pages = {267--284},
publisher = {{USENIX} Association},
year = {2022},
url = {https://www.usenix.org/conference/osdi22/presentation/unger},
timestamp = {Tue, 11 Oct 2022 16:51:12 +0200},
biburl = {https://dblp.org/rec/conf/osdi/UngerJ0LBNRPMML22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pawatm-ws/SundramLA22,
author = {Shiv Sundram and
Wonchan Lee and
Alex Aiken},
title = {Task Fusion in Distributed Runtimes},
booktitle = {{IEEE/ACM} Parallel Applications Workshop: Alternatives To MPI+X,
PAW-ATM@SC 2022, Dallas, TX, USA, November 13-18, 2022},
pages = {13--25},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/PAW-ATM56565.2022.00007},
doi = {10.1109/PAW-ATM56565.2022.00007},
timestamp = {Mon, 13 Feb 2023 21:53:09 +0100},
biburl = {https://dblp.org/rec/conf/pawatm-ws/SundramLA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/YadavAK22,
author = {Rohan Yadav and
Alex Aiken and
Fredrik Kjolstad},
editor = {Ranjit Jhala and
Isil Dillig},
title = {{DISTAL:} the distributed tensor algebra compiler},
booktitle = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, San Diego, CA, USA, June 13 -
17, 2022},
pages = {286--300},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519939.3523437},
doi = {10.1145/3519939.3523437},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/YadavAK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/XuLPLPHMPAAJ22,
author = {Mingkuan Xu and
Zikun Li and
Oded Padon and
Sina Lin and
Jessica Pointing and
Auguste Hirth and
Henry Ma and
Jens Palsberg and
Alex Aiken and
Umut A. Acar and
Zhihao Jia},
editor = {Ranjit Jhala and
Isil Dillig},
title = {Quartz: superoptimization of Quantum circuits},
booktitle = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, San Diego, CA, USA, June 13 -
17, 2022},
pages = {625--640},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519939.3523433},
doi = {10.1145/3519939.3523433},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/XuLPLPHMPAAJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/YadavAK22,
author = {Rohan Yadav and
Alex Aiken and
Fredrik Kjolstad},
editor = {Felix Wolf and
Sameer Shende and
Candace Culhane and
Sadaf R. Alam and
Heike Jagode},
title = {SpDISTAL: Compiling Distributed Sparse Tensor Computations},
booktitle = {{SC22:} International Conference for High Performance Computing, Networking,
Storage and Analysis, Dallas, TX, USA, November 13-18, 2022},
pages = {59:1--59:15},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SC41404.2022.00064},
doi = {10.1109/SC41404.2022.00064},
timestamp = {Wed, 24 May 2023 16:17:06 +0200},
biburl = {https://dblp.org/rec/conf/sc/YadavAK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KoenigPSA22,
author = {Jason R. Koenig and
Oded Padon and
Sharon Shoham and
Alex Aiken},
editor = {Dana Fisman and
Grigore Rosu},
title = {Inferring Invariants with Quantifier Alternations: Taming the Search
Space Explosion},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13243},
pages = {338--356},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99524-9\_18},
doi = {10.1007/978-3-030-99524-9\_18},
timestamp = {Fri, 29 Apr 2022 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KoenigPSA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-08069,
author = {Rohan Yadav and
Alex Aiken and
Fredrik Kjolstad},
title = {{DISTAL:} The Distributed Tensor Algebra Compiler},
journal = {CoRR},
volume = {abs/2203.08069},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.08069},
doi = {10.48550/ARXIV.2203.08069},
eprinttype = {arXiv},
eprint = {2203.08069},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-08069.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-09033,
author = {Mingkuan Xu and
Zikun Li and
Oded Padon and
Sina Lin and
Jessica Pointing and
Auguste Hirth and
Henry Ma and
Jens Palsberg and
Alex Aiken and
Umut A. Acar and
Zhihao Jia},
title = {Quartz: Superoptimization of Quantum Circuits (Extended Version)},
journal = {CoRR},
volume = {abs/2204.09033},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.09033},
doi = {10.48550/ARXIV.2204.09033},
eprinttype = {arXiv},
eprint = {2204.09033},
timestamp = {Mon, 25 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-09033.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-01848,
author = {Ferdinand Kossmann and
Zhihao Jia and
Alex Aiken},
title = {Optimizing Mixture of Experts using Dynamic Recompilations},
journal = {CoRR},
volume = {abs/2205.01848},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.01848},
doi = {10.48550/ARXIV.2205.01848},
eprinttype = {arXiv},
eprint = {2205.01848},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-01848.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-13502,
author = {Sumith Kulal and
Jiayuan Mao and
Alex Aiken and
Jiajun Wu},
title = {Programmatic Concept Learning for Human Motion Description and Synthesis},
journal = {CoRR},
volume = {abs/2206.13502},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.13502},
doi = {10.48550/ARXIV.2206.13502},
eprinttype = {arXiv},
eprint = {2206.13502},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-13502.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-13901,
author = {Rohan Yadav and
Alex Aiken and
Fredrik Kjolstad},
title = {SpDISTAL: Compiling Distributed Sparse Tensor Computations},
journal = {CoRR},
volume = {abs/2207.13901},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.13901},
doi = {10.48550/ARXIV.2207.13901},
eprinttype = {arXiv},
eprint = {2207.13901},
timestamp = {Tue, 02 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-13901.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/internet/DouglisRBMPABHS21,
author = {Fred Douglis and
Seth Robertson and
Eric van den Berg and
Josephine Micallef and
Marc Pucci and
Alex Aiken and
Keren Bergman and
Maarten Hattink and
Mingoo Seok},
title = {{FLEET} - Fast Lanes for Expedited Execution at 10 Terabits: Program
Overview},
journal = {{IEEE} Internet Comput.},
volume = {25},
number = {3},
pages = {79--87},
year = {2021},
url = {https://doi.org/10.1109/MIC.2021.3075326},
doi = {10.1109/MIC.2021.3075326},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/internet/DouglisRBMPABHS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/KulalMA021,
author = {Sumith Kulal and
Jiayuan Mao and
Alex Aiken and
Jiajun Wu},
title = {Hierarchical Motion Understanding via Motion Programs},
booktitle = {{IEEE} Conference on Computer Vision and Pattern Recognition, {CVPR}
2021, virtual, June 19-25, 2021},
pages = {6568--6576},
publisher = {Computer Vision Foundation / {IEEE}},
year = {2021},
url = {https://openaccess.thecvf.com/content/CVPR2021/html/Kulal\_Hierarchical\_Motion\_Understanding\_via\_Motion\_Programs\_CVPR\_2021\_paper.html},
doi = {10.1109/CVPR46437.2021.00650},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cvpr/KulalMA021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KoenigPA21,
author = {Jason R. Koenig and
Oded Padon and
Alex Aiken},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Adaptive restarts for stochastic synthesis},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {696--709},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454071},
doi = {10.1145/3453483.3454071},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/KoenigPA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/BauerLSJRPSMGA21,
author = {Michael Bauer and
Wonchan Lee and
Elliott Slaughter and
Zhihao Jia and
Mario Di Renzo and
Manolis Papadakis and
Galen M. Shipman and
Patrick S. McCormick and
Michael Garland and
Alex Aiken},
editor = {Jaejin Lee and
Erez Petrank},
title = {Scaling implicit parallelism via dynamic control replication},
booktitle = {PPoPP '21: 26th {ACM} {SIGPLAN} Symposium on Principles and Practice
of Parallel Programming, Virtual Event, Republic of Korea, February
27- March 3, 2021},
pages = {105--118},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3437801.3441587},
doi = {10.1145/3437801.3441587},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppopp/BauerLSJRPSMGA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/SoiBTPLMAS21,
author = {Rupanshu Soi and
Michael Bauer and
Sean Treichler and
Manolis Papadakis and
Wonchan Lee and
Patrick S. McCormick and
Alex Aiken and
Elliott Slaughter},
editor = {Bronis R. de Supinski and
Mary W. Hall and
Todd Gamblin},
title = {Index launches: scalable, flexible representation of parallel task
groups},
booktitle = {International Conference for High Performance Computing, Networking,
Storage and Analysis, {SC} 2021, St. Louis, Missouri, USA, November
14-19, 2021},
pages = {66},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3458817.3476175},
doi = {10.1145/3458817.3476175},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/SoiBTPLMAS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-11216,
author = {Sumith Kulal and
Jiayuan Mao and
Alex Aiken and
Jiajun Wu},
title = {Hierarchical Motion Understanding via Motion Programs},
journal = {CoRR},
volume = {abs/2104.11216},
year = {2021},
url = {https://arxiv.org/abs/2104.11216},
eprinttype = {arXiv},
eprint = {2104.11216},
timestamp = {Tue, 27 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-11216.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-11387,
author = {Jessica Pointing and
Oded Padon and
Zhihao Jia and
Henry Ma and
Auguste Hirth and
Jens Palsberg and
Alex Aiken},
title = {Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit
Identities},
journal = {CoRR},
volume = {abs/2111.11387},
year = {2021},
url = {https://arxiv.org/abs/2111.11387},
eprinttype = {arXiv},
eprint = {2111.11387},
timestamp = {Fri, 26 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-11387.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-05304,
author = {Jason R. Koenig and
Oded Padon and
Sharon Shoham and
Alex Aiken},
title = {Inferring Invariants with Quantifier Alternations: Taming the Search
Space Explosion},
journal = {CoRR},
volume = {abs/2112.05304},
year = {2021},
url = {https://arxiv.org/abs/2112.05304},
eprinttype = {arXiv},
eprint = {2112.05304},
timestamp = {Tue, 14 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-05304.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/JiaLYYLA20,
author = {Zhihao Jia and
Sina Lin and
Rex Ying and
Jiaxuan You and
Jure Leskovec and
Alex Aiken},
editor = {Rajesh Gupta and
Yan Liu and
Jiliang Tang and
B. Aditya Prakash},
title = {Redundancy-Free Computation for Graph Neural Networks},
booktitle = {{KDD} '20: The 26th {ACM} {SIGKDD} Conference on Knowledge Discovery
and Data Mining, Virtual Event, CA, USA, August 23-27, 2020},
pages = {997--1005},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3394486.3403142},
doi = {10.1145/3394486.3403142},
timestamp = {Tue, 09 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kdd/JiaLYYLA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlsys/JiaLGZA20,
author = {Zhihao Jia and
Sina Lin and
Mingyu Gao and
Matei Zaharia and
Alex Aiken},
editor = {Inderjit S. Dhillon and
Dimitris S. Papailiopoulos and
Vivienne Sze},
title = {Improving the Accuracy, Scalability, and Performance of Graph Neural
Networks with Roc},
booktitle = {Proceedings of Machine Learning and Systems 2020, MLSys 2020, Austin,
TX, USA, March 2-4, 2020},
publisher = {mlsys.org},
year = {2020},
url = {https://proceedings.mlsys.org/book/300.pdf},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mlsys/JiaLGZA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KoenigPIA20,
author = {Jason R. Koenig and
Oded Padon and
Neil Immerman and
Alex Aiken},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {First-order quantified separators},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {703--717},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386018},
doi = {10.1145/3385412.3386018},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KoenigPIA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/SlaughterWFBGKM20,
author = {Elliott Slaughter and
Wei Wu and
Yuankun Fu and
Legend Brandenburg and
Nicolai Garcia and
Wilhem Kautz and
Emily Marx and
Kaleb S. Morris and
Qinglei Cao and
George Bosilca and
Seema Mirchandaney and
Wonchan Lee and
Sean Treichler and
Patrick S. McCormick and
Alex Aiken},
editor = {Christine Cuicchi and
Irene Qualters and
William T. Kramer},
title = {Task bench: a parameterized benchmark for evaluating parallel runtime
performance},
booktitle = {Proceedings of the International Conference for High Performance Computing,
Networking, Storage and Analysis, {SC} 2020, Virtual Event / Atlanta,
Georgia, USA, November 9-19, 2020},
pages = {62},
publisher = {{IEEE/ACM}},
year = {2020},
url = {https://doi.org/10.1109/SC41405.2020.00066},
doi = {10.1109/SC41405.2020.00066},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/SlaughterWFBGKM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Bastani0CAA19,
author = {Osbert Bastani and
Rahul Sharma and
Lazaro Clapp and
Saswat Anand and
Alex Aiken},
editor = {Alastair F. Donaldson},
title = {Eventually Sound Points-To Analysis with Specifications},
booktitle = {33rd European Conference on Object-Oriented Programming, {ECOOP} 2019,
July 15-19, 2019, London, United Kingdom},
series = {LIPIcs},
volume = {134},
pages = {11:1--11:28},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2019.11},
doi = {10.4230/LIPICS.ECOOP.2019.11},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Bastani0CAA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlsys/JiaTWGZA19,
author = {Zhihao Jia and
James Thomas and
Todd Warszawski and
Mingyu Gao and
Matei Zaharia and
Alex Aiken},
editor = {Ameet Talwalkar and
Virginia Smith and
Matei Zaharia},
title = {Optimizing {DNN} Computation with Relaxed Graph Substitutions},
booktitle = {Proceedings of Machine Learning and Systems 2019, MLSys 2019, Stanford,
CA, USA, March 31 - April 2, 2019},
publisher = {mlsys.org},
year = {2019},
url = {https://proceedings.mlsys.org/book/276.pdf},
timestamp = {Mon, 10 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mlsys/JiaTWGZA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlsys/JiaZA19,
author = {Zhihao Jia and
Matei Zaharia and
Alex Aiken},
editor = {Ameet Talwalkar and
Virginia Smith and
Matei Zaharia},
title = {Beyond Data and Model Parallelism for Deep Neural Networks},
booktitle = {Proceedings of Machine Learning and Systems 2019, MLSys 2019, Stanford,
CA, USA, March 31 - April 2, 2019},
publisher = {mlsys.org},
year = {2019},
url = {https://proceedings.mlsys.org/book/265.pdf},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mlsys/JiaZA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/KulalPC0PAL19,
author = {Sumith Kulal and
Panupong Pasupat and
Kartik Chandra and
Mina Lee and
Oded Padon and
Alex Aiken and
Percy Liang},
editor = {Hanna M. Wallach and
Hugo Larochelle and
Alina Beygelzimer and
Florence d'Alch{\'{e}}{-}Buc and
Emily B. Fox and
Roman Garnett},
title = {SPoC: Search-based Pseudocode to Code},
booktitle = {Advances in Neural Information Processing Systems 32: Annual Conference
on Neural Information Processing Systems 2019, NeurIPS 2019, December
8-14, 2019, Vancouver, BC, Canada},
pages = {11883--11894},
year = {2019},
url = {https://proceedings.neurips.cc/paper/2019/hash/7298332f04ac004a0ca44cc69ecf6f6b-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/KulalPC0PAL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChurchillP0A19,
author = {Berkeley R. Churchill and
Oded Padon and
Rahul Sharma and
Alex Aiken},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Semantic program alignment for equivalence checking},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {1027--1040},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314596},
doi = {10.1145/3314221.3314596},
timestamp = {Sun, 09 Jun 2019 18:52:19 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ChurchillP0A19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/LeePSA19,
author = {Wonchan Lee and
Manolis Papadakis and
Elliott Slaughter and
Alex Aiken},
editor = {Michela Taufer and
Pavan Balaji and
Antonio J. Pe{\~{n}}a},
title = {A constraint-based approach to automatic data partitioning for distributed
memory execution},
booktitle = {Proceedings of the International Conference for High Performance Computing,
Networking, Storage and Analysis, {SC} 2019, Denver, Colorado, USA,
November 17-19, 2019},
pages = {45:1--45:24},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3295500.3356199},
doi = {10.1145/3295500.3356199},
timestamp = {Sat, 09 Nov 2019 12:05:50 +0100},
biburl = {https://dblp.org/rec/conf/sc/LeePSA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/SlaughterA19,
author = {Elliott Slaughter and
Alex Aiken},
title = {Pygion: Flexible, Scalable Task-Based Parallelism with Python},
booktitle = {2019 {IEEE/ACM} Parallel Applications Workshop, Alternatives To MPI,
PAW-ATM@SC 2019, Denver, CO, USA, November 17, 2019},
pages = {58--72},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/PAW-ATM49560.2019.00011},
doi = {10.1109/PAW-ATM49560.2019.00011},
timestamp = {Wed, 22 Apr 2020 16:50:48 +0200},
biburl = {https://dblp.org/rec/conf/sc/SlaughterA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/JiaPTWZA19,
author = {Zhihao Jia and
Oded Padon and
James Thomas and
Todd Warszawski and
Matei Zaharia and
Alex Aiken},
editor = {Tim Brecht and
Carey Williamson},
title = {{TASO:} optimizing deep learning computation with automatic generation
of graph substitutions},
booktitle = {Proceedings of the 27th {ACM} Symposium on Operating Systems Principles,
{SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019},
pages = {47--62},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3341301.3359630},
doi = {10.1145/3341301.3359630},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/JiaPTWZA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-03707,
author = {Zhihao Jia and
Sina Lin and
Rex Ying and
Jiaxuan You and
Jure Leskovec and
Alex Aiken},
title = {Redundancy-Free Computation Graphs for Graph Neural Networks},
journal = {CoRR},
volume = {abs/1906.03707},
year = {2019},
url = {http://arxiv.org/abs/1906.03707},
eprinttype = {arXiv},
eprint = {1906.03707},
timestamp = {Fri, 14 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-03707.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-04908,
author = {Sumith Kulal and
Panupong Pasupat and
Kartik Chandra and
Mina Lee and
Oded Padon and
Alex Aiken and
Percy Liang},
title = {SPoC: Search-based Pseudocode to Code},
journal = {CoRR},
volume = {abs/1906.04908},
year = {2019},
url = {http://arxiv.org/abs/1906.04908},
eprinttype = {arXiv},
eprint = {1906.04908},
timestamp = {Mon, 17 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-04908.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-05790,
author = {Elliott Slaughter and
Wei Wu and
Yuankun Fu and
Legend Brandenburg and
Nicolai Garcia and
Wilhem Kautz and
Emily Marx and
Kaleb S. Morris and
Wonchan Lee and
Qinglei Cao and
George Bosilca and
Seema Mirchandaney and
Sean Treichler and
Patrick S. McCormick and
Alex Aiken},
title = {Task Bench: {A} Parameterized Benchmark for Evaluating Parallel Runtime
Performance},
journal = {CoRR},
volume = {abs/1908.05790},
year = {2019},
url = {http://arxiv.org/abs/1908.05790},
eprinttype = {arXiv},
eprint = {1908.05790},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-05790.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Lee0A18,
author = {Wonyeol Lee and
Rahul Sharma and
Alex Aiken},
title = {On automatically proving the correctness of math.h implementations},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {47:1--47:32},
year = {2018},
url = {https://doi.org/10.1145/3158135},
doi = {10.1145/3158135},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/Lee0A18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/JiaLQA18,
author = {Zhihao Jia and
Sina Lin and
Charles R. Qi and
Alex Aiken},
editor = {Jennifer G. Dy and
Andreas Krause},
title = {Exploring Hidden Dimensions in Parallelizing Convolutional Neural
Networks},
booktitle = {Proceedings of the 35th International Conference on Machine Learning,
{ICML} 2018, Stockholmsm{\"{a}}ssan, Stockholm, Sweden, July
10-15, 2018},
series = {Proceedings of Machine Learning Research},
volume = {80},
pages = {2279--2288},
publisher = {{PMLR}},
year = {2018},
url = {http://proceedings.mlr.press/v80/jia18a.html},
timestamp = {Wed, 03 Apr 2019 18:17:30 +0200},
biburl = {https://dblp.org/rec/conf/icml/JiaLQA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/JiaTSMA18,
author = {Zhihao Jia and
Sean Treichler and
Galen M. Shipman and
Patrick S. McCormick and
Alex Aiken},
title = {Isometry: {A} Path-Based Distributed Data Transfer System},
booktitle = {Proceedings of the 32nd International Conference on Supercomputing,
{ICS} 2018, Beijing, China, June 12-15, 2018},
pages = {295--306},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3205289.3205301},
doi = {10.1145/3205289.3205301},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ics/JiaTSMA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Bastani0AL18,
author = {Osbert Bastani and
Rahul Sharma and
Alex Aiken and
Percy Liang},
editor = {Jeffrey S. Foster and
Dan Grossman},
title = {Active learning of points-to specifications},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
USA, June 18-22, 2018},
pages = {678--692},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3192366.3192383},
doi = {10.1145/3192366.3192383},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/Bastani0AL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/LeeSMA18,
author = {Wonchan Lee and
George Stelle and
Patrick S. McCormick and
Alex Aiken},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Correctness of Dynamic Dependence Analysis for Implicitly Parallel
Tasking Systems},
booktitle = {2nd {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November
12, 2018},
pages = {17--24},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/Correctness.2018.00007},
doi = {10.1109/CORRECTNESS.2018.00007},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/LeeSMA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/LeeSBTWGA18,
author = {Wonchan Lee and
Elliott Slaughter and
Michael Bauer and
Sean Treichler and
Todd Warszawski and
Michael Garland and
Alex Aiken},
title = {Dynamic tracing: memoization of task graphs for dynamic task-based
runtimes},
booktitle = {Proceedings of the International Conference for High Performance Computing,
Networking, Storage, and Analysis, {SC} 2018, Dallas, TX, USA, November
11-16, 2018},
pages = {34:1--34:13},
publisher = {{IEEE} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3291702},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/LeeSBTWGA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-04924,
author = {Zhihao Jia and
Sina Lin and
Charles R. Qi and
Alex Aiken},
title = {Exploring Hidden Dimensions in Parallelizing Convolutional Neural
Networks},
journal = {CoRR},
volume = {abs/1802.04924},
year = {2018},
url = {http://arxiv.org/abs/1802.04924},
eprinttype = {arXiv},
eprint = {1802.04924},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-04924.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-05358,
author = {Zhihao Jia and
Matei Zaharia and
Alex Aiken},
title = {Beyond Data and Model Parallelism for Deep Neural Networks},
journal = {CoRR},
volume = {abs/1807.05358},
year = {2018},
url = {http://arxiv.org/abs/1807.05358},
eprinttype = {arXiv},
eprint = {1807.05358},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-05358.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PapadakisB0AH17,
author = {Manolis Papadakis and
Gilbert Louis Bernstein and
Rahul Sharma and
Alex Aiken and
Pat Hanrahan},
title = {Seam: provably safe local edits on graphs},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {78:1--78:29},
year = {2017},
url = {https://doi.org/10.1145/3133902},
doi = {10.1145/3133902},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PapadakisB0AH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/JiaKSMEA17,
author = {Zhihao Jia and
Yongkee Kwon and
Galen M. Shipman and
Patrick S. McCormick and
Mattan Erez and
Alex Aiken},
title = {A Distributed Multi-GPU System for Fast Graph Processing},
journal = {Proc. {VLDB} Endow.},
volume = {11},
number = {3},
pages = {297--310},
year = {2017},
url = {http://www.vldb.org/pvldb/vol11/p297-jia.pdf},
doi = {10.14778/3157794.3157799},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pvldb/JiaKSMEA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/ChurchillSBA17,
author = {Berkeley R. Churchill and
Rahul Sharma and
J. F. Bastien and
Alex Aiken},
editor = {Yunji Chen and
Olivier Temam and
John Carter},
title = {Sound Loop Superoptimization for Google Native Client},
booktitle = {Proceedings of the Twenty-Second International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2017, Xi'an, China, April 8-12, 2017},
pages = {313--326},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3037697.3037754},
doi = {10.1145/3037697.3037754},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asplos/ChurchillSBA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipc/JiaTSBWMMA17,
author = {Zhihao Jia and
Sean Treichler and
Galen M. Shipman and
Michael Bauer and
Noah Watkins and
Carlos Maltzahn and
Patrick S. McCormick and
Alex Aiken},
title = {Integrating External Resources with a Task-Based Programming Model},
booktitle = {24th {IEEE} International Conference on High Performance Computing,
HiPC 2017, Jaipur, India, December 18-21, 2017},
pages = {307--316},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/HiPC.2017.00043},
doi = {10.1109/HIPC.2017.00043},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hipc/JiaTSBWMMA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Bastani0AL17,
author = {Osbert Bastani and
Rahul Sharma and
Alex Aiken and
Percy Liang},
editor = {Albert Cohen and
Martin T. Vechev},
title = {Synthesizing program input grammars},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
June 18-23, 2017},
pages = {95--110},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3062341.3062349},
doi = {10.1145/3062341.3062349},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/Bastani0AL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/SlaughterLTZBSM17,
author = {Elliott Slaughter and
Wonchan Lee and
Sean Treichler and
Wen Zhang and
Michael Bauer and
Galen M. Shipman and
Patrick S. McCormick and
Alex Aiken},
editor = {Bernd Mohr and
Padma Raghavan},
title = {Control replication: compiling implicit parallelism to efficient {SPMD}
with logical regions},
booktitle = {Proceedings of the International Conference for High Performance Computing,
Networking, Storage and Analysis, {SC} 2017, Denver, CO, USA, November
12 - 17, 2017},
pages = {14},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3126908.3126949},
doi = {10.1145/3126908.3126949},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/SlaughterLTZBSM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/HeirichSPLBA17,
author = {Alan Heirich and
Elliott Slaughter and
Manolis Papadakis and
Wonchan Lee and
Tim Biedert and
Alex Aiken},
title = {In situ visualization with task-based parallelism},
booktitle = {Proceedings of the In Situ Infrastructures on Enabling Extreme-Scale
Analysis and Visualization, ISAV@SC 2017, Denver, CO, USA, November
12, 2017},
pages = {17--21},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3144769.3144771},
doi = {10.1145/3144769.3144771},
timestamp = {Tue, 06 Nov 2018 16:59:28 +0100},
biburl = {https://dblp.org/rec/conf/sc/HeirichSPLBA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-03239,
author = {Osbert Bastani and
Rahul Sharma and
Alex Aiken and
Percy Liang},
title = {Active Learning of Points-To Specifications},
journal = {CoRR},
volume = {abs/1711.03239},
year = {2017},
url = {http://arxiv.org/abs/1711.03239},
eprinttype = {arXiv},
eprint = {1711.03239},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-03239.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-03436,
author = {Osbert Bastani and
Lazaro Clapp and
Saswat Anand and
Rahul Sharma and
Alex Aiken},
title = {Eventually Sound Points-To Analysis with Missing Code},
journal = {CoRR},
volume = {abs/1711.03436},
year = {2017},
url = {http://arxiv.org/abs/1711.03436},
eprinttype = {arXiv},
eprint = {1711.03436},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-03436.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Schkufza0A16,
author = {Eric Schkufza and
Rahul Sharma and
Alex Aiken},
title = {Stochastic program optimization},
journal = {Commun. {ACM}},
volume = {59},
number = {2},
pages = {114--122},
year = {2016},
url = {https://doi.org/10.1145/2863701},
doi = {10.1145/2863701},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Schkufza0A16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SharmaA16,
author = {Rahul Sharma and
Alex Aiken},
title = {From invariant checking to invariant inference using randomized search},
journal = {Formal Methods Syst. Des.},
volume = {48},
number = {3},
pages = {235--256},
year = {2016},
url = {https://doi.org/10.1007/s10703-016-0248-5},
doi = {10.1007/S10703-016-0248-5},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/SharmaA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/PebayBHTMSKA16,
author = {Philippe P. P{\'{e}}bay and
Janine C. Bennett and
David S. Hollman and
Sean Treichler and
Patrick S. McCormick and
Christine Sweeney and
Hemanth Kolla and
Alex Aiken},
title = {Towards Asynchronous Many-Task in Situ Data Analysis Using Legion},
booktitle = {2016 {IEEE} International Parallel and Distributed Processing Symposium
Workshops, {IPDPS} Workshops 2016, Chicago, IL, USA, May 23-27, 2016},
pages = {1033--1037},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/IPDPSW.2016.24},
doi = {10.1109/IPDPSW.2016.24},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ipps/PebayBHTMSKA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TreichlerBSSA16,
author = {Sean Treichler and
Michael Bauer and
Rahul Sharma and
Elliott Slaughter and
Alex Aiken},
editor = {Eelco Visser and
Yannis Smaragdakis},
title = {Dependent partitioning},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
October 30 - November 4, 2016},
pages = {344--358},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2983990.2984016},
doi = {10.1145/2983990.2984016},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/TreichlerBSSA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LeeSA16,
author = {Wonyeol Lee and
Rahul Sharma and
Alex Aiken},
editor = {Chandra Krintz and
Emery D. Berger},
title = {Verifying bit-manipulations of floating-point},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
USA, June 13-17, 2016},
pages = {70--84},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908080.2908107},
doi = {10.1145/2908080.2908107},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/LeeSA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HeuleS0A16,
author = {Stefan Heule and
Eric Schkufza and
Rahul Sharma and
Alex Aiken},
editor = {Chandra Krintz and
Emery D. Berger},
title = {Stratified synthesis: automatically learning the x86-64 instruction
set},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
USA, June 13-17, 2016},
pages = {237--250},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908080.2908121},
doi = {10.1145/2908080.2908121},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/HeuleS0A16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ClappBAA16,
author = {Lazaro Clapp and
Osbert Bastani and
Saswat Anand and
Alex Aiken},
editor = {Thomas Zimmermann and
Jane Cleland{-}Huang and
Zhendong Su},
title = {Minimizing {GUI} event traces},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
November 13-18, 2016},
pages = {422--434},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2950290.2950342},
doi = {10.1145/2950290.2950342},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ClappBAA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Bastani0AL16,
author = {Osbert Bastani and
Rahul Sharma and
Alex Aiken and
Percy Liang},
title = {Synthesizing Program Input Grammars},
journal = {CoRR},
volume = {abs/1608.01723},
year = {2016},
url = {http://arxiv.org/abs/1608.01723},
eprinttype = {arXiv},
eprint = {1608.01723},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Bastani0AL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ClappAA15,
author = {Lazaro Clapp and
Saswat Anand and
Alex Aiken},
editor = {Michal Young and
Tao Xie},
title = {Modelgen: mining explicit information flow specifications from concrete
executions},
booktitle = {Proceedings of the 2015 International Symposium on Software Testing
and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
pages = {129--140},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2771783.2771810},
doi = {10.1145/2771783.2771810},
timestamp = {Fri, 05 Nov 2021 10:54:23 +0100},
biburl = {https://dblp.org/rec/conf/issta/ClappAA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BastaniAA15a,
author = {Osbert Bastani and
Saswat Anand and
Alex Aiken},
editor = {Aharon Abadi and
Lori Flynn and
Jeff Gray},
title = {An interactive approach to mobile app verification},
booktitle = {Proceedings of the 3rd International Workshop on Mobile Development
Lifecycle, MobileDeLi 2015, Pittsburgh, PA, USA, October 25-30, 2015},
pages = {45--46},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2846661.2846668},
doi = {10.1145/2846661.2846668},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BastaniAA15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/0001SCA15,
author = {Rahul Sharma and
Eric Schkufza and
Berkeley R. Churchill and
Alex Aiken},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Conditionally correct superoptimization},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {147--162},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814278},
doi = {10.1145/2814270.2814278},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/0001SCA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BastaniAA15,
author = {Osbert Bastani and
Saswat Anand and
Alex Aiken},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Interactively verifying absence of explicit information flows in Android
apps},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {299--315},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814274},
doi = {10.1145/2814270.2814274},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/BastaniAA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SharmaBA15,
author = {Rahul Sharma and
Michael Bauer and
Alex Aiken},
editor = {David Grove and
Stephen M. Blackburn},
title = {Verification of producer-consumer synchronization in {GPU} programs},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {88--98},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737962},
doi = {10.1145/2737924.2737962},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/SharmaBA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZivAGRS15,
author = {Ofri Ziv and
Alex Aiken and
Guy Golan{-}Gueta and
G. Ramalingam and
Mooly Sagiv},
editor = {David Grove and
Stephen M. Blackburn},
title = {Composing concurrency control},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {240--249},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737970},
doi = {10.1145/2737924.2737970},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ZivAGRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BastaniAA15,
author = {Osbert Bastani and
Saswat Anand and
Alex Aiken},
editor = {Sriram K. Rajamani and
David Walker},
title = {Specification Inference Using Context-Free Language Reachability},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {553--566},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676977},
doi = {10.1145/2676726.2676977},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/BastaniAA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/WatkinsJSMAM15,
author = {Noah Watkins and
Zhihao Jia and
Galen M. Shipman and
Carlos Maltzahn and
Alex Aiken and
Patrick S. McCormick},
editor = {Ali Raza Butt and
Jay F. Lofstead},
title = {Automatic and transparent {I/O} optimization with storage integrated
application runtime support},
booktitle = {Proceedings of the 10th Parallel Data Storage Workshop, {PDSW} 2015,
Austin, Texas, USA, November 15, 2015},
pages = {49--54},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2834976.2834983},
doi = {10.1145/2834976.2834983},
timestamp = {Tue, 06 Nov 2018 16:59:29 +0100},
biburl = {https://dblp.org/rec/conf/sc/WatkinsJSMAM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/SlaughterLTBA15,
author = {Elliott Slaughter and
Wonchan Lee and
Sean Treichler and
Michael Bauer and
Alex Aiken},
editor = {Jackie Kern and
Jeffrey S. Vetter},
title = {Regent: a high-productivity programming language for {HPC} with logical
regions},
booktitle = {Proceedings of the International Conference for High Performance Computing,
Networking, Storage and Analysis, {SC} 2015, Austin, TX, USA, November
15-20, 2015},
pages = {81:1--81:12},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2807591.2807629},
doi = {10.1145/2807591.2807629},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/SlaughterLTBA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/TreichlerBA14,
author = {Sean Treichler and
Michael Bauer and
Alex Aiken},
editor = {Jos{\'{e}} Nelson Amaral and
Josep Torrellas},
title = {Realm: an event-based low-level runtime for distributed memory architectures},
booktitle = {International Conference on Parallel Architectures and Compilation,
{PACT} '14, Edmonton, AB, Canada, August 24-27, 2014},
pages = {263--276},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628071.2628084},
doi = {10.1145/2628071.2628084},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEpact/TreichlerBA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/0001A14,
author = {Rahul Sharma and
Alex Aiken},
editor = {Armin Biere and
Roderick Bloem},
title = {From Invariant Checking to Invariant Inference Using Randomized Search},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {88--105},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_6},
doi = {10.1007/978-3-319-08867-9\_6},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/0001A14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ShachamYGABSV14,
author = {Ohad Shacham and
Eran Yahav and
Guy Golan{-}Gueta and
Alex Aiken and
Nathan Grasso Bronson and
Mooly Sagiv and
Martin T. Vechev},
editor = {Corina S. Pasareanu and
Darko Marinov},
title = {Verifying atomicity via data independence},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'14, San Jose, CA, {USA} - July 21 - 26, 2014},
pages = {26--36},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2610384.2610402},
doi = {10.1145/2610384.2610402},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/ShachamYGABSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/TereiAV14,
author = {David Terei and
Alex Aiken and
Jan Vitek},
editor = {David Grove and
Samuel Z. Guyer},
title = {M\({}^{\mbox{3}}\): high-performance memory management from off-the-shelf
components},
booktitle = {International Symposium on Memory Management, {ISMM} '14, Edinburgh,
United Kingdom, June 12, 2014},
pages = {3--13},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2602988.2602995},
doi = {10.1145/2602988.2602995},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwmm/TereiAV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Schkufza0A14,
author = {Eric Schkufza and
Rahul Sharma and
Alex Aiken},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Stochastic optimization of floating-point programs with tunable precision},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {53--64},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594302},
doi = {10.1145/2594291.2594302},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/Schkufza0A14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DeVitoRFAH14,
author = {Zachary DeVito and
Daniel Ritchie and
Matthew Fisher and
Alex Aiken and
Pat Hanrahan},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {First-class runtime generation of high-performance types using exotypes},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {77--88},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594307},
doi = {10.1145/2594291.2594307},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/DeVitoRFAH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/0001NA14,
author = {Rahul Sharma and
Aditya V. Nori and
Alex Aiken},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {Bias-variance tradeoffs in program analysis},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {127--138},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838.2535853},
doi = {10.1145/2535838.2535853},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/0001NA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/BauerTA14,
author = {Michael Bauer and
Sean Treichler and
Alex Aiken},
editor = {Jos{\'{e}} E. Moreira and
James R. Larus},
title = {Singe: leveraging warp specialization for high performance on GPUs},
booktitle = {{ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
PPoPP '14, Orlando, FL, USA, February 15-19, 2014},
pages = {119--130},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2555243.2555258},
doi = {10.1145/2555243.2555258},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppopp/BauerTA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/BauerTSA14,
author = {Michael Bauer and
Sean Treichler and
Elliott Slaughter and
Alex Aiken},
editor = {Trish Damkroger and
Jack J. Dongarra},
title = {Structure Slicing: Extending Logical Regions with Fields},
booktitle = {International Conference for High Performance Computing, Networking,
Storage and Analysis, {SC} 2014, New Orleans, LA, USA, November 16-21,
2014},
pages = {845--856},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SC.2014.74},
doi = {10.1109/SC.2014.74},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/BauerTSA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FengDAA14,
author = {Yu Feng and
Isil Dillig and
Saswat Anand and
Alex Aiken},
editor = {Aharon Abadi and
Rafael Prikladnicki and
Yael Dubinsky},
title = {Apposcopy: automated detection of Android malware (invited talk)},
booktitle = {Proceedings of the 2nd International Workshop on Software Development
Lifecycle for Mobile, DeMobile 2014, Hong Kong, China, November 17,
2014},
pages = {13--14},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2661694.2661697},
doi = {10.1145/2661694.2661697},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/FengDAA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FengADA14,
author = {Yu Feng and
Saswat Anand and
Isil Dillig and
Alex Aiken},
editor = {Shing{-}Chi Cheung and
Alessandro Orso and
Margaret{-}Anne D. Storey},
title = {Apposcopy: semantics-based detection of Android malware through static
analysis},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
16 - 22, 2014},
pages = {576--587},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635868.2635869},
doi = {10.1145/2635868.2635869},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/FengADA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/Schkufza0A13,
author = {Eric Schkufza and
Rahul Sharma and
Alex Aiken},
editor = {Vivek Sarkar and
Rastislav Bod{\'{\i}}k},
title = {Stochastic superoptimization},
booktitle = {Architectural Support for Programming Languages and Operating Systems,
{ASPLOS} 2013, Houston, TX, USA, March 16-20, 2013},
pages = {305--316},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2451116.2451150},
doi = {10.1145/2451116.2451150},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/Schkufza0A13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/0001GHALN13,
author = {Rahul Sharma and
Saurabh Gupta and
Bharath Hariharan and
Alex Aiken and
Percy Liang and
Aditya V. Nori},
editor = {Matthias Felleisen and
Philippa Gardner},
title = {A Data Driven Approach for Algebraic Loop Invariants},
booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming,
{ESOP} 2013, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7792},
pages = {574--592},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37036-6\_31},
doi = {10.1007/978-3-642-37036-6\_31},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/0001GHALN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/0001SCA13,
author = {Rahul Sharma and
Eric Schkufza and
Berkeley R. Churchill and
Alex Aiken},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Data-driven equivalence checking},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
Object Oriented Programming Systems Languages {\&} Applications,
{OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
26-31, 2013},
pages = {391--406},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509509},
doi = {10.1145/2509136.2509509},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/0001SCA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TreichlerBA13,
author = {Sean Treichler and
Michael Bauer and
Alex Aiken},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Language support for dynamic, hierarchical data partitioning},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
Object Oriented Programming Systems Languages {\&} Applications,
{OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
26-31, 2013},
pages = {495--514},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509545},
doi = {10.1145/2509136.2509545},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/TreichlerBA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DeVitoHAHV13,
author = {Zachary DeVito and
James Hegarty and
Alex Aiken and
Pat Hanrahan and
Jan Vitek},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {Terra: a multi-stage language for high-performance computing},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {105--116},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2462166},
doi = {10.1145/2491956.2462166},
timestamp = {Fri, 30 Nov 2018 12:21:40 +0100},
biburl = {https://dblp.org/rec/conf/pldi/DeVitoHAHV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/0001GHAN13,
author = {Rahul Sharma and
Saurabh Gupta and
Bharath Hariharan and
Alex Aiken and
Aditya V. Nori},
editor = {Francesco Logozzo and
Manuel F{\"{a}}hndrich},
title = {Verification as Learning Geometric Concepts},
booktitle = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
WA, USA, June 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7935},
pages = {388--411},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38856-9\_21},
doi = {10.1007/978-3-642-38856-9\_21},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/0001GHAN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uist/FastLABKS13,
author = {Ethan Fast and
Colleen Lee and
Alex Aiken and
Michael S. Bernstein and
Daphne Koller and
Eric Smith},
editor = {Shahram Izadi and
Aaron J. Quigley and
Ivan Poupyrev and
Takeo Igarashi},
title = {Crowd-scale interactive formal reasoning and analytics},
booktitle = {The 26th Annual {ACM} Symposium on User Interface Software and Technology,
UIST'13, St. Andrews, United Kingdom, October 8-11, 2013},
pages = {363--372},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2501988.2502028},
doi = {10.1145/2501988.2502028},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uist/FastLABKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/HawkinsRASF12,
author = {Peter Hawkins and
Martin C. Rinard and
Alex Aiken and
Mooly Sagiv and
Kathleen Fisher},
title = {An introduction to data representation synthesis},
journal = {Commun. {ACM}},
volume = {55},
number = {12},
pages = {91--99},
year = {2012},
url = {https://doi.org/10.1145/2380656.2380677},
doi = {10.1145/2380656.2380677},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/HawkinsRASF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SharmaNA12,
author = {Rahul Sharma and
Aditya V. Nori and
Alex Aiken},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Interpolants as Classifiers},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {71--87},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_11},
doi = {10.1007/978-3-642-31424-7\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/SharmaNA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DilligDMA12,
author = {Isil Dillig and
Thomas Dillig and
Kenneth L. McMillan and
Alex Aiken},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Minimum Satisfying Assignments for {SMT}},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {394--409},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_30},
doi = {10.1007/978-3-642-31424-7\_30},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/DilligDMA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HawkinsAFRS12,
author = {Peter Hawkins and
Alex Aiken and
Kathleen Fisher and
Martin C. Rinard and
Mooly Sagiv},
editor = {Helmut Seidl},
title = {Reasoning about Lock Placements},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {336--356},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_17},
doi = {10.1007/978-3-642-28869-2\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/HawkinsAFRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TamayoABS12,
author = {Juan M. Tamayo and
Alex Aiken and
Nathan Grasso Bronson and
Mooly Sagiv},
editor = {Gary T. Leavens and
Matthew B. Dwyer},
title = {Understanding the behavior of database operations under program control},
booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
pages = {983--996},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384616.2384688},
doi = {10.1145/2384616.2384688},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/TamayoABS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DilligDA12,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken},
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {Automated error diagnosis using abductive inference},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {181--192},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064.2254087},
doi = {10.1145/2254064.2254087},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/DilligDA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HawkinsAFRS12,
author = {Peter Hawkins and
Alex Aiken and
Kathleen Fisher and
Martin C. Rinard and
Mooly Sagiv},
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {Concurrent data representation synthesis},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {417--428},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064.2254114},
doi = {10.1145/2254064.2254114},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/HawkinsAFRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/BauerTSA12,
author = {Michael Bauer and
Sean Treichler and
Elliott Slaughter and
Alex Aiken},
editor = {Jeffrey K. Hollingsworth},
title = {Legion: expressing locality and independence with logical regions},
booktitle = {{SC} Conference on High Performance Computing Networking, Storage
and Analysis, {SC} '12, Salt Lake City, UT, {USA} - November 11 -
15, 2012},
pages = {66},
publisher = {{IEEE/ACM}},
year = {2012},
url = {https://doi.org/10.1109/SC.2012.71},
doi = {10.1109/SC.2012.71},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/BauerTSA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-0557,
author = {Eric Schkufza and
Rahul Sharma and
Alex Aiken},
title = {Stochastic Superoptimization},
journal = {CoRR},
volume = {abs/1211.0557},
year = {2012},
url = {http://arxiv.org/abs/1211.0557},
eprinttype = {arXiv},
eprint = {1211.0557},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-0557.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/DilligDA11,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken},
title = {Cuts from proofs: a complete and practical technique for solving linear
inequalities over integers},
journal = {Formal Methods Syst. Des.},
volume = {39},
number = {3},
pages = {246--260},
year = {2011},
url = {https://doi.org/10.1007/s10703-011-0127-z},
doi = {10.1007/S10703-011-0127-Z},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/DilligDA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SharmaDDA11,
author = {Rahul Sharma and
Isil Dillig and
Thomas Dillig and
Alex Aiken},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {Simplifying Loop Invariant Generation Using Splitter Predicates},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {703--719},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_57},
doi = {10.1007/978-3-642-22110-1\_57},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/SharmaDDA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/OlinerA11,
author = {Adam J. Oliner and
Alex Aiken},
title = {Online detection of multi-component interactions in production systems},
booktitle = {Proceedings of the 2011 {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2011, Hong Kong, China, June 27-30 2011},
pages = {49--60},
publisher = {{IEEE} Compute Society},
year = {2011},
url = {https://doi.org/10.1109/DSN.2011.5958206},
doi = {10.1109/DSN.2011.5958206},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/OlinerA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ShachamBASVY11,
author = {Ohad Shacham and
Nathan Grasso Bronson and
Alex Aiken and
Mooly Sagiv and
Martin T. Vechev and
Eran Yahav},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Testing atomicity of composed concurrent operations},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {51--64},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048073},
doi = {10.1145/2048066.2048073},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/ShachamBASVY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Golan-GuetaBARSY11,
author = {Guy Golan{-}Gueta and
Nathan Grasso Bronson and
Alex Aiken and
G. Ramalingam and
Mooly Sagiv and
Eran Yahav},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Automatic fine-grain locking using shape properties},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {225--242},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048086},
doi = {10.1145/2048066.2048086},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/Golan-GuetaBARSY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HawkinsAFRS11,
author = {Peter Hawkins and
Alex Aiken and
Kathleen Fisher and
Martin C. Rinard and
Mooly Sagiv},
editor = {Mary W. Hall and
David A. Padua},
title = {Data representation synthesis},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {38--49},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993504},
doi = {10.1145/1993498.1993504},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/HawkinsAFRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DilligDAS11,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken and
Mooly Sagiv},
editor = {Mary W. Hall and
David A. Padua},
title = {Precise and compact modular procedure summaries for heap manipulating
programs},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {567--577},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993565},
doi = {10.1145/1993498.1993565},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/DilligDAS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DilligDA11,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Precise reasoning for programs using containers},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {187--200},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926407},
doi = {10.1145/1926385.1926407},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/DilligDA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/BauerCSA11,
author = {Michael Bauer and
John Clark and
Eric Schkufza and
Alex Aiken},
editor = {Calin Cascaval and
Pen{-}Chung Yew},
title = {Programming the memory hierarchy revisited: supporting irregular parallelism
in sequoia},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2011, San Antonio, TX, USA,
February 12-16, 2011},
pages = {13--24},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1941553.1941558},
doi = {10.1145/1941553.1941558},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppopp/BauerCSA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/DeVitoJPOMBEHADDAH11,
author = {Zach DeVito and
Niels Joubert and
Francisco Palacios and
Stephen Oakley and
Montserrat Medina and
Mike Barrientos and
Erich Elsen and
Frank Ham and
Alex Aiken and
Karthik Duraisamy and
Eric Darve and
Juan J. Alonso and
Pat Hanrahan},
editor = {Scott A. Lathrop and
Jim Costa and
William Kramer},
title = {Liszt: a domain specific language for building portable mesh-based
{PDE} solvers},
booktitle = {Conference on High Performance Computing Networking, Storage and Analysis,
{SC} 2011, Seattle, WA, USA, November 12-18, 2011},
pages = {9:1--9:12},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2063384.2063396},
doi = {10.1145/2063384.2063396},
timestamp = {Fri, 22 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/DeVitoJPOMBEHADDAH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HackettA11,
author = {Brian Hackett and
Alex Aiken},
editor = {Tibor Gyim{\'{o}}thy and
Andreas Zeller},
title = {Inferring data polymorphism in systems code},
booktitle = {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), Szeged, Hungary, September 5-9,
2011},
pages = {332--342},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2025113.2025159},
doi = {10.1145/2025113.2025159},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/HackettA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/DilligDA10,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken},
title = {Reasoning about the unknown in static analysis},
journal = {Commun. {ACM}},
volume = {53},
number = {8},
pages = {115--123},
year = {2010},
url = {https://doi.org/10.1145/1787234.1787259},
doi = {10.1145/1787234.1787259},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/DilligDA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HawkinsAFRS10,
author = {Peter Hawkins and
Alex Aiken and
Kathleen Fisher and
Martin C. Rinard and
Mooly Sagiv},
editor = {Kazunori Ueda},
title = {Data Structure Fusion},
booktitle = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
Shanghai, China, November 28 - December 1, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6461},
pages = {204--221},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17164-2\_15},
doi = {10.1007/978-3-642-17164-2\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/HawkinsAFRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/OlinerKA10,
author = {Adam J. Oliner and
Ashutosh V. Kulkarni and
Alex Aiken},
title = {Using correlated surprise to infer shared influence},
booktitle = {Proceedings of the 2010 {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2010, Chicago, IL, USA, June 28 - July
1 2010},
pages = {191--200},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DSN.2010.5544921},
doi = {10.1109/DSN.2010.5544921},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/OlinerKA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DilligDA10,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken},
editor = {Andrew D. Gordon},
title = {Fluid Updates: Beyond Strong vs. Weak Updates},
booktitle = {Programming Languages and Systems, 19th European Symposium on Programming,
{ESOP} 2010, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6012},
pages = {246--266},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11957-6\_14},
doi = {10.1007/978-3-642-11957-6\_14},
timestamp = {Mon, 14 Feb 2022 09:20:30 +0100},
biburl = {https://dblp.org/rec/conf/esop/DilligDA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/OlinerA10,
author = {Adam J. Oliner and
Alex Aiken},
editor = {Taisuke Boku and
Hiroshi Nakashima and
Avi Mendelson},
title = {A query language for understanding component interactions in production
systems},
booktitle = {Proceedings of the 24th International Conference on Supercomputing,
2010, Tsukuba, Ibaraki, Japan, June 2-4, 2010},
pages = {201--210},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1810085.1810114},
doi = {10.1145/1810085.1810114},
timestamp = {Tue, 06 Nov 2018 11:07:03 +0100},
biburl = {https://dblp.org/rec/conf/ics/OlinerA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DilligDA10,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Symbolic heap abstraction with demand-driven axiomatization of memory
invariants},
booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {397--410},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869493},
doi = {10.1145/1869459.1869493},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/DilligDA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/raid/OlinerKA10,
author = {Adam J. Oliner and
Ashutosh V. Kulkarni and
Alex Aiken},
editor = {Somesh Jha and
Robin Sommer and
Christian Kreibich},
title = {Community Epidemic Detection Using Time-Correlated Anomalies},
booktitle = {Recent Advances in Intrusion Detection, 13th International Symposium,
{RAID} 2010, Ottawa, Ontario, Canada, September 15-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6307},
pages = {360--381},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15512-3\_19},
doi = {10.1007/978-3-642-15512-3\_19},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/raid/OlinerKA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DilligDA10,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Small Formulas for Large Programs: On-Line Constraint Simplification
in Scalable Static Analysis},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {236--252},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_15},
doi = {10.1007/978-3-642-15769-1\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/DilligDA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/SahamiAZ10,
author = {Mehran Sahami and
Alex Aiken and
Julie Zelenski},
editor = {Gary Lewandowski and
Steven A. Wolfman and
Thomas J. Cortina and
Ellen Lowenfeld Walker},
title = {Expanding the frontiers of computer science: designing a curriculum
to reflect a diverse field},
booktitle = {Proceedings of the 41st {ACM} technical symposium on Computer science
education, {SIGCSE} 2010, Milwaukee, Wisconsin, USA, March 10-13,
2010},
pages = {47--51},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1734263.1734279},
doi = {10.1145/1734263.1734279},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/SahamiAZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2010,
editor = {Benjamin G. Zorn and
Alexander Aiken},
title = {Proceedings of the 2010 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2010, Toronto, Ontario,
Canada, June 5-10, 2010},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806596},
doi = {10.1145/1806596},
isbn = {978-1-4503-0019-3},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DilligDA09,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Cuts from Proofs: {A} Complete and Practical Technique for Solving
Linear Inequalities over Integers},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {233--247},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_20},
doi = {10.1007/978-3-642-02658-4\_20},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/DilligDA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/TerauchiA08,
author = {Tachio Terauchi and
Alex Aiken},
title = {Witnessing side effects},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {30},
number = {3},
pages = {15:1--15:42},
year = {2008},
url = {https://doi.org/10.1145/1353445.1353449},
doi = {10.1145/1353445.1353449},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/TerauchiA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/TerauchiA08a,
author = {Tachio Terauchi and
Alex Aiken},
title = {A capability calculus for concurrency and determinism},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {30},
number = {5},
pages = {27:1--27:30},
year = {2008},
url = {https://doi.org/10.1145/1387673.1387676},
doi = {10.1145/1387673.1387676},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/TerauchiA08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/RenPHAD08,
author = {Manman Ren and
Ji Young Park and
Mike Houston and
Alex Aiken and
William J. Dally},
editor = {Andreas Moshovos and
David Tarditi and
Kunle Olukotun},
title = {A tuning framework for software-managed memory hierarchies},
booktitle = {17th International Conference on Parallel Architectures and Compilation
Techniques, {PACT} 2008, Toronto, Ontario, Canada, October 25-29,
2008},
pages = {280--291},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1454115.1454155},
doi = {10.1145/1454115.1454155},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEpact/RenPHAD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdm/OlinerAS08,
author = {Adam J. Oliner and
Alex Aiken and
Jon Stearley},
title = {Alert Detection in System Logs},
booktitle = {Proceedings of the 8th {IEEE} International Conference on Data Mining
{(ICDM} 2008), December 15-19, 2008, Pisa, Italy},
pages = {959--964},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICDM.2008.132},
doi = {10.1109/ICDM.2008.132},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdm/OlinerAS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/BansalA08,
author = {Sorav Bansal and
Alex Aiken},
editor = {Richard Draves and
Robbert van Renesse},
title = {Binary Translation Using Peephole Superoptimizers},
booktitle = {8th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2008, December 8-10, 2008, San Diego, California, USA, Proceedings},
pages = {177--192},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/osdi08/tech/full\_papers/bansal/bansal.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/BansalA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DilligDA08,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken},
editor = {Rajiv Gupta and
Saman P. Amarasinghe},
title = {Sound, complete and scalable path-sensitive analysis},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
pages = {270--280},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375581.1375615},
doi = {10.1145/1375581.1375615},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DilligDA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/HoustonPRKFADH08,
author = {Mike Houston and
Ji Young Park and
Manman Ren and
Timothy J. Knight and
Kayvon Fatahalian and
Alex Aiken and
William J. Dally and
Pat Hanrahan},
editor = {Siddhartha Chatterjee and
Michael L. Scott},
title = {A portable runtime interface for multi-level memory hierarchies},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2008, Salt Lake City, UT,
USA, February 20-23, 2008},
pages = {143--152},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1345206.1345229},
doi = {10.1145/1345206.1345229},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/HoustonPRKFADH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/BugraraA08,
author = {Suhabe Bugrara and
Alex Aiken},
title = {Verifying the Safety of User Pointer Dereferences},
booktitle = {2008 {IEEE} Symposium on Security and Privacy {(SP} 2008), 18-21 May
2008, Oakland, California, {USA}},
pages = {325--338},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SP.2008.15},
doi = {10.1109/SP.2008.15},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/BugraraA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/XieA07,
author = {Yichen Xie and
Alex Aiken},
title = {Saturn: {A} scalable framework for error detection using Boolean satisfiability},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {3},
pages = {16},
year = {2007},
url = {https://doi.org/10.1145/1232420.1232423},
doi = {10.1145/1232420.1232423},
timestamp = {Tue, 27 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/XieA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/usenix-login/Aiken07,
author = {Alex Aiken},
title = {In Memoriam: John W. Backus, 1924-2007},
journal = {login Usenix Mag.},
volume = {32},
number = {3},
year = {2007},
url = {https://www.usenix.org/publications/login/june-2007-volume-32-number-3/memoriam-john-w-backus-1924\%E2\%80\%932007},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/usenix-login/Aiken07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/AikenBDDHH07,
author = {Alex Aiken and
Suhabe Bugrara and
Isil Dillig and
Thomas Dillig and
Brian Hackett and
Peter Hawkins},
editor = {Manuvir Das and
Dan Grossman},
title = {An overview of the saturn project},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'07, San Diego,
California, USA, June 13-14, 2007},
pages = {43--48},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1251535.1251543},
doi = {10.1145/1251535.1251543},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/AikenBDDHH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KodumalA07,
author = {John Kodumal and
Alex Aiken},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Regularly annotated set constraints},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {331--341},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250772},
doi = {10.1145/1250734.1250772},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KodumalA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DilligDA07,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Static error detection using semantic inconsistency inference},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {435--445},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250784},
doi = {10.1145/1250734.1250784},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DilligDA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/NaikA07,
author = {Mayur Naik and
Alex Aiken},
editor = {Martin Hofmann and
Matthias Felleisen},
title = {Conditional must not aliasing for static race detection},
booktitle = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
2007},
pages = {327--338},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1190216.1190265},
doi = {10.1145/1190216.1190265},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/NaikA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/KnightPRHEFADH07,
author = {Timothy J. Knight and
Ji Young Park and
Manman Ren and
Mike Houston and
Mattan Erez and
Kayvon Fatahalian and
Alex Aiken and
William J. Dally and
Pat Hanrahan},
editor = {Katherine A. Yelick and
John M. Mellor{-}Crummey},
title = {Compilation for explicitly managed memory hierarchies},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2007, San Jose, California,
USA, March 14-17, 2007},
pages = {226--236},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1229428.1229477},
doi = {10.1145/1229428.1229477},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppopp/KnightPRHEFADH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GoldsmithAW07,
author = {Simon Goldsmith and
Alex Aiken and
Daniel Shawcross Wilkerson},
editor = {Ivica Crnkovic and
Antonia Bertolino},
title = {Measuring empirical computational complexity},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7,
2007},
pages = {395--404},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1287624.1287681},
doi = {10.1145/1287624.1287681},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/GoldsmithAW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/FosterJKA06,
author = {Jeffrey S. Foster and
Robert Johnson and
John Kodumal and
Alex Aiken},
title = {Flow-insensitive type qualifiers},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {28},
number = {6},
pages = {1035--1087},
year = {2006},
url = {https://doi.org/10.1145/1186632.1186635},
doi = {10.1145/1186632.1186635},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/FosterJKA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/BansalA06,
author = {Sorav Bansal and
Alex Aiken},
editor = {John Paul Shen and
Margaret Martonosi},
title = {Automatic generation of peephole superoptimizers},
booktitle = {Proceedings of the 12th International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2006, San Jose, CA, USA, October 21-25, 2006},
pages = {394--403},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1168857.1168906},
doi = {10.1145/1168857.1168906},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/BansalA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/TerauchiA06,
author = {Tachio Terauchi and
Alex Aiken},
editor = {Christel Baier and
Holger Hermanns},
title = {A Capability Calculus for Concurrency and Determinism},
booktitle = {{CONCUR} 2006 - Concurrency Theory, 17th International Conference,
{CONCUR} 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4137},
pages = {218--232},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817949\_15},
doi = {10.1007/11817949\_15},
timestamp = {Sat, 30 Sep 2023 09:37:42 +0200},
biburl = {https://dblp.org/rec/conf/concur/TerauchiA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/ZhengJLNA06,
author = {Alice X. Zheng and
Michael I. Jordan and
Ben Liblit and
Mayur Naik and
Alex Aiken},
editor = {William W. Cohen and
Andrew W. Moore},
title = {Statistical debugging: simultaneous identification of multiple bugs},
booktitle = {Machine Learning, Proceedings of the Twenty-Third International Conference
{(ICML} 2006), Pittsburgh, Pennsylvania, USA, June 25-29, 2006},
series = {{ACM} International Conference Proceeding Series},
volume = {148},
pages = {1105--1112},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1143844.1143983},
doi = {10.1145/1143844.1143983},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/ZhengJLNA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/TerauchiA06,
author = {Tachio Terauchi and
Alex Aiken},
title = {On Typability for Rank-2 Intersection Types with Polymorphic Recursion},
booktitle = {21th {IEEE} Symposium on Logic in Computer Science {(LICS} 2006),
12-15 August 2006, Seattle, WA, USA, Proceedings},
pages = {111--122},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/LICS.2006.41},
doi = {10.1109/LICS.2006.41},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/TerauchiA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Aiken06,
author = {Alexander Aiken},
title = {Scalable program analysis using Boolean satisfiability},
booktitle = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
Suites, Napa, California, {USA}},
pages = {89},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/MEMCOD.2006.1695908},
doi = {10.1109/MEMCOD.2006.1695908},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Aiken06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NaikAW06,
author = {Mayur Naik and
Alex Aiken and
John Whaley},
editor = {Michael I. Schwartzbach and
Thomas Ball},
title = {Effective static race detection for Java},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
Language Design and Implementation, Ottawa, Ontario, Canada, June
11-14, 2006},
pages = {308--319},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1133981.1134018},
doi = {10.1145/1133981.1134018},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/NaikAW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/FatahalianHKLHPERADH06,
author = {Kayvon Fatahalian and
Daniel Reiter Horn and
Timothy J. Knight and
Larkhoon Leem and
Mike Houston and
Ji Young Park and
Mattan Erez and
Manman Ren and
Alex Aiken and
William J. Dally and
Pat Hanrahan},
title = {Sequoia: programming the memory hierarchy},
booktitle = {Proceedings of the {ACM/IEEE} {SC2006} Conference on High Performance
Networking and Computing, November 11-17, 2006, Tampa, FL, {USA}},
pages = {83},
publisher = {{ACM} Press},
year = {2006},
url = {https://doi.org/10.1145/1188455.1188543},
doi = {10.1145/1188455.1188543},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/FatahalianHKLHPERADH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HackettA06,
author = {Brian Hackett and
Alex Aiken},
editor = {Michal Young and
Premkumar T. Devanbu},
title = {How is aliasing used in systems software?},
booktitle = {Proceedings of the 14th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2006, Portland, Oregon,
USA, November 5-11, 2006},
pages = {69--80},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181775.1181785},
doi = {10.1145/1181775.1181785},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/HackettA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/XieA06,
author = {Yichen Xie and
Alex Aiken},
editor = {Angelos D. Keromytis},
title = {Static Detection of Security Vulnerabilities in Scripting Languages},
booktitle = {Proceedings of the 15th {USENIX} Security Symposium, Vancouver, BC,
Canada, July 31 - August 4, 2006},
publisher = {{USENIX} Association},
year = {2006},
url = {https://www.usenix.org/conference/15th-usenix-security-symposium/static-detection-security-vulnerabilities-scripting},
timestamp = {Tue, 27 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uss/XieA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/XieA05,
author = {Yichen Xie and
Alexander Aiken},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Saturn: {A} SAT-Based Tool for Bug Detection},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {139--143},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_13},
doi = {10.1007/11513988\_13},
timestamp = {Tue, 27 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/XieA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/TerauchiA05,
author = {Tachio Terauchi and
Alexander Aiken},
editor = {Olivier Danvy and
Benjamin C. Pierce},
title = {Witnessing side-effects},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2005, Tallinn, Estonia, September 26-28,
2005},
pages = {105--115},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1086365.1086379},
doi = {10.1145/1086365.1086379},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/TerauchiA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GoldsmithOA05,
author = {Simon Goldsmith and
Robert O'Callahan and
Alexander Aiken},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {Relational queries over program traces},
booktitle = {Proceedings of the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {385--402},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094811.1094841},
doi = {10.1145/1094811.1094841},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/GoldsmithOA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LiblitNZAJ05,
author = {Ben Liblit and
Mayur Naik and
Alice X. Zheng and
Alexander Aiken and
Michael I. Jordan},
editor = {Vivek Sarkar and
Mary W. Hall},
title = {Scalable statistical bug isolation},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Conference on Programming
Language Design and Implementation, Chicago, IL, USA, June 12-15,
2005},
pages = {15--26},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065010.1065014},
doi = {10.1145/1065010.1065014},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LiblitNZAJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/XieA05,
author = {Yichen Xie and
Alexander Aiken},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Scalable error detection using boolean satisfiability},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {351--363},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040334},
doi = {10.1145/1040305.1040334},
timestamp = {Tue, 27 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/XieA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/KodumalA05,
author = {John Kodumal and
Alexander Aiken},
editor = {Chris Hankin and
Igor Siveroni},
title = {Banshee: {A} Scalable Constraint-Based Analysis Toolkit},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {218--234},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_16},
doi = {10.1007/11547662\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/KodumalA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/TerauchiA05,
author = {Tachio Terauchi and
Alexander Aiken},
editor = {Chris Hankin and
Igor Siveroni},
title = {Secure Information Flow as a Safety Problem},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {352--367},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_24},
doi = {10.1007/11547662\_24},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/TerauchiA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/XieA05,
author = {Yichen Xie and
Alexander Aiken},
editor = {Michel Wermelinger and
Harald C. Gall},
title = {Context- and path-sensitive memory leak detection},
booktitle = {Proceedings of the 10th European Software Engineering Conference held
jointly with 13th {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
pages = {115--125},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1081706.1081728},
doi = {10.1145/1081706.1081728},
timestamp = {Tue, 27 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/XieA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KodumalA04,
author = {John Kodumal and
Alexander Aiken},
editor = {William W. Pugh and
Craig Chambers},
title = {The set constraint/CFL reachability connection in practice},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2004 Conference on Programming
Language Design and Implementation 2004, Washington, DC, USA, June
9-11, 2004},
pages = {207--218},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996841.996867},
doi = {10.1145/996841.996867},
timestamp = {Mon, 04 Apr 2022 21:23:55 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KodumalA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/ZhengJLA03,
author = {Alice X. Zheng and
Michael I. Jordan and
Ben Liblit and
Alexander Aiken},
editor = {Sebastian Thrun and
Lawrence K. Saul and
Bernhard Sch{\"{o}}lkopf},
title = {Statistical Debugging of Sampled Programs},
booktitle = {Advances in Neural Information Processing Systems 16 [Neural Information
Processing Systems, {NIPS} 2003, December 8-13, 2003, Vancouver and
Whistler, British Columbia, Canada]},
pages = {603--610},
publisher = {{MIT} Press},
year = {2003},
url = {https://proceedings.neurips.cc/paper/2003/hash/0a65e195cb51418279b6fa8d96847a60-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/ZhengJLA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AikenFKT03,
author = {Alexander Aiken and
Jeffrey S. Foster and
John Kodumal and
Tachio Terauchi},
editor = {Ron Cytron and
Rajiv Gupta},
title = {Checking and inferring local non-aliasing},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2003 Conference on Programming
Language Design and Implementation 2003, San Diego, California, USA,
June 9-11, 2003},
pages = {129--140},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/781131.781146},
doi = {10.1145/781131.781146},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AikenFKT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LiblitAZJ03,
author = {Ben Liblit and
Alexander Aiken and
Alice X. Zheng and
Michael I. Jordan},
editor = {Ron Cytron and
Rajiv Gupta},
title = {Bug isolation via remote program sampling},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2003 Conference on Programming
Language Design and Implementation 2003, San Diego, California, USA,
June 9-11, 2003},
pages = {141--154},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/781131.781148},
doi = {10.1145/781131.781148},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LiblitAZJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/LiblitAY03,
author = {Ben Liblit and
Alexander Aiken and
Katherine A. Yelick},
editor = {Radhia Cousot},
title = {Type Systems for Distributed Data Sharing},
booktitle = {Static Analysis, 10th International Symposium, {SAS} 2003, San Diego,
CA, USA, June 11-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2694},
pages = {273--294},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44898-5\_15},
doi = {10.1007/3-540-44898-5\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/LiblitAY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/SchleimerWA03,
author = {Saul Schleimer and
Daniel Shawcross Wilkerson and
Alexander Aiken},
editor = {Alon Y. Halevy and
Zachary G. Ives and
AnHai Doan},
title = {Winnowing: Local Algorithms for Document Fingerprinting},
booktitle = {Proceedings of the 2003 {ACM} {SIGMOD} International Conference on
Management of Data, San Diego, California, USA, June 9-12, 2003},
pages = {76--85},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/872757.872770},
doi = {10.1145/872757.872770},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/SchleimerWA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2003,
editor = {Alex Aiken and
Greg Morrisett},
title = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131},
doi = {10.1145/604131},
isbn = {1-58113-628-5},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FosterTA02,
author = {Jeffrey S. Foster and
Tachio Terauchi and
Alexander Aiken},
editor = {Jens Knoop and
Laurie J. Hendren},
title = {Flow-Sensitive Type Qualifiers},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Berlin, Germany, June 17-19,
2002},
pages = {1--12},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/512529.512531},
doi = {10.1145/512529.512531},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FosterTA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SuANPT02,
author = {Zhendong Su and
Alexander Aiken and
Joachim Niehren and
Tim Priesnitz and
Ralf Treinen},
editor = {John Launchbury and
John C. Mitchell},
title = {The first-order theory of subtyping constraints},
booktitle = {Conference Record of {POPL} 2002: The 29th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Portland, OR, USA, January
16-18, 2002},
pages = {203--216},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/503272.503292},
doi = {10.1145/503272.503292},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/SuANPT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/WoodruffOACELSS01,
author = {Allison Woodruff and
Chris Olston and
Alexander Aiken and
Michael Chu and
Vuk Ercegovac and
Mark Lin and
Mybrid Spalding and
Michael Stonebraker},
title = {DataSplash: {A} Direct Manipulation Environment for Programming Semantic
Zoom Visualizations of Tabular Data},
journal = {J. Vis. Lang. Comput.},
volume = {12},
number = {5},
pages = {551--571},
year = {2001},
url = {https://doi.org/10.1006/jvlc.2001.0219},
doi = {10.1006/JVLC.2001.0219},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/WoodruffOACELSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SuA01,
author = {Zhendong Su and
Alexander Aiken},
editor = {David Sands},
title = {Entailment with Conditional Equality Constraints},
booktitle = {Programming Languages and Systems, 10th European Symposium on Programming,
{ESOP} 2001 Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2028},
pages = {170--189},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45309-1\_12},
doi = {10.1007/3-540-45309-1\_12},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/SuA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GayA01,
author = {David Gay and
Alexander Aiken},
editor = {Michael Burke and
Mary Lou Soffa},
title = {Language Support for Regions},
booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Snowbird, Utah, USA, June
20-22, 2001},
pages = {70--80},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/378795.378815},
doi = {10.1145/378795.378815},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GayA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AikenFS00,
author = {Alexander Aiken and
Manuel F{\"{a}}hndrich and
Zhendong Su},
title = {Detecting races in Relay Ladder Logic programs},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {3},
number = {1},
pages = {93--105},
year = {2000},
url = {https://doi.org/10.1007/PL00010810},
doi = {10.1007/PL00010810},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/AikenFS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/WagnerFBA00,
author = {David A. Wagner and
Jeffrey S. Foster and
Eric A. Brewer and
Alexander Aiken},
title = {A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities},
booktitle = {Proceedings of the Network and Distributed System Security Symposium,
{NDSS} 2000, San Diego, California, {USA}},
publisher = {The Internet Society},
year = {2000},
url = {https://www.ndss-symposium.org/ndss2000/first-step-towards-automated-detection-buffer-overrun-vulnerabilities-paper/},
timestamp = {Mon, 01 Feb 2021 08:42:17 +0100},
biburl = {https://dblp.org/rec/conf/ndss/WagnerFBA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SuFA00,
author = {Zhendong Su and
Manuel F{\"{a}}hndrich and
Alexander Aiken},
editor = {Mark N. Wegman and
Thomas W. Reps},
title = {Projection Merging: Reducing Redundancies in Inclusion Constraint
Graphs},
booktitle = {{POPL} 2000, Proceedings of the 27th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Boston, Massachusetts, USA,
January 19-21, 2000},
pages = {81--95},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/325694.325706},
doi = {10.1145/325694.325706},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/SuFA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LiblitA00,
author = {Ben Liblit and
Alexander Aiken},
editor = {Mark N. Wegman and
Thomas W. Reps},
title = {Type Systems for Distributed Data Structures},
booktitle = {{POPL} 2000, Proceedings of the 27th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Boston, Massachusetts, USA,
January 19-21, 2000},
pages = {199--213},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/325694.325717},
doi = {10.1145/325694.325717},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/LiblitA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/FosterFA00,
author = {Jeffrey S. Foster and
Manuel F{\"{a}}hndrich and
Alexander Aiken},
editor = {Jens Palsberg},
title = {Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis
for {C}},
booktitle = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
CA, USA, June 29 - July 1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1824},
pages = {175--198},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-3-540-45099-3\_10},
doi = {10.1007/978-3-540-45099-3\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/FosterFA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/AikenWP99,
author = {Alexander Aiken and
Edward L. Wimmers and
Jens Palsberg},
title = {Optimal Representations of Polymorphic Types with Subtyping},
journal = {High. Order Symb. Comput.},
volume = {12},
number = {3},
pages = {237--282},
year = {1999},
url = {https://doi.org/10.1023/A:1010056315933},
doi = {10.1023/A:1010056315933},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/AikenWP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Aiken99,
author = {Alexander Aiken},
title = {Introduction to Set Constraint-Based Program Analysis},
journal = {Sci. Comput. Program.},
volume = {35},
number = {2},
pages = {79--111},
year = {1999},
url = {https://doi.org/10.1016/S0167-6423(99)00007-6},
doi = {10.1016/S0167-6423(99)00007-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Aiken99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FosterFA99,
author = {Jeffrey S. Foster and
Manuel F{\"{a}}hndrich and
Alexander Aiken},
editor = {Barbara G. Ryder and
Benjamin G. Zorn},
title = {A Theory of Type Qualifiers},
booktitle = {Proceedings of the 1999 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Atlanta, Georgia, USA,
May 1-4, 1999},
pages = {192--203},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/301618.301665},
doi = {10.1145/301618.301665},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FosterFA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppsc/KrishnamurthyACGGHLMPSY99,
author = {Arvind Krishnamurthy and
Alexander Aiken and
Phillip Colella and
David Gay and
Susan L. Graham and
Paul N. Hilfinger and
Ben Liblit and
Carleton Miyamoto and
Geoff Pike and
Luigi Semenzato and
Katherine A. Yelick},
title = {Titanium: {A} High Performance Java Dialect},
booktitle = {Proceedings of the Ninth {SIAM} Conference on Parallel Processing
for Scientific Computing, {PPSC} 1999, San Antonio, Texas, USA, March
22-24, 1999},
publisher = {{SIAM}},
year = {1999},
timestamp = {Mon, 20 Mar 2017 14:21:45 +0100},
biburl = {https://dblp.org/rec/conf/ppsc/KrishnamurthyACGGHLMPSY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1999,
editor = {Andrew W. Appel and
Alex Aiken},
title = {{POPL} '99, Proceedings of the 26th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Antonio, TX, USA, January
20-22, 1999},
publisher = {{ACM}},
year = {1999},
url = {http://dl.acm.org/citation.cfm?id=292540},
isbn = {1-58113-095-3},
timestamp = {Mon, 21 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/YelickSPMLKHGGCA98,
author = {Katherine A. Yelick and
Luigi Semenzato and
Geoff Pike and
Carleton Miyamoto and
Ben Liblit and
Arvind Krishnamurthy and
Paul N. Hilfinger and
Susan L. Graham and
David Gay and
Phillip Colella and
Alexander Aiken},
title = {Titanium: {A} High-performance Java Dialect},
journal = {Concurr. Pract. Exp.},
volume = {10},
number = {11-13},
pages = {825--836},
year = {1998},
url = {https://doi.org/10.1002/(SICI)1096-9128(199809/11)10:11/13\&\#60;825::AID-CPE383\&\#62;3.0.CO;2-H},
doi = {10.1002/(SICI)1096-9128(199809/11)10:11/13\&\#60;825::AID-CPE383\&\#62;3.0.CO;2-H},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/YelickSPMLKHGGCA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FahndrichFSA98,
author = {Manuel F{\"{a}}hndrich and
Jeffrey S. Foster and
Zhendong Su and
Alexander Aiken},
editor = {Jack W. Davidson and
Keith D. Cooper and
A. Michael Berman},
title = {Partial Online Cycle Elimination in Inclusion Constraint Graphs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} '98 Conference on Programming Language
Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998},
pages = {85--96},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277650.277667},
doi = {10.1145/277650.277667},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/FahndrichFSA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GayA98,
author = {David Gay and
Alexander Aiken},
editor = {Jack W. Davidson and
Keith D. Cooper and
A. Michael Berman},
title = {Memory Management with Explicit Regions},
booktitle = {Proceedings of the {ACM} {SIGPLAN} '98 Conference on Programming Language
Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998},
pages = {313--323},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277650.277748},
doi = {10.1145/277650.277748},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GayA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AikenG98,
author = {Alexander Aiken and
David Gay},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Barrier Inference},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {342--354},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268974},
doi = {10.1145/268946.268974},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/AikenG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/OlstonWACELSS98,
author = {Chris Olston and
Allison Woodruff and
Alexander Aiken and
Michael Chu and
Vuk Ercegovac and
Mark Lin and
Mybrid Spalding and
Michael Stonebraker},
editor = {Laura M. Haas and
Ashutosh Tiwary},
title = {DataSplash},
booktitle = {{SIGMOD} 1998, Proceedings {ACM} {SIGMOD} International Conference
on Management of Data, June 2-4, 1998, Seattle, Washington, {USA}},
pages = {550--552},
publisher = {{ACM} Press},
year = {1998},
url = {https://doi.org/10.1145/276304.276377},
doi = {10.1145/276304.276377},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/OlstonWACELSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AikenFS98,
author = {Alexander Aiken and
Manuel F{\"{a}}hndrich and
Zhendong Su},
editor = {Bernhard Steffen},
title = {Detecting Races in Relay Ladder Logic Programs},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 4th
International Conference, {TACAS} '98, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'98,
Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1384},
pages = {184--200},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054172},
doi = {10.1007/BFB0054172},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/AikenFS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tic/AikenFFS98,
author = {Alexander Aiken and
Manuel F{\"{a}}hndrich and
Jeffrey S. Foster and
Zhendong Su},
editor = {Xavier Leroy and
Atsushi Ohori},
title = {A Toolkit for Constructing Type- and Constraint-Based Program Analyses},
booktitle = {Types in Compilation, Second International Workshop, {TIC} '98, Kyoto,
Japan, March 25-27, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1473},
pages = {78--96},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055513},
doi = {10.1007/BFB0055513},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tic/AikenFFS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/LevienA98,
author = {Raph Levien and
Alex Aiken},
editor = {Aviel D. Rubin},
title = {Attack-Resistant Trust Metrics for Public Key Certification},
booktitle = {Proceedings of the 7th {USENIX} Security Symposium, San Antonio, TX,
USA, January 26-29, 1998},
publisher = {{USENIX} Association},
year = {1998},
url = {https://www.usenix.org/conference/7th-usenix-security-symposium/attack-resistant-trust-metrics-public-key-certification},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uss/LevienA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/OlstonSAH98,
author = {Chris Olston and
Michael Stonebraker and
Alexander Aiken and
Joseph M. Hellerstein},
title = {{VIQING:} Visual Interactive Querying},
booktitle = {Proceedings 1998 {IEEE} Symposium on Visual Languages, Nova Scotia,
Canada, September 1-4, 1998},
pages = {162--169},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/VL.1998.706159},
doi = {10.1109/VL.1998.706159},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/OlstonSAH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/FahndrichA97,
author = {Manuel F{\"{a}}hndrich and
Alexander Aiken},
editor = {Pascal Van Hentenryck},
title = {Program Analysis Using Mixed Term and Set Constraints},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {114--126},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032737},
doi = {10.1007/BFB0032737},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/FahndrichA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/AikenWP97,
author = {Alexander Aiken and
Edward L. Wimmers and
Jens Palsberg},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Optimal Representations of Polymorphic Types with Subtyping (Extended
Abstract)},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {47--76},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014547},
doi = {10.1007/BFB0014547},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/AikenWP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Aiken96,
author = {Alexander Aiken},
title = {Cool: {A} Portable Project for Teaching Compiler Construction},
journal = {{ACM} {SIGPLAN} Notices},
volume = {31},
number = {7},
pages = {19--24},
year = {1996},
url = {https://doi.org/10.1145/381841.381847},
doi = {10.1145/381841.381847},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Aiken96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/AikenCSW96,
author = {Alexander Aiken and
Jolly Chen and
Michael Stonebraker and
Allison Woodruff},
editor = {Stanley Y. W. Su},
title = {Tioga-2: {A} Direct Manipulation Database Visualization Environment},
booktitle = {Proceedings of the Twelfth International Conference on Data Engineering,
February 26 - March 1, 1996, New Orleans, Louisiana, {USA}},
pages = {208--217},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ICDE.1996.492109},
doi = {10.1109/ICDE.1996.492109},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/AikenCSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Aiken96,
author = {Alexander Aiken},
editor = {Radhia Cousot and
David A. Schmidt},
title = {Constraint-Based Program Analysis (Abstract)},
booktitle = {Static Analysis, Third International Symposium, SAS'96, Aachen, Germany,
September 24-26, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1145},
pages = {1},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61739-6\_29},
doi = {10.1007/3-540-61739-6\_29},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Aiken96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AikenKW95,
author = {Alexander Aiken and
Dexter Kozen and
Edward L. Wimmers},
title = {Decidability of Systems of Set Constraints with Negative Constraints},
journal = {Inf. Comput.},
volume = {122},
number = {1},
pages = {30--44},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1139},
doi = {10.1006/INCO.1995.1139},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AikenKW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/AikenHW95,
author = {Alexander Aiken and
Joseph M. Hellerstein and
Jennifer Widom},
title = {Static Analysis Techniques for Predicting the Behavior of Active Database
Rules},
journal = {{ACM} Trans. Database Syst.},
volume = {20},
number = {1},
pages = {3--41},
year = {1995},
url = {https://doi.org/10.1145/202106.202107},
doi = {10.1145/202106.202107},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/AikenHW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AikenWW95,
author = {Alexander Aiken and
John H. Williams and
Edward L. Wimmers},
title = {Safe: {A} Semantic Technique for Transforming Programs in the Presence
of Errors},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {1},
pages = {63--84},
year = {1995},
url = {https://doi.org/10.1145/200994.201002},
doi = {10.1145/200994.201002},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AikenWW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/AikenNN95,
author = {Alexander Aiken and
Alexandru Nicolau and
Steven Novack},
title = {Resource-Constrained Software Pipelining},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {6},
number = {12},
pages = {1248--1270},
year = {1995},
url = {https://doi.org/10.1109/71.476167},
doi = {10.1109/71.476167},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/AikenNN95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbvis/AikenCLSSW95,
author = {Alexander Aiken and
Jolly Chen and
Mark Lin and
Mybrid Spalding and
Michael Stonebraker and
Allison Woodruff},
editor = {Andreas Wierse and
Georges G. Grinstein and
Ulrich Lang},
title = {The Tioga-2 Database Visualization Environment},
booktitle = {Database Issues for Data Visualization, {IEEE} Visualization '95 Workshop,
Atlanta, Georgia, USA, October 28, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1183},
pages = {181--207},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-62221-7\_15},
doi = {10.1007/3-540-62221-7\_15},
timestamp = {Tue, 04 Jan 2022 14:54:03 +0100},
biburl = {https://dblp.org/rec/conf/dbvis/AikenCLSSW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/AikenF95,
author = {Alexander Aiken and
Manuel F{\"{a}}hndrich},
editor = {John Williams},
title = {Dynamic Typing and Subtype Inference},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {182--191},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224201},
doi = {10.1145/224164.224201},
timestamp = {Tue, 06 Nov 2018 11:07:48 +0100},
biburl = {https://dblp.org/rec/conf/fpca/AikenF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AikenFL95,
author = {Alexander Aiken and
Manuel F{\"{a}}hndrich and
Raph Levien},
editor = {David W. Wall},
title = {Better Static Memory Management: Improving Region-Based Analysis of
Higher-Order Languages},
booktitle = {Proceedings of the {ACM} SIGPLAN'95 Conference on Programming Language
Design and Implementation (PLDI), La Jolla, California, USA, June
18-21, 1995},
pages = {174--185},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/207110.207137},
doi = {10.1145/207110.207137},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AikenFL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vdb/WoodruffSSPCAWT95,
author = {Allison Woodruff and
Alan Su and
Michael Stonebraker and
Caroline Paxson and
Jolly Chen and
Alexander Aiken and
Peter Wisnovsky and
Cimarron Taylor},
editor = {Stefano Spaccapietra and
Ramesh C. Jain},
title = {Navigation and Coordination Primitives for Multidimensional Visual
Browsers},
booktitle = {Visual Database Systems 3, Visual Information Management, Proceedings
of the third {IFIP} 2.6 working conference on visual database systems,
March 27-29, 1995, Lausanne, Switzerland},
series = {{IFIP} Conference Proceedings},
volume = {34},
pages = {360--371},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Sat, 26 Oct 2019 12:05:29 +0200},
biburl = {https://dblp.org/rec/conf/vdb/WoodruffSSPCAWT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/HuelsbergenLA94,
author = {Lorenz Huelsbergen and
James R. Larus and
Alexander Aiken},
editor = {Robert R. Kessler},
title = {Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread
Creation},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {79--90},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182442},
doi = {10.1145/182409.182442},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/HuelsbergenLA94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AikenWL94,
author = {Alexander Aiken and
Edward L. Wimmers and
T. K. Lakshman},
editor = {Hans{-}Juergen Boehm and
Bernard Lang and
Daniel M. Yellin},
title = {Soft Typing with Conditional Types},
booktitle = {Conference Record of POPL'94: 21st {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Portland, Oregon, USA, January
17-21, 1994},
pages = {163--173},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/174675.177847},
doi = {10.1145/174675.177847},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/AikenWL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppcp/Aiken94,
author = {Alexander Aiken},
editor = {Alan Borning},
title = {Set Constraints: Results, Applications, and Future Directions},
booktitle = {Principles and Practice of Constraint Programming, Second International
Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4,
1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {874},
pages = {326--335},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58601-6\_110},
doi = {10.1007/3-540-58601-6\_110},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/ppcp/Aiken94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AikenL94,
author = {Alexander Aiken and
T. K. Lakshman},
editor = {Baudouin Le Charlier},
title = {Directional Type Checking of Logic Programs},
booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94,
Namur, Belgium, September 28-30, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {864},
pages = {43--60},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58485-4\_32},
doi = {10.1007/3-540-58485-4\_32},
timestamp = {Mon, 12 Aug 2019 15:36:13 +0200},
biburl = {https://dblp.org/rec/conf/sas/AikenL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/WoodruffWTSPCA94,
author = {Allison Woodruff and
Peter Wisnovsky and
Cimarron Taylor and
Michael Stonebraker and
Caroline Paxson and
Jolly Chen and
Alexander Aiken},
editor = {Allen L. Ambler and
Takayuki Dan Kimura},
title = {Zooming and Tunneling in Tioga: Supporting Navigation in Multimedia
Space},
booktitle = {Proceedings {IEEE} Symposium on Visual Languages, St. Louis, Missouri,
USA, October 4-7, 1994},
pages = {191--193},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/VL.1994.363622},
doi = {10.1109/VL.1994.363622},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/WoodruffWTSPCA94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AikenKVW93,
author = {Alexander Aiken and
Dexter Kozen and
Moshe Y. Vardi and
Edward L. Wimmers},
editor = {Egon B{\"{o}}rger and
Yuri Gurevich and
Karl Meinke},
title = {The Complexity of Set Constraints},
booktitle = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
September 13-17, 1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {832},
pages = {1--17},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0049320},
doi = {10.1007/BFB0049320},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/csl/AikenKVW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/AikenW93,
author = {Alexander Aiken and
Edward L. Wimmers},
editor = {John Williams},
title = {Type Inclusion Constraints and Type Inference},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {31--41},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165188},
doi = {10.1145/165180.165188},
timestamp = {Tue, 06 Nov 2018 11:07:48 +0100},
biburl = {https://dblp.org/rec/conf/fpca/AikenW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AikenW92,
author = {Alexander Aiken and
Edward L. Wimmers},
title = {Solving Systems of Set Constraints (Extended Abstract)},
booktitle = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science
{(LICS} '92), Santa Cruz, California, USA, June 22-25, 1992},
pages = {329--340},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/LICS.1992.185545},
doi = {10.1109/LICS.1992.185545},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AikenW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/AikenWH92,
author = {Alexander Aiken and
Jennifer Widom and
Joseph M. Hellerstein},
editor = {Michael Stonebraker},
title = {Behavior of Database Production Rules: Termination, Confluence, and
Observable Determinism},
booktitle = {Proceedings of the 1992 {ACM} {SIGMOD} International Conference on
Management of Data, San Diego, California, USA, June 2-5, 1992},
pages = {59--68},
publisher = {{ACM} Press},
year = {1992},
url = {https://doi.org/10.1145/130283.130296},
doi = {10.1145/130283.130296},
timestamp = {Mon, 21 Jun 2021 16:00:48 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/AikenWH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/AikenM91,
author = {Alexander Aiken and
Brian R. Murphy},
editor = {John Hughes},
title = {Implementing Regular Tree Expressions},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {427--447},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_21},
doi = {10.1007/3540543961\_21},
timestamp = {Tue, 08 Mar 2022 10:14:58 +0100},
biburl = {https://dblp.org/rec/conf/fpca/AikenM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AikenM91,
author = {Alexander Aiken and
Brian R. Murphy},
editor = {David S. Wise},
title = {Static Type Inference in a Dynamically Typed Language},
booktitle = {Conference Record of the Eighteenth Annual {ACM} Symposium on Principles
of Programming Languages, Orlando, Florida, USA, January 21-23, 1991},
pages = {279--290},
publisher = {{ACM} Press},
year = {1991},
url = {https://doi.org/10.1145/99583.99621},
doi = {10.1145/99583.99621},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/AikenM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Aiken90,
author = {Alexander Aiken},
title = {A Theory of Compaction-Based Parallelization},
journal = {Theor. Comput. Sci.},
volume = {73},
number = {2},
pages = {121--154},
year = {1990},
url = {https://doi.org/10.1016/0304-3975(90)90143-6},
doi = {10.1016/0304-3975(90)90143-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Aiken90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AikenWW90,
author = {Alexander Aiken and
John H. Williams and
Edward L. Wimmers},
editor = {Frances E. Allen},
title = {Program Transformation in the Presence of Errors},
booktitle = {Conference Record of the Seventeenth Annual {ACM} Symposium on Principles
of Programming Languages, San Francisco, California, USA, January
1990},
pages = {210--217},
publisher = {{ACM} Press},
year = {1990},
url = {https://doi.org/10.1145/96709.96730},
doi = {10.1145/96709.96730},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/AikenWW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Aiken88,
author = {Alexander Aiken},
title = {Compaction-Based Parallelization},
school = {Cornell University, {USA}},
year = {1988},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Aiken88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/NicolauPA88,
author = {Alexandru Nicolau and
Keshav Pingali and
Alexander Aiken},
title = {Fine-grain compilation for pipelined machines},
journal = {J. Supercomput.},
volume = {2},
number = {3},
pages = {279--295},
year = {1988},
url = {https://doi.org/10.1007/BF00129781},
doi = {10.1007/BF00129781},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tjs/NicolauPA88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AikenN88,
author = {Alexander Aiken and
Alexandru Nicolau},
title = {A Development Environment for Horizontal Microcode},
journal = {{IEEE} Trans. Software Eng.},
volume = {14},
number = {5},
pages = {584--594},
year = {1988},
url = {https://doi.org/10.1109/32.6136},
doi = {10.1109/32.6136},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AikenN88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AikenN88,
author = {Alexander Aiken and
Alexandru Nicolau},
editor = {Harald Ganzinger},
title = {Perfect Pipelining: {A} New Loop Parallelization Technique},
booktitle = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
March 21-24, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {300},
pages = {221--235},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-19027-9\_15},
doi = {10.1007/3-540-19027-9\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/AikenN88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AikenN88,
author = {Alexander Aiken and
Alexandru Nicolau},
editor = {Richard L. Wexelblat},
title = {Optimal Loop Parallelization},
booktitle = {Proceedings of the {ACM} SIGPLAN'88 Conference on Programming Language
Design and Implementation (PLDI), Atlanta, Georgia, USA, June 22-24,
1988},
pages = {308--317},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/53990.54021},
doi = {10.1145/53990.54021},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AikenN88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/AikenN86,
author = {Alexander Aiken and
Alexandru Nicolau},
editor = {Stanley Habib},
title = {A development environment for horizontal microcode programs},
booktitle = {Proceedings of the 19th annual workshop on Microprogramming, New York,
NY, USA, October 15-17, 1986},
pages = {23--31},
publisher = {{ACM/IEEE}},
year = {1986},
url = {https://doi.org/10.1145/19551.19534},
doi = {10.1145/19551.19534},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/micro/AikenN86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-07 22:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
