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) |