Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Umut A. Acar
@article{DBLP:journals/pacmpl/WestrickFRA24, author = {Sam Westrick and Matthew Fluet and Mike Rainey and Umut A. Acar}, title = {Automatic Parallelism Management}, journal = {Proc. {ACM} Program. Lang.}, volume = {8}, number = {{POPL}}, pages = {1118--1149}, year = {2024}, url = {https://doi.org/10.1145/3632880}, doi = {10.1145/3632880}, timestamp = {Sat, 10 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/WestrickFRA24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/AroraMA24, author = {Jatin Arora and Stefan K. Muller and Umut A. Acar}, title = {Disentanglement with Futures, State, and Interaction}, journal = {Proc. {ACM} Program. Lang.}, volume = {8}, number = {{POPL}}, pages = {1569--1599}, year = {2024}, url = {https://doi.org/10.1145/3632895}, doi = {10.1145/3632895}, timestamp = {Sat, 10 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/AroraMA24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/MullerSKNALA23, author = {Stefan K. Muller and Kyle Singer and Devyn Terra Keeney and Andrew Neth and Kunal Agrawal and I{-}Ting Angelina Lee and Umut A. Acar}, title = {Responsive Parallelism with Synchronization}, journal = {Proc. {ACM} Program. Lang.}, volume = {7}, number = {{PLDI}}, pages = {712--735}, year = {2023}, url = {https://doi.org/10.1145/3591249}, doi = {10.1145/3591249}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/MullerSKNALA23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/0002WA23, author = {Jatin Arora and Sam Westrick and Umut A. Acar}, title = {Efficient Parallel Functional Programming with Effects}, journal = {Proc. {ACM} Program. Lang.}, volume = {7}, number = {{PLDI}}, pages = {1558--1583}, year = {2023}, url = {https://doi.org/10.1145/3591284}, doi = {10.1145/3591284}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/0002WA23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cgo/WilkinsWKBSDCAD23, author = {Michael Wilkins and Sam Westrick and Vijay Kandiah and Alex Bernat and Brian Suchy and Enrico Armenio Deiana and Simone Campanoni and Umut A. Acar and Peter A. Dinda and Nikos Hardavellas}, editor = {Christophe Dubach and Derek Bruening and Ben Hardekopf}, title = {WARDen: Specializing Cache Coherence for High-Level Parallel Languages}, booktitle = {Proceedings of the 21st {ACM/IEEE} International Symposium on Code Generation and Optimization, {CGO} 2023, Montr{\'{e}}al, QC, Canada, 25 February 2023- 1 March 2023}, pages = {122--135}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3579990.3580013}, doi = {10.1145/3579990.3580013}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cgo/WilkinsWKBSDCAD23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2304-03753, author = {Stefan K. Muller and Kyle Singer and Devyn Terra Keeney and Andrew Neth and Kunal Agrawal and I{-}Ting Angelina Lee and Umut A. Acar}, title = {Responsive Parallelism with Synchronization}, journal = {CoRR}, volume = {abs/2304.03753}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2304.03753}, doi = {10.48550/ARXIV.2304.03753}, eprinttype = {arXiv}, eprint = {2304.03753}, timestamp = {Tue, 18 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2304-03753.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2311-15123, author = {Hanrui Wang and Pengyu Liu and Bochen Tan and Yilian Liu and Jiaqi Gu and David Z. Pan and Jason Cong and Umut A. Acar and Song Han}, title = {{FPQA-C:} {A} Compilation Framework for Field Programmable Qubit Array}, journal = {CoRR}, volume = {abs/2311.15123}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2311.15123}, doi = {10.48550/ARXIV.2311.15123}, eprinttype = {arXiv}, eprint = {2311.15123}, timestamp = {Fri, 26 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2311-15123.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/WestrickAA22, author = {Sam Westrick and Jatin Arora and Umut A. Acar}, title = {Entanglement detection with near-zero cost}, journal = {Proc. {ACM} Program. Lang.}, volume = {6}, number = {{ICFP}}, pages = {679--710}, year = {2022}, url = {https://doi.org/10.1145/3547646}, doi = {10.1145/3547646}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/WestrickAA22.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 08:25:37 +0200}, biburl = {https://dblp.org/rec/conf/pldi/XuLPLPHMPAAJ22.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-2204-14168, author = {Sam Westrick and Larry Wang and Umut A. Acar}, title = {DePa: Simple, Provably Efficient, and Practical Order Maintenance for Task Parallelism}, journal = {CoRR}, volume = {abs/2204.14168}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2204.14168}, doi = {10.48550/ARXIV.2204.14168}, eprinttype = {arXiv}, eprint = {2204.14168}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2204-14168.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/0002WA21, author = {Jatin Arora and Sam Westrick and Umut A. Acar}, title = {Provably space-efficient parallel functional programming}, journal = {Proc. {ACM} Program. Lang.}, volume = {5}, number = {{POPL}}, pages = {1--33}, year = {2021}, url = {https://doi.org/10.1145/3434299}, doi = {10.1145/3434299}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/0002WA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/RaineyNHHCDA21, author = {Mike Rainey and Ryan R. Newton and Kyle C. Hale and Nikos Hardavellas and Simone Campanoni and Peter A. Dinda and Umut A. Acar}, editor = {Stephen N. Freund and Eran Yahav}, title = {Task parallel assembly language for uncompromising parallelism}, booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021}, pages = {1064--1079}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3453483.3460969}, doi = {10.1145/3453483.3460969}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/RaineyNHHCDA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spaa/AndersonBBA21, author = {Daniel Anderson and Guy E. Blelloch and Anubhav Baweja and Umut A. Acar}, editor = {Kunal Agrawal and Yossi Azar}, title = {Efficient Parallel Self-Adjusting Computation}, booktitle = {{SPAA} '21: 33rd {ACM} Symposium on Parallelism in Algorithms and Architectures, Virtual Event, USA, 6-8 July, 2021}, pages = {59--70}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3409964.3461799}, doi = {10.1145/3409964.3461799}, timestamp = {Mon, 05 Jul 2021 16:19:00 +0200}, biburl = {https://dblp.org/rec/conf/spaa/AndersonBBA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-06712, author = {Daniel Anderson and Guy E. Blelloch and Anubhav Baweja and Umut A. Acar}, title = {Efficient Parallel Self-Adjusting Computation}, journal = {CoRR}, volume = {abs/2105.06712}, year = {2021}, url = {https://arxiv.org/abs/2105.06712}, eprinttype = {arXiv}, eprint = {2105.06712}, timestamp = {Tue, 18 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-06712.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/CluneRMA20, author = {Joshua Clune and Vijay Ramamurthy and Ruben Martins and Umut A. Acar}, title = {Program equivalence for assisted grading of functional programs}, journal = {Proc. {ACM} Program. Lang.}, volume = {4}, number = {{OOPSLA}}, pages = {171:1--171:29}, year = {2020}, url = {https://doi.org/10.1145/3428239}, doi = {10.1145/3428239}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/CluneRMA20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/WestrickYFA20, author = {Sam Westrick and Rohan Yadav and Matthew Fluet and Umut A. Acar}, title = {Disentanglement in nested-parallel programs}, journal = {Proc. {ACM} Program. Lang.}, volume = {4}, number = {{POPL}}, pages = {47:1--47:32}, year = {2020}, url = {https://doi.org/10.1145/3371115}, doi = {10.1145/3371115}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/WestrickYFA20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edm/AkpinarRA20, author = {Nil{-}Jana Akpinar and Aaditya Ramdas and Umut A. Acar}, editor = {Anna N. Rafferty and Jacob Whitehill and Crist{\'{o}}bal Romero and Violetta Cavalli{-}Sforza}, title = {Analyzing Student Strategies In Blended Courses Using Clickstream Data}, booktitle = {Proceedings of the 13th International Conference on Educational Data Mining, {EDM} 2020, Fully virtual conference, July 10-13, 2020}, publisher = {International Educational Data Mining Society}, year = {2020}, url = {https://educationaldatamining.org/files/conferences/EDM2020/papers/paper\_172.pdf}, timestamp = {Thu, 29 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/edm/AkpinarRA20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esa/AcarABDW20, author = {Umut A. Acar and Daniel Anderson and Guy E. Blelloch and Laxman Dhulipala and Sam Westrick}, editor = {Fabrizio Grandoni and Grzegorz Herman and Peter Sanders}, title = {Parallel Batch-Dynamic Trees via Change Propagation}, booktitle = {28th Annual European Symposium on Algorithms, {ESA} 2020, September 7-9, 2020, Pisa, Italy (Virtual Conference)}, series = {LIPIcs}, volume = {173}, pages = {2:1--2:23}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2020}, url = {https://doi.org/10.4230/LIPIcs.ESA.2020.2}, doi = {10.4230/LIPICS.ESA.2020.2}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/esa/AcarABDW20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/MullerSGAAL20, author = {Stefan K. Muller and Kyle Singer and Noah Goldstein and Umut A. Acar and Kunal Agrawal and I{-}Ting Angelina Lee}, editor = {Alastair F. Donaldson and Emina Torlak}, title = {Responsive parallelism with futures and state}, booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on Programming Language Design and Implementation, {PLDI} 2020, London, UK, June 15-20, 2020}, pages = {577--591}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3385412.3386013}, doi = {10.1145/3385412.3386013}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/MullerSGAAL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spaa/SingerGMALA20, author = {Kyle Singer and Noah Goldstein and Stefan K. Muller and Kunal Agrawal and I{-}Ting Angelina Lee and Umut A. Acar}, editor = {Christian Scheideler and Michael Spear}, title = {Priority Scheduling for Interactive Applications}, booktitle = {{SPAA} '20: 32nd {ACM} Symposium on Parallelism in Algorithms and Architectures, Virtual Event, USA, July 15-17, 2020}, pages = {465--477}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3350755.3400236}, doi = {10.1145/3350755.3400236}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/spaa/SingerGMALA20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2002-05129, author = {Umut A. Acar and Daniel Anderson and Guy E. Blelloch and Laxman Dhulipala and Sam Westrick}, title = {Batch-dynamic Algorithms via Parallel Change Propagation and Applications to Dynamic Trees}, journal = {CoRR}, volume = {abs/2002.05129}, year = {2020}, url = {https://arxiv.org/abs/2002.05129}, eprinttype = {arXiv}, eprint = {2002.05129}, timestamp = {Fri, 14 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2002-05129.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2004-02870, author = {Stefan K. Muller and Kyle Singer and Noah Goldstein and Umut A. Acar and Kunal Agrawal and I{-}Ting Angelina Lee}, title = {Responsive Parallelism with Futures and State}, journal = {CoRR}, volume = {abs/2004.02870}, year = {2020}, url = {https://arxiv.org/abs/2004.02870}, eprinttype = {arXiv}, eprint = {2004.02870}, timestamp = {Wed, 08 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2004-02870.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2006-00421, author = {Nil{-}Jana Akpinar and Aaditya Ramdas and Umut A. Acar}, title = {Analyzing Student Strategies In Blended Courses Using Clickstream Data}, journal = {CoRR}, volume = {abs/2006.00421}, year = {2020}, url = {https://arxiv.org/abs/2006.00421}, eprinttype = {arXiv}, eprint = {2006.00421}, timestamp = {Thu, 29 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2006-00421.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2010-08051, author = {Joshua Clune and Vijay Ramamurthy and Ruben Martins and Umut A. Acar}, title = {Program Equivalence for Assisted Grading of Functional Programs (Extended Version)}, journal = {CoRR}, volume = {abs/2010.08051}, year = {2020}, url = {https://arxiv.org/abs/2010.08051}, eprinttype = {arXiv}, eprint = {2010.08051}, timestamp = {Wed, 21 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2010-08051.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/MullerWA19, author = {Stefan K. Muller and Sam Westrick and Umut A. Acar}, title = {Fairness in responsive parallelism}, journal = {Proc. {ACM} Program. Lang.}, volume = {3}, number = {{ICFP}}, pages = {81:1--81:30}, year = {2019}, url = {https://doi.org/10.1145/3341685}, doi = {10.1145/3341685}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/MullerWA19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppopp/AcarACR19, author = {Umut A. Acar and Vitaly Aksenov and Arthur Chargu{\'{e}}raud and Mike Rainey}, editor = {Jeffrey K. Hollingsworth and Idit Keidar}, title = {Provably and practically efficient granularity control}, booktitle = {Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019}, pages = {214--228}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3293883.3295725}, doi = {10.1145/3293883.3295725}, timestamp = {Sun, 12 Jun 2022 19:46:08 +0200}, biburl = {https://dblp.org/rec/conf/ppopp/AcarACR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spaa/YadavA19, author = {Rohan Yadav and Umut A. Acar}, editor = {Christian Scheideler and Petra Berenbrink}, title = {A Parallel Algorithm for Subgraph Isomorphism (Brief Announcement)}, booktitle = {The 31st {ACM} on Symposium on Parallelism in Algorithms and Architectures, {SPAA} 2019, Phoenix, AZ, USA, June 22-24, 2019}, pages = {343--344}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3323165.3323170}, doi = {10.1145/3323165.3323170}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/spaa/YadavA19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spaa/AcarABD19, author = {Umut A. Acar and Daniel Anderson and Guy E. Blelloch and Laxman Dhulipala}, editor = {Christian Scheideler and Petra Berenbrink}, title = {Parallel Batch-Dynamic Graph Connectivity}, booktitle = {The 31st {ACM} on Symposium on Parallelism in Algorithms and Architectures, {SPAA} 2019, Phoenix, AZ, USA, June 22-24, 2019}, pages = {381--392}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3323165.3323196}, doi = {10.1145/3323165.3323196}, timestamp = {Wed, 19 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/spaa/AcarABD19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/bdt/BhatotiaAJR19, author = {Pramod Bhatotia and Umut A. Acar and Flavio Paiva Junqueira and Rodrigo Rodrigues}, editor = {Sherif Sakr and Albert Y. Zomaya}, title = {Incremental Sliding Window Analytics}, booktitle = {Encyclopedia of Big Data Technologies}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-319-63962-8\_156-1}, doi = {10.1007/978-3-319-63962-8\_156-1}, timestamp = {Thu, 12 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/reference/bdt/BhatotiaAJR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1903-08794, author = {Umut A. Acar and Daniel Anderson and Guy E. Blelloch and Laxman Dhulipala}, title = {Parallel Batch-Dynamic Graph Connectivity}, journal = {CoRR}, volume = {abs/1903.08794}, year = {2019}, url = {http://arxiv.org/abs/1903.08794}, eprinttype = {arXiv}, eprint = {1903.08794}, timestamp = {Mon, 01 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1903-08794.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/MullerA018, author = {Stefan K. Muller and Umut A. Acar and Robert Harper}, title = {Competitive parallelism: getting your priorities right}, journal = {Proc. {ACM} Program. Lang.}, volume = {2}, number = {{ICFP}}, pages = {95:1--95:30}, year = {2018}, url = {https://doi.org/10.1145/3236790}, doi = {10.1145/3236790}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/MullerA018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/AcarCGRS18, author = {Umut A. Acar and Arthur Chargu{\'{e}}raud and Adrien Guatto and Mike Rainey and Filip Sieczkowski}, editor = {Jeffrey S. Foster and Dan Grossman}, title = {Heartbeat scheduling: provable efficiency for nested parallelism}, booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2018, Philadelphia, PA, USA, June 18-22, 2018}, pages = {769--782}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3192366.3192391}, doi = {10.1145/3192366.3192391}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/AcarCGRS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppopp/GuattoWRAF18, author = {Adrien Guatto and Sam Westrick and Ram Raghunathan and Umut A. Acar and Matthew Fluet}, editor = {Andreas Krall and Thomas R. Gross}, title = {Hierarchical memory management for mutable state}, booktitle = {Proceedings of the 23rd {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2018, Vienna, Austria, February 24-28, 2018}, pages = {81--93}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3178487.3178494}, doi = {10.1145/3178487.3178494}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppopp/GuattoWRAF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppopp/AcarACR18, author = {Umut A. Acar and Vitaly Aksenov and Arthur Chargu{\'{e}}raud and Mike Rainey}, editor = {Andreas Krall and Thomas R. Gross}, title = {Performance challenges in modular parallel programs}, booktitle = {Proceedings of the 23rd {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2018, Vienna, Austria, February 24-28, 2018}, pages = {381--382}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3178487.3178516}, doi = {10.1145/3178487.3178516}, timestamp = {Sun, 12 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppopp/AcarACR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1801-04618, author = {Adrien Guatto and Sam Westrick and Ram Raghunathan and Umut A. Acar and Matthew Fluet}, title = {Hierarchical Memory Management for Mutable State}, journal = {CoRR}, volume = {abs/1801.04618}, year = {2018}, url = {http://arxiv.org/abs/1801.04618}, eprinttype = {arXiv}, eprint = {1801.04618}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1801-04618.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1807-03703, author = {Stefan K. Muller and Umut A. Acar and Robert Harper}, title = {Competitive Parallelism: Getting Your Priorities Right}, journal = {CoRR}, volume = {abs/1807.03703}, year = {2018}, url = {http://arxiv.org/abs/1807.03703}, eprinttype = {arXiv}, eprint = {1807.03703}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1807-03703.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/MullerA017, author = {Stefan K. Muller and Umut A. Acar and Robert Harper}, editor = {Albert Cohen and Martin T. Vechev}, title = {Responsive parallel computation: bridging competitive and cooperative threading}, booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2017, Barcelona, Spain, June 18-23, 2017}, pages = {677--692}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3062341.3062370}, doi = {10.1145/3062341.3062370}, timestamp = {Wed, 23 Jun 2021 15:34:31 +0200}, biburl = {https://dblp.org/rec/conf/pldi/MullerA017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppopp/AcarBR17, author = {Umut A. Acar and Naama Ben{-}David and Mike Rainey}, editor = {Vivek Sarkar and Lawrence Rauchwerger}, title = {Contention in Structured Concurrency: Provably Efficient Dynamic Non-Zero Indicators for Nested Parallelism}, booktitle = {Proceedings of the 22nd {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, Austin, TX, USA, February 4-8, 2017}, pages = {75--88}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3018743.3018762}, doi = {10.1145/3018743.3018762}, timestamp = {Sun, 12 Jun 2022 19:46:08 +0200}, biburl = {https://dblp.org/rec/conf/ppopp/AcarBR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spaa/AcarAW17, author = {Umut A. Acar and Vitaly Aksenov and Sam Westrick}, editor = {Christian Scheideler and Mohammad Taghi Hajiaghayi}, title = {Brief Announcement: Parallel Dynamic Tree Contraction via Self-Adjusting Computation}, booktitle = {Proceedings of the 29th {ACM} Symposium on Parallelism in Algorithms and Architectures, {SPAA} 2017, Washington DC, USA, July 24-26, 2017}, pages = {275--277}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3087556.3087595}, doi = {10.1145/3087556.3087595}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/spaa/AcarAW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1709-03767, author = {Umut A. Acar and Arthur Chargu{\'{e}}raud and Mike Rainey}, title = {Parallel Work Inflation, Memory Effects, and their Empirical Analysis}, journal = {CoRR}, volume = {abs/1709.03767}, year = {2017}, url = {http://arxiv.org/abs/1709.03767}, eprinttype = {arXiv}, eprint = {1709.03767}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1709-03767.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/AcarCR16, author = {Umut A. Acar and Arthur Chargu{\'{e}}raud and Mike Rainey}, title = {Oracle-guided scheduling for controlling granularity in implicitly parallel languages}, journal = {J. Funct. Program.}, volume = {26}, pages = {e23}, year = {2016}, url = {https://doi.org/10.1017/S0956796816000101}, doi = {10.1017/S0956796816000101}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/AcarCR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/FeltmanAAF16, author = {Nicolas Feltman and Carlo Angiuli and Umut A. Acar and Kayvon Fatahalian}, editor = {Peter Thiemann}, title = {Automatically Splitting a Two-Stage Lambda Calculus}, booktitle = {Programming Languages and Systems - 25th European Symposium on Programming, {ESOP} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9632}, pages = {255--281}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-49498-1\_11}, doi = {10.1007/978-3-662-49498-1\_11}, timestamp = {Mon, 23 Mar 2020 12:22:51 +0100}, biburl = {https://dblp.org/rec/conf/esop/FeltmanAAF16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/AcarCRS16, author = {Umut A. Acar and Arthur Chargu{\'{e}}raud and Mike Rainey and Filip Sieczkowski}, editor = {Jacques Garrigue and Gabriele Keller and Eijiro Sumii}, title = {Dag-calculus: a calculus for parallel computation}, booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22, 2016}, pages = {18--32}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2951913.2951946}, doi = {10.1145/2951913.2951946}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/AcarCRS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/RaghunathanMAB16, author = {Ram Raghunathan and Stefan K. Muller and Umut A. Acar and Guy E. Blelloch}, editor = {Jacques Garrigue and Gabriele Keller and Eijiro Sumii}, title = {Hierarchical memory management for parallel programs}, booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22, 2016}, pages = {392--406}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2951913.2951935}, doi = {10.1145/2951913.2951935}, timestamp = {Wed, 23 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/RaghunathanMAB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spaa/MullerA16, author = {Stefan K. Muller and Umut A. Acar}, editor = {Christian Scheideler and Seth Gilbert}, title = {Latency-Hiding Work Stealing: Scheduling Interacting Parallel Computations with Work Stealing}, booktitle = {Proceedings of the 28th {ACM} Symposium on Parallelism in Algorithms and Architectures, {SPAA} 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016}, pages = {71--82}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2935764.2935793}, doi = {10.1145/2935764.2935793}, timestamp = {Tue, 06 Nov 2018 16:59:33 +0100}, biburl = {https://dblp.org/rec/conf/spaa/MullerA16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asplos/Bhatotia0ABR15, author = {Pramod Bhatotia and Pedro Fonseca and Umut A. Acar and Bj{\"{o}}rn B. Brandenburg and Rodrigo Rodrigues}, editor = {{\"{O}}zcan {\"{O}}zturk and Kemal Ebcioglu and Sandhya Dwarkadas}, title = {iThreads: {A} Threading Library for Parallel Incremental Computation}, booktitle = {Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, {ASPLOS} 2015, Istanbul, Turkey, March 14-18, 2015}, pages = {645--659}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2694344.2694371}, doi = {10.1145/2694344.2694371}, timestamp = {Wed, 07 Jul 2021 13:23:08 +0200}, biburl = {https://dblp.org/rec/conf/asplos/Bhatotia0ABR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/CicekGA15, author = {Ezgi {\c{C}}i{\c{c}}ek and Deepak Garg and Umut A. Acar}, editor = {Jan Vitek}, title = {Refinement Types for Incremental Computational Complexity}, booktitle = {Programming Languages and Systems - 24th European Symposium on Programming, {ESOP} 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9032}, pages = {406--431}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-46669-8\_17}, doi = {10.1007/978-3-662-46669-8\_17}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/CicekGA15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sc/AcarCR15, author = {Umut A. Acar and Arthur Chargu{\'{e}}raud and Mike Rainey}, editor = {Jackie Kern and Jeffrey S. Vetter}, title = {A work-efficient algorithm for parallel unordered depth-first search}, booktitle = {Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, {SC} 2015, Austin, TX, USA, November 15-20, 2015}, pages = {67:1--67:12}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2807591.2807651}, doi = {10.1145/2807591.2807651}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sc/AcarCR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/snapl/AcarBFMR15, author = {Umut A. Acar and Guy E. Blelloch and Matthew Fluet and Stefan K. Muller and Ram Raghunathan}, editor = {Thomas Ball and Rastislav Bod{\'{\i}}k and Shriram Krishnamurthi and Benjamin S. Lerner and Greg Morrisett}, title = {Coupling Memory and Computation for Locality Management}, booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May 3-6, 2015, Asilomar, California, {USA}}, series = {LIPIcs}, volume = {32}, pages = {1--14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.1}, doi = {10.4230/LIPICS.SNAPL.2015.1}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/snapl/AcarBFMR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/ChenDHA14, author = {Yan Chen and Jana Dunfield and Matthew A. Hammer and Umut A. Acar}, title = {Implicit self-adjusting computation for purely functional programs}, journal = {J. Funct. Program.}, volume = {24}, number = {1}, pages = {56--112}, year = {2014}, url = {https://doi.org/10.1017/S0956796814000033}, doi = {10.1017/S0956796814000033}, timestamp = {Fri, 11 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jfp/ChenDHA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esa/AcarCR14, author = {Umut A. Acar and Arthur Chargu{\'{e}}raud and Mike Rainey}, editor = {Andreas S. Schulz and Dorothea Wagner}, title = {Theory and Practice of Chunked Sequences}, booktitle = {Algorithms - {ESA} 2014 - 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8737}, pages = {25--36}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44777-2\_3}, doi = {10.1007/978-3-662-44777-2\_3}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/esa/AcarCR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/ChenAT14, author = {Yan Chen and Umut A. Acar and Kanat Tangwongsan}, editor = {Johan Jeuring and Manuel M. T. Chakravarty}, title = {Functional programming for dynamic and large data with self-adjusting computation}, booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014}, pages = {227--240}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2628136.2628150}, doi = {10.1145/2628136.2628150}, timestamp = {Thu, 24 Jun 2021 16:19:30 +0200}, biburl = {https://dblp.org/rec/conf/icfp/ChenAT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/middleware/BhatotiaAJR14, author = {Pramod Bhatotia and Umut A. Acar and Flavio Paiva Junqueira and Rodrigo Rodrigues}, editor = {Laurent R{\'{e}}veill{\`{e}}re and Lucy Cherkasova and Fran{\c{c}}ois Ta{\"{\i}}ani}, title = {Slider: incremental sliding window analytics}, booktitle = {Proceedings of the 15th International Middleware Conference, Bordeaux, France, December 8-12, 2014}, pages = {61--72}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2663165.2663334}, doi = {10.1145/2663165.2663334}, timestamp = {Thu, 12 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/middleware/BhatotiaAJR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/CheneyAA14, author = {James Cheney and Amal Ahmed and Umut A. Acar}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {Database Queries that Explain their Work}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {271--282}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643143}, doi = {10.1145/2643135.2643143}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/CheneyAA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/crc/sakr14/BhatotiaWAR14, author = {Pramod Bhatotia and Alexander Wieder and Umut A. Acar and Rodrigo Rodrigues}, editor = {Sherif Sakr and Mohamed Medhat Gaber}, title = {Incremental MapReduce Computations}, booktitle = {Large Scale and Big Data - Processing and Management}, pages = {127--150}, publisher = {Auerbach Publications}, year = {2014}, url = {https://doi.org/10.1201/b17112-5}, doi = {10.1201/B17112-5}, timestamp = {Thu, 12 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/crc/sakr14/BhatotiaWAR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/CheneyAA14, author = {James Cheney and Amal Ahmed and Umut A. Acar}, title = {Database Queries that Explain their Work}, journal = {CoRR}, volume = {abs/1408.1675}, year = {2014}, url = {http://arxiv.org/abs/1408.1675}, eprinttype = {arXiv}, eprint = {1408.1675}, timestamp = {Tue, 05 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CheneyAA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/comgeo/AcarCHT13, author = {Umut A. Acar and Andrew Cotter and Beno{\^{\i}}t Hudson and Duru T{\"{u}}rkoglu}, title = {Dynamic well-spaced point sets}, journal = {Comput. Geom.}, volume = {46}, number = {6}, pages = {756--773}, year = {2013}, url = {https://doi.org/10.1016/j.comgeo.2012.11.007}, doi = {10.1016/J.COMGEO.2012.11.007}, timestamp = {Thu, 11 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/comgeo/AcarCHT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcs/AcarACP13, author = {Umut A. Acar and Amal Ahmed and James Cheney and Roly Perera}, title = {A core calculus for provenance}, journal = {J. Comput. Secur.}, volume = {21}, number = {6}, pages = {919--969}, year = {2013}, url = {https://doi.org/10.3233/JCS-130487}, doi = {10.3233/JCS-130487}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcs/AcarACP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/AcarBD13, author = {Umut A. Acar and Matthias Blume and Jacob Donham}, title = {A consistent semantics of self-adjusting computation}, journal = {J. Funct. Program.}, volume = {23}, number = {3}, pages = {249--292}, year = {2013}, url = {https://doi.org/10.1017/S0956796813000099}, doi = {10.1017/S0956796813000099}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/AcarBD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/CheneyAP13, author = {James Cheney and Umut A. Acar and Roly Perera}, editor = {Val Tannen and Limsoon Wong and Leonid Libkin and Wenfei Fan and Wang{-}Chiew Tan and Michael P. Fourman}, title = {Toward a Theory of Self-explaining Computation}, booktitle = {In Search of Elegance in the Theory and Practice of Computation - Essays Dedicated to Peter Buneman}, series = {Lecture Notes in Computer Science}, volume = {8000}, pages = {193--216}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-41660-6\_9}, doi = {10.1007/978-3-642-41660-6\_9}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/birthday/CheneyAP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/AcarC12, author = {Umut A. Acar and Yan Chen}, editor = {Evelyne Viegas and Karin K. Breitman and Judith Bishop}, title = {Streaming big data with self-adjusting computation}, booktitle = {Proceedings of the 2013 Workshop on Data Driven Functional Programming, {DDFP} 2013, Rome, Italy, January 22, 2013}, pages = {15--18}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429376.2429382}, doi = {10.1145/2429376.2429382}, timestamp = {Thu, 28 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/AcarC12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppopp/AcarCR13, author = {Umut A. Acar and Arthur Chargu{\'{e}}raud and Mike Rainey}, editor = {Alex Nicolau and Xiaowei Shen and Saman P. Amarasinghe and Richard W. Vuduc}, title = {Scheduling parallel programs by work stealing with private deques}, booktitle = {{ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP '13, Shenzhen, China, February 23-27, 2013}, pages = {219--228}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2442516.2442538}, doi = {10.1145/2442516.2442538}, timestamp = {Sun, 12 Jun 2022 19:46:08 +0200}, biburl = {https://dblp.org/rec/conf/ppopp/AcarCR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icfp/2013fhpc, editor = {Clemens Grelck and Fritz Henglein and Umut A. Acar and Jost Berthold}, title = {Proceedings of the 2nd {ACM} {SIGPLAN} workshop on Functional high-performance computing, Boston, MA, USA, FHPC@ICFP 2013, September 25-27, 2013}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2502323}, doi = {10.1145/2502323}, isbn = {978-1-4503-2381-9}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfp/2013fhpc.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AcarACP13, author = {Umut A. Acar and Amal Ahmed and James Cheney and Roly Perera}, title = {A Core Calculus for Provenance}, journal = {CoRR}, volume = {abs/1310.6299}, year = {2013}, url = {http://arxiv.org/abs/1310.6299}, eprinttype = {arXiv}, eprint = {1310.6299}, timestamp = {Tue, 05 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AcarACP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/AcarCW12, author = {Umut A. Acar and James Cheney and Stephanie Weirich}, title = {Editorial - Special issue dedicated to {ICFP} 2010}, journal = {J. Funct. Program.}, volume = {22}, number = {4-5}, pages = {379--381}, year = {2012}, url = {https://doi.org/10.1017/S0956796812000287}, doi = {10.1017/S0956796812000287}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jfp/AcarCW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/Ley-WildAB12, author = {Ruy Ley{-}Wild and Umut A. Acar and Guy E. Blelloch}, editor = {Helmut Seidl}, title = {Non-monotonic Self-Adjusting Computation}, 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 = {476--496}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28869-2\_24}, doi = {10.1007/978-3-642-28869-2\_24}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/Ley-WildAB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/PereraACL12, author = {Roly Perera and Umut A. Acar and James Cheney and Paul Blain Levy}, editor = {Peter Thiemann and Robby Bruce Findler}, title = {Functional programs that explain their work}, booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012}, pages = {365--376}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2364527.2364579}, doi = {10.1145/2364527.2364579}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfp/PereraACL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/ChenDA12, author = {Yan Chen and Jana Dunfield and Umut A. Acar}, editor = {Jan Vitek and Haibo Lin and Frank Tip}, title = {Type-directed automatic incrementalization}, booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} '12, Beijing, China - June 11 - 16, 2012}, pages = {299--310}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2254064.2254100}, doi = {10.1145/2254064.2254100}, timestamp = {Thu, 24 Jun 2021 16:19:30 +0200}, biburl = {https://dblp.org/rec/conf/pldi/ChenDA12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/post/AcarACP12, author = {Umut A. Acar and Amal Ahmed and James Cheney and Roly Perera}, editor = {Pierpaolo Degano and Joshua D. Guttman}, title = {A Core Calculus for Provenance}, booktitle = {Principles of Security and Trust - First International Conference, {POST} 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 = {7215}, pages = {410--429}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28641-4\_22}, doi = {10.1007/978-3-642-28641-4\_22}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/post/AcarACP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/popl/2012damp, editor = {Umut A. Acar and V{\'{\i}}tor Santos Costa}, title = {Proceedings of the {POPL} 2012 Workshop on Declarative Aspects of Multicore Programming, {DAMP} 2012, Philadelphia, PA, USA, Saturday, January 28, 2012}, publisher = {{ACM}}, year = {2012}, url = {http://dl.acm.org/citation.cfm?id=2103736}, isbn = {978-1-4503-1117-5}, timestamp = {Tue, 08 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/2012damp.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tapp/2012, editor = {Umut A. Acar and Todd J. Green}, title = {4th Workshop on the Theory and Practice of Provenance, TaPP'12, Boston, MA, USA, June 14-15, 2012}, publisher = {{USENIX} Association}, year = {2012}, url = {https://www.usenix.org/conference/tapp12}, timestamp = {Tue, 02 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tapp/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1206-3234, author = {Umut A. Acar and Alexander T. Ihler and Ramgopal R. Mettu and {\"{O}}zg{\"{u}}r S{\"{u}}mer}, title = {Adaptive Inference on General Graphical Models}, journal = {CoRR}, volume = {abs/1206.3234}, year = {2012}, url = {http://arxiv.org/abs/1206.3234}, eprinttype = {arXiv}, eprint = {1206.3234}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1206-3234.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jmlr/SumerAIM11, author = {{\"{O}}zg{\"{u}}r S{\"{u}}mer and Umut A. Acar and Alexander T. Ihler and Ramgopal R. Mettu}, title = {Adaptive Exact Inference in Graphical Models}, journal = {J. Mach. Learn. Res.}, volume = {12}, pages = {3147--3186}, year = {2011}, url = {https://dl.acm.org/doi/10.5555/1953048.2078207}, doi = {10.5555/1953048.2078207}, timestamp = {Thu, 02 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jmlr/SumerAIM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/CheneyAA11, author = {James Cheney and Amal Ahmed and Umut A. Acar}, title = {Provenance as dependency analysis}, journal = {Math. Struct. Comput. Sci.}, volume = {21}, number = {6}, pages = {1301--1337}, year = {2011}, url = {https://doi.org/10.1017/S0960129511000211}, doi = {10.1017/S0960129511000211}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mscs/CheneyAA11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/SumerAIM11, author = {{\"{O}}zg{\"{u}}r S{\"{u}}mer and Umut A. Acar and Alexander Ihler and Ramgopal R. Mettu}, editor = {Wolfram Burgard and Dan Roth}, title = {Fast Parallel and Adaptive Updates for Dual-Decomposition Solvers}, booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2011, San Francisco, California, USA, August 7-11, 2011}, pages = {1076--1082}, publisher = {{AAAI} Press}, year = {2011}, url = {https://doi.org/10.1609/aaai.v25i1.8022}, doi = {10.1609/AAAI.V25I1.8022}, timestamp = {Mon, 04 Sep 2023 16:05:54 +0200}, biburl = {https://dblp.org/rec/conf/aaai/SumerAIM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cloud/BhatotiaWRAP11, author = {Pramod Bhatotia and Alexander Wieder and Rodrigo Rodrigues and Umut A. Acar and Rafael Pasquini}, editor = {Jeffrey S. Chase and Amr El Abbadi}, title = {Incoop: MapReduce for incremental computations}, booktitle = {{ACM} Symposium on Cloud Computing in conjunction with {SOSP} 2011, {SOCC} '11, Cascais, Portugal, October 26-28, 2011}, pages = {7}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2038916.2038923}, doi = {10.1145/2038916.2038923}, timestamp = {Thu, 12 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cloud/BhatotiaWRAP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compgeom/AcarHT11, author = {Umut A. Acar and Beno{\^{\i}}t Hudson and Duru T{\"{u}}rkoglu}, editor = {Ferran Hurtado and Marc J. van Kreveld}, title = {Kinetic mesh refinement in 2D}, booktitle = {Proceedings of the 27th {ACM} Symposium on Computational Geometry, Paris, France, June 13-15, 2011}, pages = {341--350}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1998196.1998254}, doi = {10.1145/1998196.1998254}, timestamp = {Mon, 14 Jun 2021 16:24:49 +0200}, biburl = {https://dblp.org/rec/conf/compgeom/AcarHT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hotcloud/BhatotiaWARA11, author = {Pramod Bhatotia and Alexander Wieder and Istemi Ekin Akkus and Rodrigo Rodrigues and Umut A. Acar}, editor = {Ion Stoica and John Wilkes}, title = {Large-scale Incremental Data Processing with Change Propagation}, booktitle = {3rd {USENIX} Workshop on Hot Topics in Cloud Computing, HotCloud'11, Portland, OR, USA, June 14-15, 2011}, publisher = {{USENIX} Association}, year = {2011}, url = {https://www.usenix.org/conference/hotcloud11/arge-scale-incremental-data-processing-change-propagation}, timestamp = {Tue, 09 Feb 2021 08:31:35 +0100}, biburl = {https://dblp.org/rec/conf/hotcloud/BhatotiaWARA11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/ChenDHA11, author = {Yan Chen and Jana Dunfield and Matthew A. Hammer and Umut A. Acar}, editor = {Manuel M. T. Chakravarty and Zhenjiang Hu and Olivier Danvy}, title = {Implicit self-adjusting computation for purely functional programs}, booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21, 2011}, pages = {129--141}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2034773.2034792}, doi = {10.1145/2034773.2034792}, timestamp = {Thu, 24 Jun 2021 16:19:30 +0200}, biburl = {https://dblp.org/rec/conf/icfp/ChenDHA11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/AcarCR11, author = {Umut A. Acar and Arthur Chargu{\'{e}}raud and Mike Rainey}, editor = {Cristina Videira Lopes and Kathleen Fisher}, title = {Oracle scheduling: controlling granularity in implicitly parallel languages}, 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 = {499--518}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2048066.2048106}, doi = {10.1145/2048066.2048106}, timestamp = {Thu, 24 Jun 2021 16:19:30 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/AcarCR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/HammerNCA11, author = {Matthew A. Hammer and Georg Neis and Yan Chen and Umut A. Acar}, editor = {Cristina Videira Lopes and Kathleen Fisher}, title = {Self-adjusting stack machines}, 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 = {753--772}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2048066.2048124}, doi = {10.1145/2048066.2048124}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/HammerNCA11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spaa/AcarCHT11, author = {Umut A. Acar and Andrew Cotter and Beno{\^{\i}}t Hudson and Duru T{\"{u}}rkoglu}, editor = {Rajmohan Rajaraman and Friedhelm Meyer auf der Heide}, title = {Parallelism in dynamic well-spaced point sets}, booktitle = {{SPAA} 2011: Proceedings of the 23rd Annual {ACM} Symposium on Parallelism in Algorithms and Architectures, San Jose, CA, USA, June 4-6, 2011 (Co-located with {FCRC} 2011)}, pages = {33--42}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1989493.1989498}, doi = {10.1145/1989493.1989498}, timestamp = {Wed, 21 Nov 2018 11:16:22 +0100}, biburl = {https://dblp.org/rec/conf/spaa/AcarCHT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1106-0447, author = {Umut A. Acar and Guy E. Blelloch and Robert Harper}, title = {Selective Memoization}, journal = {CoRR}, volume = {abs/1106.0447}, year = {2011}, url = {http://arxiv.org/abs/1106.0447}, eprinttype = {arXiv}, eprint = {1106.0447}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1106-0447.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1106-0478, author = {Umut A. Acar and Matthias Blume and Jacob Donham}, title = {A Consistent Semantics of Self-Adjusting Computation}, journal = {CoRR}, volume = {abs/1106.0478}, year = {2011}, url = {http://arxiv.org/abs/1106.0478}, eprinttype = {arXiv}, eprint = {1106.0478}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1106-0478.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1108-3265, author = {Matthew A. Hammer and Georg Neis and Yan Chen and Umut A. Acar}, title = {Self-Adjusting Stack Machines}, journal = {CoRR}, volume = {abs/1108.3265}, year = {2011}, url = {http://arxiv.org/abs/1108.3265}, eprinttype = {arXiv}, eprint = {1108.3265}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1108-3265.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compgeom/AcarCHT10, author = {Umut A. Acar and Andrew Cotter and Beno{\^{\i}}t Hudson and Duru T{\"{u}}rkoglu}, editor = {David G. Kirkpatrick and Joseph S. B. Mitchell}, title = {Dynamic well-spaced point sets}, booktitle = {Proceedings of the 26th {ACM} Symposium on Computational Geometry, Snowbird, Utah, USA, June 13-16, 2010}, pages = {314--323}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1810959.1811011}, doi = {10.1145/1810959.1811011}, timestamp = {Mon, 14 Jun 2021 16:25:04 +0200}, biburl = {https://dblp.org/rec/conf/compgeom/AcarCHT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/AcarBLTT10, author = {Umut A. Acar and Guy E. Blelloch and Ruy Ley{-}Wild and Kanat Tangwongsan and Duru T{\"{u}}rkoglu}, editor = {Benjamin G. Zorn and Alexander Aiken}, title = {Traceable data types for self-adjusting computation}, booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2010, Toronto, Ontario, Canada, June 5-10, 2010}, pages = {483--496}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1806596.1806650}, doi = {10.1145/1806596.1806650}, timestamp = {Tue, 22 Jun 2021 17:10:56 +0200}, biburl = {https://dblp.org/rec/conf/pldi/AcarBLTT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tapp/AcarBCBKV10, author = {Umut A. Acar and Peter Buneman and James Cheney and Jan Van den Bussche and Natalia Kwasnikowska and Stijn Vansummeren}, editor = {Margo I. Seltzer and Wang{-}Chiew Tan}, title = {A Graph Model of Data and Workflow Provenance}, booktitle = {2nd Workshop on the Theory and Practice of Provenance, TaPP'10, San Jose, CA, USA, February 22, 2010}, publisher = {{USENIX} Association}, year = {2010}, url = {https://www.usenix.org/conference/tapp-10/graph-model-data-and-workflow-provenance}, timestamp = {Tue, 02 Feb 2021 08:04:56 +0100}, biburl = {https://dblp.org/rec/conf/tapp/AcarBCBKV10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/AcarBBHT09, author = {Umut A. Acar and Guy E. Blelloch and Matthias Blume and Robert Harper and Kanat Tangwongsan}, title = {An experimental analysis of self-adjusting computation}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {32}, number = {1}, pages = {3:1--3:53}, year = {2009}, url = {https://doi.org/10.1145/1596527.1596530}, doi = {10.1145/1596527.1596530}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/toplas/AcarBBHT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Acar09, author = {Umut A. Acar}, editor = {Germ{\'{a}}n Puebla and Germ{\'{a}}n Vidal}, title = {Self-adjusting computation: (an overview)}, booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Symposium on Partial Evaluation and Semantics-based Program Manipulation, {PEPM} 2009, Savannah, GA, USA, January 19-20, 2009}, pages = {1--6}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1480945.1480946}, doi = {10.1145/1480945.1480946}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pepm/Acar09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/HammerAC09, author = {Matthew A. Hammer and Umut A. Acar and Yan Chen}, editor = {Michael Hind and Amer Diwan}, title = {{CEAL:} a C-based language for self-adjusting computation}, booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2009, Dublin, Ireland, June 15-21, 2009}, pages = {25--37}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1542476.1542480}, doi = {10.1145/1542476.1542480}, timestamp = {Fri, 25 Jun 2021 14:48:54 +0200}, biburl = {https://dblp.org/rec/conf/pldi/HammerAC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/ZiarekJFA09, author = {Lukasz Ziarek and Suresh Jagannathan and Matthew Fluet and Umut A. Acar}, editor = {Leaf Petersen and Manuel M. T. Chakravarty}, title = {Speculative N-Way barriers}, booktitle = {Proceedings of the {POPL} 2009 Workshop on Declarative Aspects of Multicore Programming, {DAMP} 2009, Savannah, GA, USA, January 20, 2009}, pages = {1--12}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1481839.1481841}, doi = {10.1145/1481839.1481841}, timestamp = {Fri, 25 Jun 2021 14:48:54 +0200}, biburl = {https://dblp.org/rec/conf/popl/ZiarekJFA09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/Ley-WildAF09, author = {Ruy Ley{-}Wild and Umut A. Acar and Matthew Fluet}, editor = {Zhong Shao and Benjamin C. Pierce}, title = {A cost semantics for self-adjusting computation}, booktitle = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2009, Savannah, GA, USA, January 21-23, 2009}, pages = {186--199}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1480881.1480907}, doi = {10.1145/1480881.1480907}, timestamp = {Fri, 25 Jun 2021 14:48:54 +0200}, biburl = {https://dblp.org/rec/conf/popl/Ley-WildAF09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/AcarL08, author = {Umut A. Acar and Ruy Ley{-}Wild}, editor = {Pieter W. M. Koopman and Rinus Plasmeijer and S. Doaitse Swierstra}, title = {Self-adjusting Computation with Delta {ML}}, booktitle = {Advanced Functional Programming, 6th International School, {AFP} 2008, Heijen, The Netherlands, May 2008, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {5832}, pages = {1--38}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-04652-0\_1}, doi = {10.1007/978-3-642-04652-0\_1}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/afp/AcarL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/BlumeAC08, author = {Matthias Blume and Umut A. Acar and Wonseok Chae}, editor = {G. Ramalingam}, title = {Exception Handlers as Extensible Cases}, booktitle = {Programming Languages and Systems, 6th Asian Symposium, {APLAS} 2008, Bangalore, India, December 9-11, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5356}, pages = {273--289}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-89330-1\_20}, doi = {10.1007/978-3-540-89330-1\_20}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/aplas/BlumeAC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esa/AcarBTT08, author = {Umut A. Acar and Guy E. Blelloch and Kanat Tangwongsan and Duru T{\"{u}}rkoglu}, editor = {Dan Halperin and Kurt Mehlhorn}, title = {Robust Kinetic Convex Hulls in 3D}, booktitle = {Algorithms - {ESA} 2008, 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5193}, pages = {29--40}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87744-8\_3}, doi = {10.1007/978-3-540-87744-8\_3}, timestamp = {Sun, 02 Jun 2019 21:14:36 +0200}, biburl = {https://dblp.org/rec/conf/esa/AcarBTT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/Ley-WildFA08, author = {Ruy Ley{-}Wild and Matthew Fluet and Umut A. Acar}, editor = {James Hook and Peter Thiemann}, title = {Compiling self-adjusting programs with continuations}, booktitle = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2008, Victoria, BC, Canada, September 20-28, 2008}, pages = {321--334}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1411204.1411249}, doi = {10.1145/1411204.1411249}, timestamp = {Fri, 25 Jun 2021 14:48:54 +0200}, biburl = {https://dblp.org/rec/conf/icfp/Ley-WildFA08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwmm/HammerA08, author = {Matthew A. Hammer and Umut A. Acar}, editor = {Richard E. Jones and Stephen M. Blackburn}, title = {Memory management for self-adjusting computation}, booktitle = {Proceedings of the 7th International Symposium on Memory Management, {ISMM} 2008, Tucson, AZ, USA, June 7-8, 2008}, pages = {51--60}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1375634.1375642}, doi = {10.1145/1375634.1375642}, timestamp = {Mon, 12 Jul 2021 15:34:15 +0200}, biburl = {https://dblp.org/rec/conf/iwmm/HammerA08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/AcarAB08, author = {Umut A. Acar and Amal Ahmed and Matthias Blume}, editor = {George C. Necula and Philip Wadler}, title = {Imperative self-adjusting computation}, booktitle = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2008, San Francisco, California, USA, January 7-12, 2008}, pages = {309--322}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1328438.1328476}, doi = {10.1145/1328438.1328476}, timestamp = {Tue, 05 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/AcarAB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uai/AcarIMS08, author = {Umut A. Acar and Alexander T. Ihler and Ramgopal R. Mettu and {\"{O}}zg{\"{u}}r S{\"{u}}mer}, editor = {David A. McAllester and Petri Myllym{\"{a}}ki}, title = {Adaptive inference on general graphical models}, booktitle = {{UAI} 2008, Proceedings of the 24th Conference in Uncertainty in Artificial Intelligence, Helsinki, Finland, July 9-12, 2008}, pages = {1--8}, publisher = {{AUAI} Press}, year = {2008}, url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=1937\&\#38;proceeding\_id=24}, timestamp = {Wed, 03 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/uai/AcarIMS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0812-0564, author = {James Cheney and Umut A. Acar and Amal Ahmed}, title = {Provenance Traces}, journal = {CoRR}, volume = {abs/0812.0564}, year = {2008}, url = {http://arxiv.org/abs/0812.0564}, eprinttype = {arXiv}, eprint = {0812.0564}, timestamp = {Tue, 05 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0812-0564.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compgeom/AcarBT07, author = {Umut A. Acar and Guy E. Blelloch and Kanat Tangwongsan}, editor = {Jeff Erickson}, title = {Kinetic 3D convex hulls via self-adjusting computation}, booktitle = {Proceedings of the 23rd {ACM} Symposium on Computational Geometry, Gyeongju, South Korea, June 6-8, 2007}, pages = {129--130}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1247069.1247093}, doi = {10.1145/1247069.1247093}, timestamp = {Mon, 14 Jun 2021 16:25:02 +0200}, biburl = {https://dblp.org/rec/conf/compgeom/AcarBT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dbpl/CheneyAA07, author = {James Cheney and Amal Ahmed and Umut A. Acar}, editor = {Marcelo Arenas and Michael I. Schwartzbach}, title = {Provenance as Dependency Analysis}, booktitle = {Database Programming Languages, 11th International Symposium, {DBPL} 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4797}, pages = {138--152}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75987-4\_10}, doi = {10.1007/978-3-540-75987-4\_10}, timestamp = {Tue, 05 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dbpl/CheneyAA07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/AcarBD07, author = {Umut A. Acar and Matthias Blume and Jacob Donham}, editor = {Rocco De Nicola}, title = {A Consistent Semantics of Self-adjusting Computation}, booktitle = {Programming Languages and Systems, 16th European Symposium on Programming, {ESOP} 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4421}, pages = {458--474}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-71316-6\_31}, doi = {10.1007/978-3-540-71316-6\_31}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/AcarBD07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccad/SantambrogioMRAS07, author = {Marco D. Santambrogio and Seda Ogrenci Memik and Vincenzo Rana and Umut A. Acar and Donatella Sciuto}, editor = {Georges G. E. Gielen}, title = {A novel SoC design methodology combining adaptive software and reconfigurable hardware}, booktitle = {2007 International Conference on Computer-Aided Design, {ICCAD} 2007, San Jose, CA, USA, November 5-8, 2007}, pages = {303--308}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ICCAD.2007.4397281}, doi = {10.1109/ICCAD.2007.4397281}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccad/SantambrogioMRAS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/imr/AcarHMP07, author = {Umut A. Acar and Beno{\^{\i}}t Hudson and Gary L. Miller and Todd Phillips}, editor = {Michael L. Brewer and David L. Marcum}, title = {{SVR:} Practical Engineering of a Fast 3D Meshing Algorithm*}, booktitle = {Proceedings of the 16th International Meshing Roundtable, October 14-17, 2007, Seattle, Washington, USA, Proceedings}, pages = {45--62}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75103-8\_3}, doi = {10.1007/978-3-540-75103-8\_3}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/imr/AcarHMP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/SumerAIM07, author = {{\"{O}}zg{\"{u}}r S{\"{u}}mer and Umut A. Acar and Alexander Ihler and Ramgopal R. Mettu}, editor = {John C. Platt and Daphne Koller and Yoram Singer and Sam T. Roweis}, title = {Efficient Bayesian Inference for Dynamically Changing Graphs}, booktitle = {Advances in Neural Information Processing Systems 20, Proceedings of the Twenty-First Annual Conference on Neural Information Processing Systems, Vancouver, British Columbia, Canada, December 3-6, 2007}, pages = {1441--1448}, publisher = {Curran Associates, Inc.}, year = {2007}, url = {https://proceedings.neurips.cc/paper/2007/hash/8757150decbd89b0f5442ca3db4d0e0e-Abstract.html}, timestamp = {Mon, 05 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nips/SumerAIM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/HammerARG07, author = {Matthew A. Hammer and Umut A. Acar and Mohan Rajagopalan and Anwar M. Ghuloum}, editor = {Neal Glew and Guy E. Blelloch}, title = {A proposal for parallel self-adjusting computation}, booktitle = {Proceedings of the {POPL} 2007 Workshop on Declarative Aspects of Multicore Programming, {DAMP} 2007, Nice, France, January 16, 2007}, pages = {3--9}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1248648.1248651}, doi = {10.1145/1248648.1248651}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/HammerARG07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0708-2173, author = {James Cheney and Amal Ahmed and Umut A. Acar}, title = {Provenance as Dependency Analysis}, journal = {CoRR}, volume = {abs/0708.2173}, year = {2007}, url = {http://arxiv.org/abs/0708.2173}, eprinttype = {arXiv}, eprint = {0708.2173}, timestamp = {Tue, 05 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0708-2173.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/AcarBH06, author = {Umut A. Acar and Guy E. Blelloch and Robert Harper}, title = {Adaptive functional programming}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {28}, number = {6}, pages = {990--1034}, year = {2006}, url = {https://doi.org/10.1145/1186632.1186634}, doi = {10.1145/1186632.1186634}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/toplas/AcarBH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esa/AcarBTV06, author = {Umut A. Acar and Guy E. Blelloch and Kanat Tangwongsan and Jorge L. Vittes}, editor = {Yossi Azar and Thomas Erlebach}, title = {Kinetic Algorithms Via Self-adjusting Computation}, booktitle = {Algorithms - {ESA} 2006, 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4168}, pages = {636--647}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11841036\_57}, doi = {10.1007/11841036\_57}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/esa/AcarBTV06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/BlumeAC06, author = {Matthias Blume and Umut A. Acar and Wonseok Chae}, editor = {John H. Reppy and Julia Lawall}, title = {Extensible programming with first-class cases}, booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September 16-21, 2006}, pages = {239--250}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1159803.1159836}, doi = {10.1145/1159803.1159836}, timestamp = {Mon, 17 Jan 2022 15:20:18 +0100}, biburl = {https://dblp.org/rec/conf/icfp/BlumeAC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/AcarBBT06, author = {Umut A. Acar and Guy E. Blelloch and Matthias Blume and Kanat Tangwongsan}, editor = {Michael I. Schwartzbach and Thomas Ball}, title = {An experimental analysis of self-adjusting computation}, booktitle = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006}, pages = {96--107}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1133981.1133993}, doi = {10.1145/1133981.1133993}, timestamp = {Fri, 25 Jun 2021 14:48:54 +0200}, biburl = {https://dblp.org/rec/conf/pldi/AcarBBT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alenex/AcarBV05, author = {Umut A. Acar and Guy E. Blelloch and Jorge L. Vittes}, editor = {Camil Demetrescu and Robert Sedgewick and Roberto Tamassia}, title = {An Experimental Analysis of Change Propagation in Dynamic Trees}, booktitle = {Proceedings of the Seventh Workshop on Algorithm Engineering and Experiments and the Second Workshop on Analytic Algorithmics and Combinatorics, {ALENEX} /ANALCO 2005, Vancouver, BC, Canada, 22 January 2005}, pages = {41--54}, publisher = {{SIAM}}, year = {2005}, url = {http://www.siam.org/meetings/alenex05/papers/04uacar.pdf}, timestamp = {Tue, 30 Jan 2007 13:47:28 +0100}, biburl = {https://dblp.org/rec/conf/alenex/AcarBV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AcarBBHT06, author = {Umut A. Acar and Guy E. Blelloch and Matthias Blume and Robert Harper and Kanat Tangwongsan}, editor = {Nick Benton and Xavier Leroy}, title = {A Library for Self-Adjusting Computation}, booktitle = {Proceedings of the {ACM-SIGPLAN} Workshop on ML, {ML} 2005, Tallinn, Estonia, September 29, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {148}, number = {2}, pages = {127--154}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.11.043}, doi = {10.1016/J.ENTCS.2005.11.043}, timestamp = {Fri, 16 Dec 2022 13:23:48 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AcarBBHT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/soda/AcarBHVW04, author = {Umut A. Acar and Guy E. Blelloch and Robert Harper and Jorge L. Vittes and Shan Leung Maverick Woo}, editor = {J. Ian Munro}, title = {Dynamizing static algorithms, with applications to dynamic trees and history independence}, booktitle = {Proceedings of the Fifteenth Annual {ACM-SIAM} Symposium on Discrete Algorithms, {SODA} 2004, New Orleans, Louisiana, USA, January 11-14, 2004}, pages = {531--540}, publisher = {{SIAM}}, year = {2004}, url = {http://dl.acm.org/citation.cfm?id=982792.982871}, timestamp = {Tue, 14 Mar 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/soda/AcarBHVW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/AcarBH03, author = {Umut A. Acar and Guy E. Blelloch and Robert Harper}, editor = {Alex Aiken and Greg Morrisett}, title = {Selective memoization}, booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003}, pages = {14--25}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/604131.604133}, doi = {10.1145/604131.604133}, timestamp = {Fri, 25 Jun 2021 17:17:37 +0200}, biburl = {https://dblp.org/rec/conf/popl/AcarBH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/AcarBB02, author = {Umut A. Acar and Guy E. Blelloch and Robert D. Blumofe}, title = {The Data Locality of Work Stealing}, journal = {Theory Comput. Syst.}, volume = {35}, number = {3}, pages = {321--347}, year = {2002}, url = {https://doi.org/10.1007/s00224-002-1057-3}, doi = {10.1007/S00224-002-1057-3}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mst/AcarBB02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/AcarBH02, author = {Umut A. Acar and Guy E. Blelloch and Robert Harper}, editor = {John Launchbury and John C. Mitchell}, title = {Adaptive functional programming}, booktitle = {Conference Record of {POPL} 2002: The 29th {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, Portland, OR, USA, January 16-18, 2002}, pages = {247--259}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/503272.503296}, doi = {10.1145/503272.503296}, timestamp = {Wed, 07 Jul 2021 17:30:33 +0200}, biburl = {https://dblp.org/rec/conf/popl/AcarBH02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spaa/AcarBB00, author = {Umut A. Acar and Guy E. Blelloch and Robert D. Blumofe}, editor = {Gary L. Miller and Shang{-}Hua Teng}, title = {The data locality of work stealing}, booktitle = {Proceedings of the Twelfth annual {ACM} Symposium on Parallel Algorithms and Architectures, {SPAA} 2000, Bar Harbor, Maine, USA, July 9-13, 2000}, pages = {1--12}, publisher = {{ACM}}, year = {2000}, url = {https://doi.org/10.1145/341800.341801}, doi = {10.1145/341800.341801}, timestamp = {Wed, 21 Nov 2018 12:27:44 +0100}, biburl = {https://dblp.org/rec/conf/spaa/AcarBB00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.