M. Lillibridge

发表

Mark Lillibridge, Feng Qin, Joseph Tucek, 2016, ACM Trans. Comput. Syst..

Mark Lillibridge, Kave Eshghi, Deepavali Bhagwat, 2013, FAST.

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 .

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, Feng Qin, Joseph Tucek, 2013, FAST.