Yuan Yu

	2009
17		Michael Isard, Yuan Yu: Distributed data-parallel computing using a high-level programming language. SIGMOD Conference 2009: 987-994
16		Yuan Yu, Pradeep Kumar Gunda, Michael Isard: Distributed aggregation for data-parallel computing: interfaces and implementations. SOSP 2009: 247-260
	2008
15		Yuan Yu, Yi Huang, Bin Zhao, Yingbo Hua: Throughput analysis of wireless mesh networks. ICASSP 2008: 3009-3012
14		Yuan Yu, Michael Isard, Dennis Fetterly, Mihai Budiu, Úlfar Erlingsson, Pradeep Kumar Gunda, Jon Currey: DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language. OSDI 2008: 1-14
	2007
13		Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, Dennis Fetterly: Dryad: distributed data-parallel programs from sequential building blocks. EuroSys 2007: 59-72
12		Chuanfu Chen, Qiong Tang, Yuan Yu, Zhiqiang Wu, Xuan Huang, Song Chen, Haiying Hua, Congjing Ran, Mojun Li: An Assessment of the Currency of Free Science Information on the Web. WISE Workshops 2007: 493-504
	2005
11		Yuan Yu, Tom Rodeheffer, Wei Chen: RaceTrack: efficient detection of data race conditions via adaptive tracking. SOSP 2005: 221-234
	2004
10		Serdar Tasiran, Yuan Yu, Brannon Batson: Linking Simulation with Formal Verification at a Higher Level. IEEE Design & Test of Computers 21(6): 472-482 (2004)
	2003
9		Serdar Tasiran, Yuan Yu, Brannon Batson: Using a formal specification and a model checker to monitor and direct simulation. DAC 2003: 356-361
8		Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu: Checking Cache-Coherence Protocols with TLA+. Formal Methods in System Design 22(2): 125-131 (2003)
	2002
7		Leslie Lamport, John Matthews, Mark R. Tuttle, Yuan Yu: Specifying and verifying systems with TLA+. ACM SIGOPS European Workshop 2002: 45-48
	2000
6		Allan Heydon, Roy Levin, Yuan Yu: Caching function calls using precise dependencies. PLDI 2000: 311-320
	1999
5		Yuan Yu, Panagiotis Manolios, Leslie Lamport: Model Checking TLA+ Specifications. CHARME 1999: 54-66
4		Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu: Cache Coherence Verification with TLA+. World Congress on Formal Methods 1999: 1871-1872
	1996
3		Robert S. Boyer, Yuan Yu: Automated Proofs of Object Code for a Widely Used Microprocessor. J. ACM 43(1): 166-192 (1996)
	1992
2		Robert S. Boyer, Yuan Yu: Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor. CADE 1992: 416-430
	1990
1		Yuan Yu: Computer Proofs in Group Theory. J. Autom. Reasoning 6(3): 251-286 (1990)

Coauthor Index

1	Homayoon Akhiani	[4]
2	Brannon Batson	[9] [10]
3	Andrew Birrell	[13]
4	Robert S. Boyer	[2] [3]
5	Mihai Budiu	[13] [14]
6	Chuanfu Chen	[12]
7	Song Chen	[12]
8	Wei Chen	[11]
9	Jon Currey	[14]
10	Damien Doligez	[4]
11	Úlfar Erlingsson	[14]
12	Dennis Fetterly	[13] [14]
13	Pradeep Kumar Gunda	[14] [16]
14	Paul Harter	[4]
15	Allan Heydon	[6]
16	Haiying Hua	[12]
17	Yingbo Hua	[15]
18	Xuan Huang	[12]
19	Yi Huang	[15]
20	Michael Isard	[13] [14] [16] [17]
21	Rajeev Joshi	[8]
22	Leslie Lamport	[4] [5] [7] [8]
23	Roy Levin	[6]
24	Mojun Li	[12]
25	Panagiotis Manolios (Pete Manolios)	[5]
26	John Matthews	[7] [8]
27	Congjing Ran	[12]
28	Thomas L. Rodeheffer (Tom Rodeheffer)	[11]
29	Joshua Scheid	[4]
30	Qiong Tang	[12]
31	Serdar Tasiran	[8] [9] [10]
32	Mark R. Tuttle	[4] [7] [8]
33	Zhiqiang Wu	[12]
34	Bin Zhao	[15]

Colors in the list of coauthors