A. Reid
发表
Alastair David Reid,
A. Reid,
2016,
2016 Formal Methods in Computer-Aided Design (FMCAD).
A. Reid,
Rick Chen,
Anastasios Deligiannis,
2016
.
Rick Chen,
Anastasios Deligiannis,
Alastair David Reid,
2016,
CAV.
P. Hudak,
A. Reid,
kingJohn Peterson,
2001
.
Simon Peyton Jones,
Thomas Nordin,
Alastair Reid,
1997
.
John Regehr,
Kirk Webb,
Alastair David Reid,
2003,
TECS.
Manuel M. T. Chakravarty,
Daan Leijen,
Fergus Henderson,
2003
.
Wilson C. Hsieh,
J. Alex McCorquodale,
Joseph L. Zachary,
1999
.
J. Lepreau,
J. Regehr,
E. Eide,
2002,
Proceedings of the 24th International Conference on Software Engineering. ICSE 2002.
Paul Hudak,
F. Warren Burton,
Philip Wadler,
1997
.
A. Reid,
2008
.
Paul Walker,
Alejandro Rico,
Grigorios Magklis,
2017,
IEEE Micro.
John Regehr,
Nathan Cooprider,
Alastair Reid,
2004
.
Simon L. Peyton Jones,
C. A. R. Hoare,
Simon Marlow,
1999,
PLDI '99.
Scott A. Mahlke,
Krisztián Flautner,
Chaitali Chakrabarti,
2008,
2008 41st IEEE/ACM International Symposium on Microarchitecture.
Trevor Mudge,
Yuan Lin,
Alastair Reid,
2006
.
Eric Eide,
Matthew Flatt,
Leigh Stoller,
2000,
OSDI.
John Regehr,
Jay Lepreau,
Kirk Webb,
2003,
RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.
Luke Church,
Maritza Johnson,
Alastair Reid,
2020,
ArXiv.
John Regehr,
Jay Lepreau,
Kirk Webb,
2002
.
John Regehr,
Jay Lepreau,
Alastair Reid,
2002
.
Robert M. Norton,
Brian Campbell,
Ian Stark,
2019,
Proc. ACM Program. Lang..