Yuan Yu Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Isard, Yuan Yu: Distributed data-parallel computing using a high-level programming language. SIGMOD Conference 2009: 987-994
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuan Yu, Pradeep Kumar Gunda, Michael Isard: Distributed aggregation for data-parallel computing: interfaces and implementations. SOSP 2009: 247-260
2008
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuan Yu, Yi Huang, Bin Zhao, Yingbo Hua: Throughput analysis of wireless mesh networks. ICASSP 2008: 3009-3012
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuan 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, Dennis Fetterly: Dryad: distributed data-parallel programs from sequential building blocks. EuroSys 2007: 59-72
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChuanfu 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuan Yu, Tom Rodeheffer, Wei Chen: RaceTrack: efficient detection of data race conditions via adaptive tracking. SOSP 2005: 221-234
2004
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerdar 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerdar Tasiran, Yuan Yu, Brannon Batson: Using a formal specification and a model checker to monitor and direct simulation. DAC 2003: 356-361
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeslie Lamport, John Matthews, Mark R. Tuttle, Yuan Yu: Specifying and verifying systems with TLA+. ACM SIGOPS European Workshop 2002: 45-48
2000
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAllan Heydon, Roy Levin, Yuan Yu: Caching function calls using precise dependencies. PLDI 2000: 311-320
1999
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuan Yu, Panagiotis Manolios, Leslie Lamport: Model Checking TLA+ Specifications. CHARME 1999: 54-66
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHomayoon 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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert S. Boyer, Yuan Yu: Automated Proofs of Object Code for a Widely Used Microprocessor. J. ACM 43(1): 166-192 (1996)
1992
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert S. Boyer, Yuan Yu: Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor. CADE 1992: 416-430
1990
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuan Yu: Computer Proofs in Group Theory. J. Autom. Reasoning 6(3): 251-286 (1990)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)