Yuan Yu

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]
6	Chuanfu Chen	[12]
7	Song Chen	[12]
8	Wei Chen	[11]
9	Damien Doligez	[4]
10	Dennis Fetterly	[13]
11	Paul Harter	[4]
12	Allan Heydon	[6]
13	Haiying Hua	[12]
14	Xuan Huang	[12]
15	Michael Isard	[13]
16	Rajeev Joshi	[8]
17	Leslie Lamport	[4] [5] [7] [8]
18	Roy Levin	[6]
19	Mojun Li	[12]
20	Panagiotis Manolios	[5]
21	John Matthews	[7] [8]
22	Conjing Ran	[12]
23	Thomas L. Rodeheffer (Tom Rodeheffer)	[11]
24	Joshua Scheid	[4]
25	Qiong Tang	[12]
26	Serdar Tasiran	[8] [9] [10]
27	Mark R. Tuttle	[4] [7] [8]
28	Zhiqiang Wu	[12]

Colors in the list of coauthors