John Wickerson
发表
George A. Constantinides,
Felix Winterstein,
Kermin Fleming,
2015,
2015 International Conference on Field Programmable Technology (FPT).
John Wickerson,
2014,
Arch. Formal Proofs.
John Wickerson,
Ethel Bardsley,
Alastair F. Donaldson,
2014,
IWOCL '14.
Matthew J. Parkinson,
John Wickerson,
Mike Dodds,
1969,
CACM.
John Wickerson,
2013,
Arch. Formal Proofs.
George A. Constantinides,
John Wickerson,
Nadesh Ramanathan,
2018,
2018 IEEE 26th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM).
Xitong Gao,
George A. Constantinides,
John Wickerson,
2016,
FPGA.
John Wickerson,
Alastair F. Donaldson,
Tyler Sorensen,
2017,
CONCUR 2017.
John Wickerson,
Adam Betts,
Alastair F. Donaldson,
2015,
TOPL.
Viktor Vafeiadis,
Gil Neiger,
John Wickerson,
2019,
Proc. ACM Program. Lang..
Eric C. Kerrigan,
George A. Constantinides,
John Wickerson,
2016,
2016 IEEE 23rd International Conference on High Performance Computing (HiPC).
John Wickerson,
Alastair F. Donaldson,
Tyler Sorensen,
2017,
CONCUR.
Ganesh Gopalakrishnan,
Jade Alglave,
John Wickerson,
2015,
ASPLOS.
George A. Constantinides,
John Wickerson,
Nadesh Ramanathan,
2017,
FPGA.
C. A. R. Hoare,
John Wickerson,
2011,
Software and Systems Safety - Specification and Verification.
George A. Constantinides,
John Wickerson,
Nadesh Ramanathan,
2020,
2020 30th International Conference on Field-Programmable Logic and Applications (FPL).
John Wickerson,
Yann Herklotz,
John Wickerson,
2020,
FPGA.
Yiren Zhao,
George A. Constantinides,
John Wickerson,
2016,
2016 International Conference on Field-Programmable Technology (FPT).
He Li,
James J. Davis,
George A. Constantinides,
2018,
2018 IEEE 25th Symposium on Computer Arithmetic (ARITH).
Paolo Ienne,
John Wickerson,
Lana Josipovic,
2020,
FPGA.
James J. Davis,
George A. Constantinides,
John Wickerson,
2019,
IEEE Transactions on Very Large Scale Integration (VLSI) Systems.
John Wickerson,
Tyler Sorensen,
Nathan Chong,
2017,
PLDI.
George A. Constantinides,
John Wickerson,
Tyler Sorensen,
2017,
POPL.
James Brotherston,
Aquinas Hobor,
John Wickerson,
2020,
CAV.
He Li,
James J. Davis,
George A. Constantinides,
2017,
2017 International Conference on Field Programmable Technology (ICFPT).
John Wickerson,
Alastair F. Donaldson,
Mark Batty,
2016,
POPL.
George A. Constantinides,
John Wickerson,
Nadesh Ramanathan,
2018,
IEEE Transactions on Computers.
George A. Constantinides,
Samuel Bayliss,
Junyi Liu,
2018,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Viktor Vafeiadis,
John Wickerson,
Azalea Raad,
2019,
Proc. ACM Program. Lang..
Matthew J. Parkinson,
John Wickerson,
Mike Dodds,
2010,
ESOP.
George A. Constantinides,
Junyi Liu,
John Wickerson,
2016,
2016 IEEE 24th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM).
George A. Constantinides,
Samuel Bayliss,
Junyi Liu,
2017,
2017 51st Asilomar Conference on Signals, Systems, and Computers.
John Wickerson,
Alastair F. Donaldson,
Bradford M. Beckmann,
2015,
OOPSLA.
George A. Constantinides,
Felix Winterstein,
John Wickerson,
2016,
FPGA.
John Wickerson,
Alastair F. Donaldson,
Dan Iorga,
2020,
2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).
John Wickerson,
John Wickerson,
2013
.
John Wickerson,
Mark Batty,
2015,
ArXiv.
George A. Constantinides,
John Wickerson,
Nadesh Ramanathan,
2020
.
Peter Zipf,
Martin Kumm,
John Wickerson,
2020,
2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC).
George A. Constantinides,
Junyi Liu,
John Wickerson,
2017,
2017 27th International Conference on Field Programmable Logic and Applications (FPL).
George A. Constantinides,
John Wickerson,
2019
.
John Wickerson,
Alastair F. Donaldson,
Tyler Sorensen,
2021,
Proc. ACM Program. Lang..
Ori Lahav,
Brijesh Dongol,
John Wickerson,
2022,
ArXiv.
John Wickerson,
Alastair F. Donaldson,
Tobias Grosser,
2021,
2021 IEEE/ACM 6th International Workshop on Metamorphic Testing (MET).
John Wickerson,
Alastair F. Donaldson,
Matt Windsor,
2021,
ISSTA.
George A. Constantinides,
John Wickerson,
Jianyi Cheng,
2021,
FPGA.
George A. Constantinides,
John Wickerson,
Shane T. Fleming,
2022,
IEEE Transactions on Computers.
George A. Constantinides,
John Wickerson,
Jianyi Cheng,
2021,
2021 31st International Conference on Field-Programmable Logic and Applications (FPL).
George A. Constantinides,
John Wickerson,
Jianyi Cheng,
2021,
2021 IEEE 29th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM).
Peter Zipf,
John Wickerson,
Patrick Sittel,
2021
.
Paolo Ienne,
George A. Constantinides,
John Wickerson,
2021,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Margaret Martonosi,
John Wickerson,
Alastair F. Donaldson,
2021,
Proc. ACM Program. Lang..
John Wickerson,
Nadesh Ramanathan,
Yann Herklotz,
2021,
Proc. ACM Program. Lang..
John Wickerson,
Nadesh Ramanathan,
Yann Herklotz,
2021,
FPGA.
John Wickerson,
Nadesh Ramanathan,
Yann Herklotz,
2021,
2021 IEEE 29th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM).