BibTeX records: Tyler Sorensen 0001

download as .bib file

@article{DBLP:journals/corr/abs-2401-16603,
  author       = {Tyler Sorensen and
                  Heidy Khlaaf},
  title        = {LeftoverLocals: Listening to {LLM} Responses Through Leaked {GPU}
                  Local Memory},
  journal      = {CoRR},
  volume       = {abs/2401.16603},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.16603},
  doi          = {10.48550/ARXIV.2401.16603},
  eprinttype    = {arXiv},
  eprint       = {2401.16603},
  timestamp    = {Tue, 06 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-16603.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispass/XuLS23,
  author       = {Yanwen Xu and
                  Ang Li and
                  Tyler Sorensen},
  title        = {Redwood: Flexible and Portable Heterogeneous Tree Traversal Workloads},
  booktitle    = {{IEEE} International Symposium on Performance Analysis of Systems
                  and Software, {ISPASS} 2023, Raleigh, NC, USA, April 23-25, 2023},
  pages        = {201--213},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISPASS57527.2023.00028},
  doi          = {10.1109/ISPASS57527.2023.00028},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ispass/XuLS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispass/SrivastavaS23,
  author       = {Sanya Srivastava and
                  Tyler Sorensen},
  title        = {Degree-Aware Kernel Mapping for Graph Processing on GPUs},
  booktitle    = {{IEEE} International Symposium on Performance Analysis of Systems
                  and Software, {ISPASS} 2023, Raleigh, NC, USA, April 23-25, 2023},
  pages        = {319--321},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISPASS57527.2023.00039},
  doi          = {10.1109/ISPASS57527.2023.00039},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ispass/SrivastavaS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/IorgaDSW21,
  author       = {Dan Iorga and
                  Alastair F. Donaldson and
                  Tyler Sorensen and
                  John Wickerson},
  title        = {The semantics of shared memory in Intel {CPU/FPGA} systems},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {5},
  number       = {{OOPSLA}},
  pages        = {1--28},
  year         = {2021},
  url          = {https://doi.org/10.1145/3485497},
  doi          = {10.1145/3485497},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/IorgaDSW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SorensenSREWMD21,
  author       = {Tyler Sorensen and
                  Lucas F. Salvador and
                  Harmit Raval and
                  Hugues Evrard and
                  John Wickerson and
                  Margaret Martonosi and
                  Alastair F. Donaldson},
  title        = {Specifying and testing {GPU} workgroup progress models},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {5},
  number       = {{OOPSLA}},
  pages        = {1--30},
  year         = {2021},
  url          = {https://doi.org/10.1145/3485508},
  doi          = {10.1145/3485508},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/SorensenSREWMD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/ManochaSTMAM21,
  author       = {Aninda Manocha and
                  Tyler Sorensen and
                  Esin Tureci and
                  Opeoluwa Matthews and
                  Juan L. Arag{\'{o}}n and
                  Margaret Martonosi},
  title        = {GraphAttack: Optimizing Data Supply for Graph Applications on In-Order
                  Multicore Architectures},
  journal      = {{ACM} Trans. Archit. Code Optim.},
  volume       = {18},
  number       = {4},
  pages        = {53:1--53:26},
  year         = {2021},
  url          = {https://doi.org/10.1145/3469846},
  doi          = {10.1145/3469846},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/taco/ManochaSTMAM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-06132,
  author       = {Tyler Sorensen and
                  Lucas F. Salvador and
                  Harmit Raval and
                  Hugues Evrard and
                  John Wickerson and
                  Margaret Martonosi and
                  Alastair F. Donaldson},
  title        = {Specifying and Testing {GPU} Workgroup Progress Models},
  journal      = {CoRR},
  volume       = {abs/2109.06132},
  year         = {2021},
  url          = {https://arxiv.org/abs/2109.06132},
  eprinttype    = {arXiv},
  eprint       = {2109.06132},
  timestamp    = {Wed, 22 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-06132.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Kirkham0TM20,
  author       = {Jake Kirkham and
                  Tyler Sorensen and
                  Esin Tureci and
                  Margaret Martonosi},
  title        = {Foundations of empirical memory consistency testing},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{OOPSLA}},
  pages        = {226:1--226:29},
  year         = {2020},
  url          = {https://doi.org/10.1145/3428294},
  doi          = {10.1145/3428294},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/Kirkham0TM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/0001MTOAM20,
  author       = {Tyler Sorensen and
                  Aninda Manocha and
                  Esin Tureci and
                  Marcelo Orenes{-}Vera and
                  Juan L. Arag{\'{o}}n and
                  Margaret Martonosi},
  title        = {A Simulator and Compiler Framework for Agile Hardware-Software Co-design
                  Evaluation and Exploration},
  booktitle    = {{IEEE/ACM} International Conference On Computer Aided Design, {ICCAD}
                  2020, San Diego, CA, USA, November 2-5, 2020},
  pages        = {97:1--97:9},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3400302.3415751},
  doi          = {10.1145/3400302.3415751},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/0001MTOAM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispass/MatthewsMGOT0HA20,
  author       = {Opeoluwa Matthews and
                  Aninda Manocha and
                  Davide Giri and
                  Marcelo Orenes{-}Vera and
                  Esin Tureci and
                  Tyler Sorensen and
                  Tae Jun Ham and
                  Juan L. Arag{\'{o}}n and
                  Luca P. Carloni and
                  Margaret Martonosi},
  title        = {MosaicSim: {A} Lightweight, Modular Simulator for Heterogeneous Systems},
  booktitle    = {{IEEE} International Symposium on Performance Analysis of Systems
                  and Software, {ISPASS} 2020, Boston, MA, USA, August 23-25, 2020},
  pages        = {136--148},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ISPASS48437.2020.00029},
  doi          = {10.1109/ISPASS48437.2020.00029},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ispass/MatthewsMGOT0HA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/Iorga0WD20,
  author       = {Dan Iorga and
                  Tyler Sorensen and
                  John Wickerson and
                  Alastair F. Donaldson},
  title        = {Slow and Steady: Measuring and Tuning Multicore Interference},
  booktitle    = {{IEEE} Real-Time and Embedded Technology and Applications Symposium,
                  {RTAS} 2020, Sydney, Australia, April 21-24, 2020},
  pages        = {200--212},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/RTAS48715.2020.000-6},
  doi          = {10.1109/RTAS48715.2020.000-6},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtas/Iorga0WD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-07415,
  author       = {Opeoluwa Matthews and
                  Aninda Manocha and
                  Davide Giri and
                  Marcelo Orenes{-}Vera and
                  Esin Tureci and
                  Tyler Sorensen and
                  Tae Jun Ham and
                  Juan L. Arag{\'{o}}n and
                  Luca P. Carloni and
                  Margaret Martonosi},
  title        = {The MosaicSim Simulator (Full Technical Report)},
  journal      = {CoRR},
  volume       = {abs/2004.07415},
  year         = {2020},
  url          = {https://arxiv.org/abs/2004.07415},
  eprinttype    = {arXiv},
  eprint       = {2004.07415},
  timestamp    = {Thu, 23 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-07415.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiswc/0001PD19,
  author       = {Tyler Sorensen and
                  Sreepathi Pai and
                  Alastair F. Donaldson},
  title        = {One Size Doesn't Fit All: Quantifying Performance Portability of Graph
                  Applications on GPUs},
  booktitle    = {{IEEE} International Symposium on Workload Characterization, {IISWC}
                  2019, Orlando, FL, USA, November 3-5, 2019},
  pages        = {155--166},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/IISWC47752.2019.9042139},
  doi          = {10.1109/IISWC47752.2019.9042139},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iiswc/0001PD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwocl/SorensenPD19,
  author       = {Tyler Sorensen and
                  Sreepathi Pai and
                  Alastair F. Donaldson},
  title        = {Performance Evaluation of OpenCL Standard Support (and Beyond)},
  booktitle    = {Proceedings of the International Workshop on OpenCL, {IWOCL} 2019,
                  Boston, MA, USA, May 13-15, 2019},
  pages        = {8:1--8:2},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3318170.3318177},
  doi          = {10.1145/3318170.3318177},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwocl/SorensenPD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/ChongSW19,
  author       = {Nathan Chong and
                  Tyler Sorensen and
                  John Wickerson},
  editor       = {Dahlia Malkhi and
                  Dan Tsafrir},
  title        = {The Semantics of Transactions and Weak Memory in x86, Power, ARM,
                  and {C++}},
  booktitle    = {2019 {USENIX} Annual Technical Conference, {USENIX} {ATC} 2019, Renton,
                  WA, USA, July 10-12, 2019},
  publisher    = {{USENIX} Association},
  year         = {2019},
  url          = {https://www.usenix.org/conference/atc19/presentation/chong},
  timestamp    = {Mon, 01 Feb 2021 17:03:06 +0100},
  biburl       = {https://dblp.org/rec/conf/usenix/ChongSW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Sorensen18,
  author       = {Tyler Sorensen},
  title        = {Inter-workgroup barrier synchronisation on graphics processing units},
  school       = {Imperial College London, {UK}},
  year         = {2018},
  url          = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.769676},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Sorensen18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/SorensenED18,
  author       = {Tyler Sorensen and
                  Hugues Evrard and
                  Alastair F. Donaldson},
  editor       = {Sven Schewe and
                  Lijun Zhang},
  title        = {{GPU} Schedulers: How Fair Is Fair Enough?},
  booktitle    = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
                  September 4-7, 2018, Beijing, China},
  series       = {LIPIcs},
  volume       = {118},
  pages        = {23:1--23:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.23},
  doi          = {10.4230/LIPICS.CONCUR.2018.23},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/SorensenED18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChongSW18,
  author       = {Nathan Chong and
                  Tyler Sorensen and
                  John Wickerson},
  editor       = {Jeffrey S. Foster and
                  Dan Grossman},
  title        = {The semantics of transactions and weak memory in x86, Power, ARM,
                  and {C++}},
  booktitle    = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
                  USA, June 18-22, 2018},
  pages        = {211--225},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3192366.3192373},
  doi          = {10.1145/3192366.3192373},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/ChongSW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-05197,
  author       = {Dan Iorga and
                  Tyler Sorensen and
                  Alastair F. Donaldson},
  title        = {Do Your Cores Play Nicely? {A} Portable Framework for Multi-core Interference
                  Tuning and Analysis},
  journal      = {CoRR},
  volume       = {abs/1809.05197},
  year         = {2018},
  url          = {http://arxiv.org/abs/1809.05197},
  eprinttype    = {arXiv},
  eprint       = {1809.05197},
  timestamp    = {Thu, 05 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1809-05197.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DonaldsonKSW17,
  author       = {Alastair F. Donaldson and
                  Jeroen Ketema and
                  Tyler Sorensen and
                  John Wickerson},
  editor       = {Roland Meyer and
                  Uwe Nestmann},
  title        = {Forward Progress on {GPU} Concurrency (Invited Talk)},
  booktitle    = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
                  September 5-8, 2017, Berlin, Germany},
  series       = {LIPIcs},
  volume       = {85},
  pages        = {1:1--1:13},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.1},
  doi          = {10.4230/LIPICS.CONCUR.2017.1},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/DonaldsonKSW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/WickersonBSC17,
  author       = {John Wickerson and
                  Mark Batty and
                  Tyler Sorensen and
                  George A. Constantinides},
  editor       = {Giuseppe Castagna and
                  Andrew D. Gordon},
  title        = {Automatically comparing memory consistency models},
  booktitle    = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
                  Programming Languages, {POPL} 2017, Paris, France, January 18-20,
                  2017},
  pages        = {190--204},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3009837.3009838},
  doi          = {10.1145/3009837.3009838},
  timestamp    = {Mon, 05 Feb 2024 20:33:37 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/WickersonBSC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SorensenED17,
  author       = {Tyler Sorensen and
                  Hugues Evrard and
                  Alastair F. Donaldson},
  editor       = {Eric Bodden and
                  Wilhelm Sch{\"{a}}fer and
                  Arie van Deursen and
                  Andrea Zisman},
  title        = {Cooperative kernels: {GPU} multitasking for blocking algorithms},
  booktitle    = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
                  Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
  pages        = {431--441},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3106237.3106265},
  doi          = {10.1145/3106237.3106265},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/SorensenED17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SorensenED17,
  author       = {Tyler Sorensen and
                  Hugues Evrard and
                  Alastair F. Donaldson},
  title        = {Cooperative Kernels: {GPU} Multitasking for Blocking Algorithms (Extended
                  Version)},
  journal      = {CoRR},
  volume       = {abs/1707.01989},
  year         = {2017},
  url          = {http://arxiv.org/abs/1707.01989},
  eprinttype    = {arXiv},
  eprint       = {1707.01989},
  timestamp    = {Thu, 05 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/SorensenED17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-04839,
  author       = {Nathan Chong and
                  Tyler Sorensen and
                  John Wickerson},
  title        = {The Semantics of Transactions and Weak Memory in x86, Power, ARMv8,
                  and {C++}},
  journal      = {CoRR},
  volume       = {abs/1710.04839},
  year         = {2017},
  url          = {http://arxiv.org/abs/1710.04839},
  eprinttype    = {arXiv},
  eprint       = {1710.04839},
  timestamp    = {Thu, 05 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1710-04839.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwocl/SorensenD16,
  author       = {Tyler Sorensen and
                  Alastair F. Donaldson},
  title        = {The Hitchhiker's Guide to Cross-Platform OpenCL Application Development},
  booktitle    = {Proceedings of the 4th International Workshop on OpenCL, {IWOCL} 2016,
                  Vienna, Austria, April 19-21, 2016},
  pages        = {2:1--2:12},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2909437.2909440},
  doi          = {10.1145/2909437.2909440},
  timestamp    = {Thu, 05 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwocl/SorensenD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SorensenDBGR16,
  author       = {Tyler Sorensen and
                  Alastair F. Donaldson and
                  Mark Batty and
                  Ganesh Gopalakrishnan and
                  Zvonimir Rakamaric},
  editor       = {Eelco Visser and
                  Yannis Smaragdakis},
  title        = {Portable inter-workgroup barrier synchronisation for GPUs},
  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        = {39--58},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2983990.2984032},
  doi          = {10.1145/2983990.2984032},
  timestamp    = {Wed, 23 Jun 2021 15:34:31 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/SorensenDBGR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SorensenD16,
  author       = {Tyler Sorensen and
                  Alastair F. Donaldson},
  editor       = {Chandra Krintz and
                  Emery D. Berger},
  title        = {Exposing errors related to weak memory in {GPU} applications},
  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        = {100--113},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2908080.2908114},
  doi          = {10.1145/2908080.2908114},
  timestamp    = {Sat, 30 Sep 2023 09:54:48 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/SorensenD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/AlglaveBDGKPSW15,
  author       = {Jade Alglave and
                  Mark Batty and
                  Alastair F. Donaldson and
                  Ganesh Gopalakrishnan and
                  Jeroen Ketema and
                  Daniel Poetzl and
                  Tyler Sorensen and
                  John Wickerson},
  editor       = {{\"{O}}zcan {\"{O}}zturk and
                  Kemal Ebcioglu and
                  Sandhya Dwarkadas},
  title        = {{GPU} Concurrency: Weak Behaviours and Programming Assumptions},
  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        = {577--591},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2694344.2694391},
  doi          = {10.1145/2694344.2694391},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/asplos/AlglaveBDGKPSW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tinytocs/AlglaveMPS15,
  author       = {Jade Alglave and
                  Luc Maranget and
                  Daniel Poetzl and
                  Tyler Sorensen},
  title        = {I compute, therefore {I} am (buggy): methodic doubt meets multiprocessors},
  journal      = {Tiny Trans. Comput. Sci.},
  volume       = {3},
  year         = {2015},
  url          = {http://tinytocs.org/vol3/papers/TinyToCS\_3\_alglave.pdf},
  timestamp    = {Tue, 14 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tinytocs/AlglaveMPS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/SorensenGG13,
  author       = {Tyler Sorensen and
                  Ganesh Gopalakrishnan and
                  Vinod Grover},
  editor       = {Allen D. Malony and
                  Mario Nemirovsky and
                  Samuel P. Midkiff},
  title        = {Towards shared memory consistency models for GPUs},
  booktitle    = {International Conference on Supercomputing, ICS'13, Eugene, OR, {USA}
                  - June 10 - 14, 2013},
  pages        = {489--490},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2464996.2467280},
  doi          = {10.1145/2464996.2467280},
  timestamp    = {Thu, 05 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ics/SorensenGG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics