M. Lillibridge
发表
M. Lillibridge,
1997
.
Mark Lillibridge,
Feng Qin,
Joseph Tucek,
2016,
ACM Trans. Comput. Syst..
Mark Lillibridge,
Kave Eshghi,
Deepavali Bhagwat,
2013,
FAST.
R. Lukose,
M. Lillibridge,
2006
.
Michael Burrows,
Marcos K. Aguilera,
Mark Lillibridge,
2022
.
Mark Lillibridge,
K. Rustan M. Leino,
Raymie Stata,
2013,
SIGP.
J. Saxe,
C. Flanagan,
K. Leino,
2002,
PLDI '02.
Mark Lillibridge,
Vinay Deolalikar,
M. Lillibridge,
2008
.
R. Harper,
M. Lillibridge,
2003
.
Mark Lillibridge,
M. Lillibridge,
Mark Lillibridge,
1999,
High. Order Symb. Comput..
Mark Lillibridge,
Robert Harper,
R. Harper,
1994,
POPL '94.
Michael Burrows,
Michael Isard,
Mark Lillibridge,
2003,
USENIX Annual Technical Conference, General Track.
Mark Lillibridge,
Darrell D. E. Long,
Kave Eshghi,
2009,
2009 IEEE International Symposium on Modeling, Analysis & Simulation of Computer and Telecommunication Systems.
Mark Lillibridge,
Rycharde Hawkes,
Lawrence Wilcock,
2007,
FAST.
Mark Lillibridge,
Feng Qin,
Joseph Tucek,
2013,
FAST.