Search the dblp DataBase

Publications of Author

1. Robert S. Boyer, Yuan Yu
   Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor. [Citation Graph (0, 0)][DBLP]
   CADE, 1992, pp:416-430 [Conf]
   
2. Yuan Yu, Panagiotis Manolios, Leslie Lamport
   Model Checking TLA⁺ Specifications. [Citation Graph (0, 0)][DBLP]
   CHARME, 1999, pp:54-66 [Conf]
   
3. Serdar Tasiran, Yuan Yu, Brannon Batson
   Using a formal specification and a model checker to monitor and direct simulation. [Citation Graph (0, 0)][DBLP]
   DAC, 2003, pp:356-361 [Conf]
   
4. Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu
   Cache Coherence Verification with TLA+. [Citation Graph (0, 0)][DBLP]
   World Congress on Formal Methods, 1999, pp:1871-1872 [Conf]
   
5. Allan Heydon, Roy Levin, Yuan Yu
   Caching function calls using precise dependencies. [Citation Graph (0, 0)][DBLP]
   PLDI, 2000, pp:311-320 [Conf]
   
6. Yuan Yu, Tom Rodeheffer, Wei Chen
   RaceTrack: efficient detection of data race conditions via adaptive tracking. [Citation Graph (0, 0)][DBLP]
   SOSP, 2005, pp:221-234 [Conf]
   
7. Serdar Tasiran, Yuan Yu, Brannon Batson
   Linking Simulation with Formal Verification at a Higher Level. [Citation Graph (0, 0)][DBLP]
   IEEE Design & Test of Computers, 2004, v:21, n:6, pp:472-482 [Journal]
   
8. Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu
   Checking Cache-Coherence Protocols with TLA⁺. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2003, v:22, n:2, pp:125-131 [Journal]
   
9. Robert S. Boyer, Yuan Yu
   Automated Proofs of Object Code for a Widely Used Microprocessor. [Citation Graph (0, 0)][DBLP]
   J. ACM, 1996, v:43, n:1, pp:166-192 [Journal]
   
10. Yuan Yu
    Computer Proofs in Group Theory. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1990, v:6, n:3, pp:251-286 [Journal]
    
11. 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. [Citation Graph (0, 0)][DBLP]
    WISE Workshops, 2007, pp:493-504 [Conf]
    
12. Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, Dennis Fetterly
    Dryad: distributed data-parallel programs from sequential building blocks. [Citation Graph (0, 0)][DBLP]
    EuroSys, 2007, pp:59-72 [Conf]
    
13. 
    BotGraph: Large Scale Spamming Botnet Detection. [Citation Graph (, )][DBLP]
    
    
14. 
    DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language. [Citation Graph (, )][DBLP]
    
    
15. 
    Distributed data-parallel computing using a high-level programming language. [Citation Graph (, )][DBLP]
    
    
16. 
    Specifying and verifying systems with TLA+. [Citation Graph (, )][DBLP]
    
    
17. 
    Distributed aggregation for data-parallel computing: interfaces and implementations. [Citation Graph (, )][DBLP]
    
    
18. 
    Throughput analysis of wireless mesh networks. [Citation Graph (, )][DBLP]