Yuan Yu

2008
14	EE	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	EE	Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, Dennis Fetterly: Dryad: distributed data-parallel programs from sequential building blocks. EuroSys 2007: 59-72
12	EE	Chuanfu Chen, Qiong Tang, Yuan Yu, Zhiqiang Wu, Xuan Huang, Song Chen, Haiying Hua, Conjing Ran, Mojun Li: An Assessment of the Currency of Free Science Information on the Web. WISE Workshops 2007: 493-504
2005
11	EE	Yuan Yu, Tom Rodeheffer, Wei Chen: RaceTrack: efficient detection of data race conditions via adaptive tracking. SOSP 2005: 221-234
2004
10	EE	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	EE	Serdar Tasiran, Yuan Yu, Brannon Batson: Using a formal specification and a model checker to monitor and direct simulation. DAC 2003: 356-361
8	EE	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	EE	Leslie Lamport, John Matthews, Mark R. Tuttle, Yuan Yu: Specifying and verifying systems with TLA+. ACM SIGOPS European Workshop 2002: 45-48
2000
6	EE	Allan Heydon, Roy Levin, Yuan Yu: Caching function calls using precise dependencies. PLDI 2000: 311-320
1999
5	EE	Yuan Yu, Panagiotis Manolios, Leslie Lamport: Model Checking TLA+ Specifications. CHARME 1999: 54-66
4	EE	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	EE	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]
14	Paul Harter	[4]
15	Allan Heydon	[6]
16	Haiying Hua	[12]
17	Xuan Huang	[12]
18	Michael Isard	[13] [14]
19	Rajeev Joshi	[8]
20	Leslie Lamport	[4] [5] [7] [8]
21	Roy Levin	[6]
22	Mojun Li	[12]
23	Panagiotis Manolios	[5]
24	John Matthews	[7] [8]
25	Conjing Ran	[12]
26	Thomas L. Rodeheffer (Tom Rodeheffer)	[11]
27	Joshua Scheid	[4]
28	Qiong Tang	[12]
29	Serdar Tasiran	[8] [9] [10]
30	Mark R. Tuttle	[4] [7] [8]
31	Zhiqiang Wu	[12]

Colors in the list of coauthors