Yuan Yu
发表
Leslie Lamport,
Serdar Tasiran,
Mark R. Tuttle,
2003,
Formal Methods Syst. Des..
Yuan Yu,
M. Isard,
Yuan Yu,
2007,
EuroSys '07.
Michael Isard,
Úlfar Erlingsson,
Mihai Budiu,
2008,
OSDI.
Jean-Philippe Martin,
Yuan Yu,
Christopher J. Rossbach,
2013,
SOSP.
Zhengping Qian,
Zheng Zhang,
Thomas Moscibroda,
2012,
EuroSys '12.
Michael Isard,
Yuan Yu,
Pradeep Kumar Gunda,
2009,
SOSP '09.
Martín Abadi,
Michael Isard,
Derek Gordon Murray,
2018,
EuroSys.
Lenin Ravindranath,
Li Zhuang,
Chandramohan A. Thekkath,
2010,
OSDI.
Michael Isard,
Yuan Yu,
Yuan Yu,
2009,
SIGMOD Conference.
Allan Heydon,
Yuan Yu,
Roy Levin,
2000,
PLDI '00.
Zhengping Qian,
Zheng Zhang,
Taizhi Zhang,
2013,
EuroSys '13.
Andy Davis,
Geoffrey Irving,
Dandelion Mané,
2017
.
Leslie Lamport,
Damien Doligez,
Mark R. Tuttle,
2016
.
Michael Isard,
Ion Stoica,
Andy Konwinski,
2014
.
Allan Heydon,
Yuan Yu,
Roy Levin,
1998
.
Allan Heydon,
Yuan Yu,
Roy Levin,
2004
.
Yao Zhao,
Fang Yu,
Yinglian Xie,
2009,
NSDI.
Michael Isard,
Derek Gordon Murray,
Yuan Yu,
2011,
PLDI '11.
Karsten Schwan,
Naila Farooqui,
Yuan Yu,
2014,
TRIOS.
Leslie Lamport,
Panagiotis Manolios,
Yuan Yu,
1999,
CHARME.
Wei Chen,
Yuan Yu,
T. Rodeheffer,
2005,
SOSP '05.
Junfeng Yang,
Zhendong Su,
Mark Gabel,
2010,
OOPSLA.
Leslie Lamport,
Mark R. Tuttle,
John Matthews,
2002,
EW 10.
Yuan Yu,
M. Isard,
M. Budiu,
2008,
OSDI.
Serdar Tasiran,
Yuan Yu,
Brannon Batson,
2004,
IEEE Design & Test of Computers.
Serdar Tasiran,
Yuan Yu,
Brannon Batson,
2003,
Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
Yuan Yu,
Dennis Fetterly,
C. Rossbach,
2013,
SOSP.
Naila Farooqui,
Yuan Yu,
Christopher J. Rossbach,
2014
.
Yuan Yu,
Qifa Ke,
Yinglian Xie,
2009,
NSDI.
Michael Isard,
Yuan Yu,
Qifa Ke,
2013,
EuroSys '13.
Junfeng Yang,
Jingyue Wu,
Yinglian Xie,
2011,
HotOS.
Leslie Lamport,
Damien Doligez,
Mark R. Tuttle,
1999,
World Congress on Formal Methods.