dblp.uni-trier.dewww.uni-trier.de

Yuan Yu Vis

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

*2009
16EEMichael Isard, Yuan Yu: Distributed data-parallel computing using a high-level programming language. SIGMOD Conference 2009: 987-994
15EEYuan Yu, Pradeep Kumar Gunda, Michael Isard: Distributed aggregation for data-parallel computing: interfaces and implementations. SOSP 2009: 247-260
2008
14EEYuan 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
13EEMichael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, Dennis Fetterly: Dryad: distributed data-parallel programs from sequential building blocks. EuroSys 2007: 59-72
12EEChuanfu 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
11EEYuan Yu, Tom Rodeheffer, Wei Chen: RaceTrack: efficient detection of data race conditions via adaptive tracking. SOSP 2005: 221-234
2004
10EESerdar 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
9EESerdar Tasiran, Yuan Yu, Brannon Batson: Using a formal specification and a model checker to monitor and direct simulation. DAC 2003: 356-361
8EERajeev 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
7EELeslie Lamport, John Matthews, Mark R. Tuttle, Yuan Yu: Specifying and verifying systems with TLA+. ACM SIGOPS European Workshop 2002: 45-48
2000
6EEAllan Heydon, Roy Levin, Yuan Yu: Caching function calls using precise dependencies. PLDI 2000: 311-320
1999
5EEYuan Yu, Panagiotis Manolios, Leslie Lamport: Model Checking TLA+ Specifications. CHARME 1999: 54-66
4EEHomayoon 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
3EERobert S. Boyer, Yuan Yu: Automated Proofs of Object Code for a Widely Used Microprocessor. J. ACM 43(1): 166-192 (1996)
1992
2EERobert 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)