K. Mackenzie
发表
Robert Grimm,
Dawson R. Engler,
David Mazières,
1997,
SOSP.
Victor Lee,
Larry Rudolph,
Matthew I. Frank,
1997,
JSSPP.
J. Kubiatowicz,
R. Bianchini,
K. Mackenzie,
1995,
Proceedings 22nd Annual International Symposium on Computer Architecture.
Kirk L. Johnson,
J. Kubiatowicz,
F. Chong,
1999,
Proc. IEEE.
Weidong Shi,
Kenneth M. Mackenzie,
Ivan B. Ganev,
2003
.
Stephen Gilmore,
Hans-Wolfgang Loidl,
Donald Sannella,
2007
.
K. Mackenzie,
R. Atkey,
Christopher Paton,
2007
.
D. Aspinall,
S. Gilmore,
M. Hofmann,
2005
.
J. Kubiatowicz,
R. Bianchini,
K. Mackenzie,
1995
.
Martin Hofmann,
Stephen Gilmore,
Kenneth MacKenzie,
2005,
Trends in Functional Programming.
Ricardo Bianchini,
Anant Agarwal,
David Chaiken,
1995,
Proceedings 22nd Annual International Symposium on Computer Architecture.
Stephen Gilmore,
Hans-Wolfgang Loidl,
Donald Sannella,
2005
.
Kenneth MacKenzie,
Hans-Wolfgang Loidl,
Lennart Beringer,
2009,
2009 Fourth Latin-American Symposium on Dependable Computing.
Donald Yeung,
Ricardo Bianchini,
Anant Agarwal,
1999,
Proc. IEEE.
Kenneth MacKenzie,
Damon Fenacci,
K. Mackenzie,
2011,
Bytecode@ETAPS.
Victor Lee,
Anant Agarwal,
John Kubiatowicz,
1998,
Proceedings 1998 Fourth International Symposium on High-Performance Computer Architecture.
Kenneth M. Mackenzie,
K. Mackenzie,
1998
.
Donald Yeung,
Ricardo Bianchini,
Anant Agarwal,
1995,
ISCA '98.
Manuel M. T. Chakravarty,
James Chapman,
Kenneth MacKenzie,
2020,
Financial Cryptography Workshops.
Philip Wadler,
Manuel M. T. Chakravarty,
Orestis Melkonian,
2020
.
Adam Johnson,
Kenneth Mackenzie,
K. Mackenzie,
2001,
CASES '01.
Adam Johnson,
Kenneth Mackenzie,
K. Mackenzie,
2001,
The 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM'01).
Kenneth MacKenzie,
David Aspinall,
K. Mackenzie,
2005,
CASSIS.
Umakishore Ramachandran,
Nissim Harel,
Bikash Agarwalla,
2003,
2003 IEEE International Symposium on Performance Analysis of Systems and Software. ISPASS 2003..
Nissim Harel,
Arnab Paul,
Sameer Adhikari,
2002
.
Anant Agarwal,
John Kubiatowicz,
K. Mackenzie,
1994
.
Huiqing Li,
Simon J. Thompson,
Kenneth MacKenzie,
2017,
1704.07234.
K. Mackenzie,
S. Thompson,
Stephen Adams,
2017,
ACM Trans. Program. Lang. Syst..
Joshua B. Fryman,
Kenneth M. Mackenzie,
Chad Huneycutt,
2002,
Proceedings International Conference on Parallel Processing.
Adam D. Barwell,
Christopher Brown,
Vladimir Janjic,
2020,
International Journal of Parallel Programming.
Robert Atkey,
Kenneth MacKenzie,
Donald Sannella,
2010,
TGC.
D. Sannella,
K. Mackenzie,
R. Atkey,
2008
.