Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: John Wickerson
@inproceedings{DBLP:conf/esop/RaadLWBD24,
author = {Azalea Raad and
Ori Lahav and
John Wickerson and
Piotr Balcer and
Brijesh Dongol},
editor = {Stephanie Weirich},
title = {Intel {PMDK} Transactions: Specification, Validation and Concurrency},
booktitle = {Programming Languages and Systems - 33rd European Symposium on Programming,
{ESOP} 2024, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2024, Luxembourg City, Luxembourg,
April 6-11, 2024, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14577},
pages = {150--179},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57267-8\_6},
doi = {10.1007/978-3-031-57267-8\_6},
timestamp = {Sun, 14 Apr 2024 18:32:18 +0200},
biburl = {https://dblp.org/rec/conf/esop/RaadLWBD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/RaadLWBD24a,
author = {Azalea Raad and
Ori Lahav and
John Wickerson and
Piotr Balcer and
Brijesh Dongol},
editor = {Stephanie Weirich},
title = {Artifact Report: Intel {PMDK} Transactions: Specification, Validation
and Concurrency},
booktitle = {Programming Languages and Systems - 33rd European Symposium on Programming,
{ESOP} 2024, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2024, Luxembourg City, Luxembourg,
April 6-11, 2024, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14577},
pages = {180--184},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57267-8\_7},
doi = {10.1007/978-3-031-57267-8\_7},
timestamp = {Sun, 14 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/RaadLWBD24a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/ClarkDWR24,
author = {Jack Clark and
Alastair F. Donaldson and
John Wickerson and
Manuel Rigger},
title = {Validating Database System Isolation Level Implementations with Version
Certificate Recovery},
booktitle = {Proceedings of the Nineteenth European Conference on Computer Systems,
EuroSys 2024, Athens, Greece, April 22-25, 2024},
pages = {754--768},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3627703.3650080},
doi = {10.1145/3627703.3650080},
timestamp = {Mon, 22 Apr 2024 09:14:39 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/ClarkDWR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KlimisCBNWD23,
author = {Vasileios Klimis and
Jack Clark and
Alan Baker and
David Neto and
John Wickerson and
Alastair F. Donaldson},
title = {Taking Back Control in an Intermediate Representation for {GPU} Computing},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {1740--1769},
year = {2023},
url = {https://doi.org/10.1145/3571253},
doi = {10.1145/3571253},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/KlimisCBNWD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ChengFWC23,
author = {Jianyi Cheng and
Est{\'{\i}}baliz Fraca and
John Wickerson and
George A. Constantinides},
title = {Balancing Static Islands in Dynamically Scheduled Circuits Using Continuous
Petri Nets},
journal = {{IEEE} Trans. Computers},
volume = {72},
number = {11},
pages = {3300--3313},
year = {2023},
url = {https://doi.org/10.1109/TC.2023.3292590},
doi = {10.1109/TC.2023.3292590},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/ChengFWC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trets/ChengJWC23,
author = {Jianyi Cheng and
Lana Josipovic and
John Wickerson and
George A. Constantinides},
title = {Parallelising Control Flow in Dynamic-scheduling High-level Synthesis},
journal = {{ACM} Trans. Reconfigurable Technol. Syst.},
volume = {16},
number = {4},
pages = {55:1--55:32},
year = {2023},
url = {https://doi.org/10.1145/3599973},
doi = {10.1145/3599973},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/trets/ChengJWC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/IorgaWD23,
author = {Dan Iorga and
John Wickerson and
Alastair F. Donaldson},
title = {Simulating Operational Memory Models Using Off-the-Shelf Program Analysis
Tools},
journal = {{IEEE} Trans. Software Eng.},
volume = {49},
number = {12},
pages = {5084--5102},
year = {2023},
url = {https://doi.org/10.1109/TSE.2023.3326056},
doi = {10.1109/TSE.2023.3326056},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/IorgaWD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-13828,
author = {Azalea Raad and
Ori Lahav and
John Wickerson and
Piotr Balcer and
Brijesh Dongol},
title = {Intel {PMDK} Transactions: Specification, Validation and Concurrency
(Extended Version)},
journal = {CoRR},
volume = {abs/2312.13828},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.13828},
doi = {10.48550/ARXIV.2312.13828},
eprinttype = {arXiv},
eprint = {2312.13828},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-13828.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/WindsorDW22,
author = {Matt Windsor and
Alastair F. Donaldson and
John Wickerson},
title = {High-coverage metamorphic testing of concurrency support in {C} compilers},
journal = {Softw. Test. Verification Reliab.},
volume = {32},
number = {4},
year = {2022},
url = {https://doi.org/10.1002/stvr.1812},
doi = {10.1002/STVR.1812},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/WindsorDW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ChengFCAWC22,
author = {Jianyi Cheng and
Shane T. Fleming and
Yu Ting Chen and
Jason Helge Anderson and
John Wickerson and
George A. Constantinides},
title = {Efficient Memory Arbitration in High-Level Synthesis From Multi-Threaded
Code},
journal = {{IEEE} Trans. Computers},
volume = {71},
number = {4},
pages = {933--946},
year = {2022},
url = {https://doi.org/10.1109/TC.2021.3066466},
doi = {10.1109/TC.2021.3066466},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/ChengFCAWC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/SittelFWZ22,
author = {Patrick Sittel and
Nicolai Fiege and
John Wickerson and
Peter Zipf},
title = {Optimal and Heuristic Approaches to Modulo Scheduling With Rational
Initiation Intervals in Hardware Synthesis},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {41},
number = {3},
pages = {614--627},
year = {2022},
url = {https://doi.org/10.1109/TCAD.2021.3060320},
doi = {10.1109/TCAD.2021.3060320},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/SittelFWZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ChengJCIW22,
author = {Jianyi Cheng and
Lana Josipovic and
George A. Constantinides and
Paolo Ienne and
John Wickerson},
title = {{DASS:} Combining Dynamic {\&} Static Scheduling in High-Level
Synthesis},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {41},
number = {3},
pages = {628--641},
year = {2022},
url = {https://doi.org/10.1109/TCAD.2021.3065902},
doi = {10.1109/TCAD.2021.3065902},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/ChengJCIW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/RamanathanCW22,
author = {Nadesh Ramanathan and
George A. Constantinides and
John Wickerson},
title = {A Case for Precise, Fine-Grained Pointer Synthesis in High-Level Synthesis},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {27},
number = {4},
pages = {30:1--30:26},
year = {2022},
url = {https://doi.org/10.1145/3491430},
doi = {10.1145/3491430},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/RamanathanCW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BilaDLRW22,
author = {Eleni Vafeiadi Bila and
Brijesh Dongol and
Ori Lahav and
Azalea Raad and
John Wickerson},
editor = {Ilya Sergey},
title = {View-Based Owicki-Gries Reasoning for Persistent x86-TSO},
booktitle = {Programming Languages and Systems - 31st European Symposium on Programming,
{ESOP} 2022, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7,
2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13240},
pages = {234--261},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99336-8\_9},
doi = {10.1007/978-3-030-99336-8\_9},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/BilaDLRW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fccm/ChengWC22,
author = {Jianyi Cheng and
John Wickerson and
George A. Constantinides},
title = {Dynamic C-Slow Pipelining for {HLS}},
booktitle = {30th {IEEE} Annual International Symposium on Field-Programmable Custom
Computing Machines, {FCCM} 2022, New York City, NY, USA, May 15-18,
2022},
pages = {1--10},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/FCCM53951.2022.9786096},
doi = {10.1109/FCCM53951.2022.9786096},
timestamp = {Mon, 13 Jun 2022 16:53:36 +0200},
biburl = {https://dblp.org/rec/conf/fccm/ChengWC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fccm/PardalosHW22,
author = {Michalis Pardalos and
Yann Herklotz and
John Wickerson},
title = {Resource Sharing for Verified High-Level Synthesis},
booktitle = {30th {IEEE} Annual International Symposium on Field-Programmable Custom
Computing Machines, {FCCM} 2022, New York City, NY, USA, May 15-18,
2022},
pages = {1--6},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/FCCM53951.2022.9786208},
doi = {10.1109/FCCM53951.2022.9786208},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fccm/PardalosHW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpga/ChengWC22,
author = {Jianyi Cheng and
John Wickerson and
George A. Constantinides},
editor = {Michael Adler and
Paolo Ienne},
title = {Finding and Finessing Static Islands in Dynamically Scheduled Circuits},
booktitle = {{FPGA} '22: The 2022 {ACM/SIGDA} International Symposium on Field-Programmable
Gate Arrays, Virtual Event, USA, 27 February 2022 - 1 March 2022},
pages = {89--100},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3490422.3502362},
doi = {10.1145/3490422.3502362},
timestamp = {Mon, 14 Feb 2022 10:33:28 +0100},
biburl = {https://dblp.org/rec/conf/fpga/ChengWC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/ChengJCW22,
author = {Jianyi Cheng and
Lana Josipovic and
George A. Constantinides and
John Wickerson},
title = {Dynamic Inter-Block Scheduling for {HLS}},
booktitle = {32nd International Conference on Field-Programmable Logic and Applications,
{FPL} 2022, Belfast, United Kingdom, August 29 - Sept. 2, 2022},
pages = {243--252},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/FPL57034.2022.00045},
doi = {10.1109/FPL57034.2022.00045},
timestamp = {Mon, 20 Feb 2023 17:38:16 +0100},
biburl = {https://dblp.org/rec/conf/fpl/ChengJCW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-05860,
author = {Eleni Vafeiadi Bila and
Brijesh Dongol and
Ori Lahav and
Azalea Raad and
John Wickerson},
title = {View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended
Version)},
journal = {CoRR},
volume = {abs/2201.05860},
year = {2022},
url = {https://arxiv.org/abs/2201.05860},
eprinttype = {arXiv},
eprint = {2201.05860},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-05860.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/HerklotzPRW21,
author = {Yann Herklotz and
James D. Pollard and
Nadesh Ramanathan and
John Wickerson},
title = {Formal verification of high-level synthesis},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--30},
year = {2021},
url = {https://doi.org/10.1145/3485494},
doi = {10.1145/3485494},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/HerklotzPRW21.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/tvlsi/RamanathanCW21,
author = {Nadesh Ramanathan and
George A. Constantinides and
John Wickerson},
title = {Global Analysis of {C} Concurrency in High-Level Synthesis},
journal = {{IEEE} Trans. Very Large Scale Integr. Syst.},
volume = {29},
number = {1},
pages = {24--37},
year = {2021},
url = {https://doi.org/10.1109/TVLSI.2020.3026112},
doi = {10.1109/TVLSI.2020.3026112},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tvlsi/RamanathanCW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fccm/ChengWC21,
author = {Jianyi Cheng and
John Wickerson and
George A. Constantinides},
title = {Probabilistic Scheduling in High-Level Synthesis},
booktitle = {29th {IEEE} Annual International Symposium on Field-Programmable Custom
Computing Machines, {FCCM} 2021, Orlando, FL, USA, May 9-12, 2021},
pages = {195--203},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/FCCM51124.2021.00031},
doi = {10.1109/FCCM51124.2021.00031},
timestamp = {Mon, 07 Jun 2021 17:13:01 +0200},
biburl = {https://dblp.org/rec/conf/fccm/ChengWC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fccm/HerklotzDRW21,
author = {Yann Herklotz and
Zewei Du and
Nadesh Ramanathan and
John Wickerson},
title = {An Empirical Study of the Reliability of High-Level Synthesis Tools},
booktitle = {29th {IEEE} Annual International Symposium on Field-Programmable Custom
Computing Machines, {FCCM} 2021, Orlando, FL, USA, May 9-12, 2021},
pages = {219--223},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/FCCM51124.2021.00034},
doi = {10.1109/FCCM51124.2021.00034},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fccm/HerklotzDRW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpga/ChengWC21,
author = {Jianyi Cheng and
John Wickerson and
George A. Constantinides},
editor = {Lesley Shannon and
Michael Adler},
title = {Probabilistic Optimization for High-Level Synthesis},
booktitle = {{FPGA} '21: The 2021 {ACM/SIGDA} International Symposium on Field
Programmable Gate Arrays, Virtual Event, USA, February 28 - March
2, 2021},
pages = {145},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3431920.3439455},
doi = {10.1145/3431920.3439455},
timestamp = {Wed, 24 Feb 2021 15:58:34 +0100},
biburl = {https://dblp.org/rec/conf/fpga/ChengWC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpga/DuHRW21,
author = {Zewei Du and
Yann Herklotz and
Nadesh Ramanathan and
John Wickerson},
editor = {Lesley Shannon and
Michael Adler},
title = {Fuzzing High-Level Synthesis Tools},
booktitle = {{FPGA} '21: The 2021 {ACM/SIGDA} International Symposium on Field
Programmable Gate Arrays, Virtual Event, USA, February 28 - March
2, 2021},
pages = {148},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3431920.3439466},
doi = {10.1145/3431920.3439466},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpga/DuHRW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/ChengWC21,
author = {Jianyi Cheng and
John Wickerson and
George A. Constantinides},
title = {Exploiting the Correlation between Dependence Distance and Latency
in Loop Pipelining for {HLS}},
booktitle = {31st International Conference on Field-Programmable Logic and Applications,
{FPL} 2021, Dresden, Germany, August 30 - Sept. 3, 2021},
pages = {341--346},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/FPL53798.2021.00066},
doi = {10.1109/FPL53798.2021.00066},
timestamp = {Mon, 18 Oct 2021 17:08:51 +0200},
biburl = {https://dblp.org/rec/conf/fpl/ChengWC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse-met/LascuWDGW21,
author = {Andrei Lascu and
Matt Windsor and
Alastair F. Donaldson and
Tobias Grosser and
John Wickerson},
title = {Dreaming up Metamorphic Relations: Experiences from Three Fuzzer Tools},
booktitle = {6th {IEEE/ACM} International Workshop on Metamorphic Testing, MET@ICSE
2021, Madrid, Spain, June 2, 2021},
pages = {61--68},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MET52542.2021.00017},
doi = {10.1109/MET52542.2021.00017},
timestamp = {Tue, 03 Aug 2021 16:04:07 +0200},
biburl = {https://dblp.org/rec/conf/icse-met/LascuWDGW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WindsorDW21,
author = {Matt Windsor and
Alastair F. Donaldson and
John Wickerson},
editor = {Cristian Cadar and
Xiangyu Zhang},
title = {{C4:} the {C} compiler concurrency checker},
booktitle = {{ISSTA} '21: 30th {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021},
pages = {670--673},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460319.3469079},
doi = {10.1145/3460319.3469079},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/WindsorDW21.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/RaadWNV20,
author = {Azalea Raad and
John Wickerson and
Gil Neiger and
Viktor Vafeiadis},
title = {Persistency semantics of the Intel-x86 architecture},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {11:1--11:31},
year = {2020},
url = {https://doi.org/10.1145/3371079},
doi = {10.1145/3371079},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/RaadWNV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvlsi/LiDWC20,
author = {He Li and
James J. Davis and
John Wickerson and
George A. Constantinides},
title = {architect: Arbitrary-Precision Hardware With Digit Elision for Efficient
Iterative Compute},
journal = {{IEEE} Trans. Very Large Scale Integr. Syst.},
volume = {28},
number = {2},
pages = {516--529},
year = {2020},
url = {https://doi.org/10.1109/TVLSI.2019.2945257},
doi = {10.1109/TVLSI.2019.2945257},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tvlsi/LiDWC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/SittelWKZ20,
author = {Patrick Sittel and
John Wickerson and
Martin Kumm and
Peter Zipf},
title = {Modulo Scheduling with Rational Initiation Intervals in Custom Hardware
Design},
booktitle = {25th Asia and South Pacific Design Automation Conference, {ASP-DAC}
2020, Beijing, China, January 13-16, 2020},
pages = {568--573},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ASP-DAC47756.2020.9045616},
doi = {10.1109/ASP-DAC47756.2020.9045616},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/SittelWKZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BrotherstonCHW20,
author = {James Brotherston and
Diana Costa and
Aquinas Hobor and
John Wickerson},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Reasoning over Permissions Regions in Concurrent Separation Logic},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12225},
pages = {203--224},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53291-8\_13},
doi = {10.1007/978-3-030-53291-8\_13},
timestamp = {Tue, 06 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BrotherstonCHW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpga/HerklotzW20,
author = {Yann Herklotz and
John Wickerson},
editor = {Stephen Neuendorffer and
Lesley Shannon},
title = {Finding and Understanding Bugs in {FPGA} Synthesis Tools},
booktitle = {{FPGA} '20: The 2020 {ACM/SIGDA} International Symposium on Field-Programmable
Gate Arrays, Seaside, CA, USA, February 23-25, 2020},
pages = {277--287},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373087.3375310},
doi = {10.1145/3373087.3375310},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpga/HerklotzW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpga/ChengJCIW20,
author = {Jianyi Cheng and
Lana Josipovic and
George A. Constantinides and
Paolo Ienne and
John Wickerson},
editor = {Stephen Neuendorffer and
Lesley Shannon},
title = {Combining Dynamic {\&} Static Scheduling in High-level Synthesis},
booktitle = {{FPGA} '20: The 2020 {ACM/SIGDA} International Symposium on Field-Programmable
Gate Arrays, Seaside, CA, USA, February 23-25, 2020},
pages = {288--298},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373087.3375297},
doi = {10.1145/3373087.3375297},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpga/ChengJCIW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/RamanathanCW20,
author = {Nadesh Ramanathan and
George A. Constantinides and
John Wickerson},
editor = {Nele Mentens and
Leonel Sousa and
Pedro Trancoso and
Miquel Peric{\`{a}}s and
Ioannis Sourdis},
title = {Precise Pointer Analysis in High-Level Synthesis},
booktitle = {30th International Conference on Field-Programmable Logic and Applications,
{FPL} 2020, Gothenburg, Sweden, August 31 - September 4, 2020},
pages = {220--224},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/FPL50879.2020.00044},
doi = {10.1109/FPL50879.2020.00044},
timestamp = {Sat, 17 Oct 2020 18:27:59 +0200},
biburl = {https://dblp.org/rec/conf/fpl/RamanathanCW20.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/pacmpl/RaadWV19,
author = {Azalea Raad and
John Wickerson and
Viktor Vafeiadis},
title = {Weak persistency semantics from the ground up: formalising the persistency
semantics of ARMv8 and transactional models},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {135:1--135:27},
year = {2019},
url = {https://doi.org/10.1145/3360561},
doi = {10.1145/3360561},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/RaadWV19.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}
}
@article{DBLP:journals/corr/abs-1910-00271,
author = {He Li and
James J. Davis and
John Wickerson and
George A. Constantinides},
title = {{ARCHITECT:} Arbitrary-precision Hardware with Digit Elision for Efficient
Iterative Compute},
journal = {CoRR},
volume = {abs/1910.00271},
year = {2019},
url = {http://arxiv.org/abs/1910.00271},
eprinttype = {arXiv},
eprint = {1910.00271},
timestamp = {Fri, 11 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-00271.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/RamanathanWC18,
author = {Nadesh Ramanathan and
John Wickerson and
George A. Constantinides},
title = {Scheduling Weakly Consistent {C} Concurrency for Reconfigurable Hardware},
journal = {{IEEE} Trans. Computers},
volume = {67},
number = {7},
pages = {992--1006},
year = {2018},
url = {https://doi.org/10.1109/TC.2017.2786249},
doi = {10.1109/TC.2017.2786249},
timestamp = {Tue, 10 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/RamanathanWC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/LiuWBC18,
author = {Junyi Liu and
John Wickerson and
Samuel Bayliss and
George A. Constantinides},
title = {Polyhedral-Based Dynamic Loop Pipelining for High-Level Synthesis},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {37},
number = {9},
pages = {1802--1815},
year = {2018},
url = {https://doi.org/10.1109/TCAD.2017.2783363},
doi = {10.1109/TCAD.2017.2783363},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/LiuWBC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/LiDWC18,
author = {He Li and
James J. Davis and
John Wickerson and
George A. Constantinides},
title = {Digit Elision for Arbitrary-accuracy Iterative Computation},
booktitle = {25th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2018, Amherst,
MA, USA, June 25-27, 2018},
pages = {107--114},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ARITH.2018.8464691},
doi = {10.1109/ARITH.2018.8464691},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/arith/LiDWC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fccm/RamanathanCW18,
author = {Nadesh Ramanathan and
George A. Constantinides and
John Wickerson},
title = {Concurrency-Aware Thread Scheduling for High-Level Synthesis},
booktitle = {26th {IEEE} Annual International Symposium on Field-Programmable Custom
Computing Machines, {FCCM} 2018, Boulder, CO, USA, April 29 - May
1, 2018},
pages = {101--108},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/FCCM.2018.00025},
doi = {10.1109/FCCM.2018.00025},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fccm/RamanathanCW18.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}
}
@inproceedings{DBLP:conf/acssc/LiuWBC17,
author = {Junyi Liu and
John Wickerson and
Samuel Bayliss and
George A. Constantinides},
editor = {Michael B. Matthews},
title = {Run fast when you can: Loop pipelining with uncertain and non-uniform
memory dependencies},
booktitle = {51st Asilomar Conference on Signals, Systems, and Computers, {ACSSC}
2017, Pacific Grove, CA, USA, October 29 - November 1, 2017},
pages = {126--130},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ACSSC.2017.8335151},
doi = {10.1109/ACSSC.2017.8335151},
timestamp = {Mon, 09 Aug 2021 14:54:04 +0200},
biburl = {https://dblp.org/rec/conf/acssc/LiuWBC17.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/fpga/RamanathanFWC17,
author = {Nadesh Ramanathan and
Shane T. Fleming and
John Wickerson and
George A. Constantinides},
editor = {Jonathan W. Greene and
Jason Helge Anderson},
title = {Hardware Synthesis of Weakly Consistent {C} Concurrency},
booktitle = {Proceedings of the 2017 {ACM/SIGDA} International Symposium on Field-Programmable
Gate Arrays, {FPGA} 2017, Monterey, CA, USA, February 22-24, 2017},
pages = {169--178},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3021733},
timestamp = {Tue, 06 Nov 2018 16:58:22 +0100},
biburl = {https://dblp.org/rec/conf/fpga/RamanathanFWC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/LiuWC17,
author = {Junyi Liu and
John Wickerson and
George A. Constantinides},
editor = {Marco D. Santambrogio and
Diana G{\"{o}}hringer and
Dirk Stroobandt and
Nele Mentens and
Jari Nurmi},
title = {Tile size selection for optimized memory reuse in high-level synthesis},
booktitle = {27th International Conference on Field Programmable Logic and Applications,
{FPL} 2017, Ghent, Belgium, September 4-8, 2017},
pages = {1--8},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FPL.2017.8056810},
doi = {10.23919/FPL.2017.8056810},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpl/LiuWC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpt/LiDWC17,
author = {He Li and
James J. Davis and
John Wickerson and
George A. Constantinides},
title = {architect: Arbitrary-precision constant-hardware iterative compute},
booktitle = {International Conference on Field Programmable Technology, {FPT} 2017,
Melbourne, Australia, December 11-13, 2017},
pages = {73--79},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/FPT.2017.8280123},
doi = {10.1109/FPT.2017.8280123},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpt/LiDWC17.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}
}
@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/fccm/LiuWC16,
author = {Junyi Liu and
John Wickerson and
George A. Constantinides},
title = {Loop Splitting for Efficient Pipelining in High-Level Synthesis},
booktitle = {24th {IEEE} Annual International Symposium on Field-Programmable Custom
Computing Machines, {FCCM} 2016, Washington, DC, USA, May 1-3, 2016},
pages = {72--79},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/FCCM.2016.27},
doi = {10.1109/FCCM.2016.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fccm/LiuWC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpga/RamanathanWWC16,
author = {Nadesh Ramanathan and
John Wickerson and
Felix Winterstein and
George A. Constantinides},
editor = {Deming Chen and
Jonathan W. Greene},
title = {A Case for Work-stealing on FPGAs with OpenCL Atomics},
booktitle = {Proceedings of the 2016 {ACM/SIGDA} International Symposium on Field-Programmable
Gate Arrays, Monterey, CA, USA, February 21-23, 2016},
pages = {48--53},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2847263.2847343},
doi = {10.1145/2847263.2847343},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpga/RamanathanWWC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpga/GaoWC16,
author = {Xitong Gao and
John Wickerson and
George A. Constantinides},
editor = {Deming Chen and
Jonathan W. Greene},
title = {Automatically Optimizing the Latency, Area, and Accuracy of {C} Programs
for High-Level Synthesis},
booktitle = {Proceedings of the 2016 {ACM/SIGDA} International Symposium on Field-Programmable
Gate Arrays, Monterey, CA, USA, February 21-23, 2016},
pages = {234--243},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2847263.2847282},
doi = {10.1145/2847263.2847282},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpga/GaoWC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpt/ZhaoWC16,
author = {Yiren Zhao and
John Wickerson and
George A. Constantinides},
editor = {Yuchen Song and
Shaojun Wang and
Brent Nelson and
Junbao Li and
Yu Peng},
title = {An efficient implementation of online arithmetic},
booktitle = {2016 International Conference on Field-Programmable Technology, {FPT}
2016, Xi'an, China, December 7-9, 2016},
pages = {69--76},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/FPT.2016.7929191},
doi = {10.1109/FPT.2016.7929191},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/fpt/ZhaoWC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipc/PicciauIWKC16,
author = {Andrea Picciau and
Gordon E. Inggs and
John Wickerson and
Eric C. Kerrigan and
George A. Constantinides},
title = {Balancing Locality and Concurrency: Solving Sparse Triangular Systems
on GPUs},
booktitle = {23rd {IEEE} International Conference on High Performance Computing,
HiPC 2016, Hyderabad, India, December 19-22, 2016},
pages = {183--192},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HiPC.2016.030},
doi = {10.1109/HIPC.2016.030},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hipc/PicciauIWKC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BattyDW16,
author = {Mark Batty and
Alastair F. Donaldson and
John Wickerson},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Overhauling {SC} atomics in {C11} and OpenCL},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {634--648},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837637},
doi = {10.1145/2837614.2837637},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/BattyDW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BettsCDKQTW15,
author = {Adam Betts and
Nathan Chong and
Alastair F. Donaldson and
Jeroen Ketema and
Shaz Qadeer and
Paul Thomson and
John Wickerson},
title = {The Design and Implementation of a Verification Technique for {GPU}
Kernels},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {37},
number = {3},
pages = {10:1--10:49},
year = {2015},
url = {https://doi.org/10.1145/2743017},
doi = {10.1145/2743017},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BettsCDKQTW15.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}
}
@inproceedings{DBLP:conf/fpt/WintersteinFYWC15,
author = {Felix Winterstein and
Kermin Fleming and
Hsin{-}Jung Yang and
John Wickerson and
George A. Constantinides},
title = {Custom-sized caches in application-specific memory hierarchies},
booktitle = {2015 International Conference on Field Programmable Technology, {FPT}
2015, Queenstown, New Zealand, December 7-9, 2015},
pages = {144--151},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/FPT.2015.7393141},
doi = {10.1109/FPT.2015.7393141},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpt/WintersteinFYWC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/WickersonBBD15,
author = {John Wickerson and
Mark Batty and
Bradford M. Beckmann and
Alastair F. Donaldson},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Remote-scope promotion: clarified, rectified, and verified},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {731--747},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814283},
doi = {10.1145/2814270.2814283},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/WickersonBBD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WickersonB15,
author = {John Wickerson and
Mark Batty},
title = {Taming the complexities of the {C11} and OpenCL memory models},
journal = {CoRR},
volume = {abs/1503.07073},
year = {2015},
url = {http://arxiv.org/abs/1503.07073},
eprinttype = {arXiv},
eprint = {1503.07073},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WickersonB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Wickerson14,
author = {John Wickerson},
title = {Syntax and semantics of a {GPU} kernel programming language},
journal = {Arch. Formal Proofs},
volume = {2014},
year = {2014},
url = {https://www.isa-afp.org/entries/GPU\_Kernel\_PL.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/Wickerson14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwocl/BardsleyDW14,
author = {Ethel Bardsley and
Alastair F. Donaldson and
John Wickerson},
editor = {Simon McIntosh{-}Smith and
Ben Bergen},
title = {KernelInterceptor: automating {GPU} kernel verification by intercepting
kernels and their parameters},
booktitle = {Proceedings of the International Workshop on OpenCL, {IWOCL} 2013
{\&} 2014, May 13-14, 2013, Georgia Tech, Atlanta, GA, {USA} /
Bristol, UK, May 12-13, 2014},
pages = {7:1--7:5},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2664666.2664673},
doi = {10.1145/2664666.2664673},
timestamp = {Mon, 21 Dec 2020 16:56:10 +0100},
biburl = {https://dblp.org/rec/conf/iwocl/BardsleyDW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Wickerson13,
author = {John Wickerson},
title = {Concurrent verification for sequential programs},
school = {University of Cambridge, {UK}},
year = {2013},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.648403},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Wickerson13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Wickerson13,
author = {John Wickerson},
title = {Ribbon Proofs},
journal = {Arch. Formal Proofs},
volume = {2013},
year = {2013},
url = {https://www.isa-afp.org/entries/Ribbon\_Proofs.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/Wickerson13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/WickersonDP13,
author = {John Wickerson and
Mike Dodds and
Matthew J. Parkinson},
editor = {Matthias Felleisen and
Philippa Gardner},
title = {Ribbon Proofs for Separation Logic},
booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming,
{ESOP} 2013, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7792},
pages = {189--208},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37036-6\_12},
doi = {10.1007/978-3-642-37036-6\_12},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/WickersonDP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/HoareW11,
author = {Tony Hoare and
John Wickerson},
editor = {Manfred Broy and
Christian Leuxner and
Tony Hoare},
title = {Unifying Models of Data Flow},
booktitle = {Software and Systems Safety - Specification and Verification},
series = {{NATO} Science for Peace and Security Series - {D:} Information and
Communication Security},
volume = {30},
pages = {211--230},
publisher = {{IOS} Press},
year = {2011},
url = {https://doi.org/10.3233/978-1-60750-711-6-211},
doi = {10.3233/978-1-60750-711-6-211},
timestamp = {Tue, 16 May 2017 14:24:21 +0200},
biburl = {https://dblp.org/rec/series/natosec/HoareW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/WickersonDP10,
author = {John Wickerson and
Mike Dodds and
Matthew J. Parkinson},
editor = {Andrew D. Gordon},
title = {Explicit Stabilisation for Modular Rely-Guarantee Reasoning},
booktitle = {Programming Languages and Systems, 19th European Symposium on Programming,
{ESOP} 2010, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6012},
pages = {610--629},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11957-6\_32},
doi = {10.1007/978-3-642-11957-6\_32},
timestamp = {Mon, 14 Feb 2022 09:20:30 +0100},
biburl = {https://dblp.org/rec/conf/esop/WickersonDP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
