Travelled to:1 × France
1 × United Kingdom
2 × Canada
8 × USA
Collaborated with:M.Isard P.K.Gunda R.S.Boyer J.Currey D.Fetterly D.G.Murray T.Rodeheffer W.Chen S.Tasiran B.Batson A.Heydon R.Levin C.J.Rossbach J.Martin M.Gabel J.Yang M.Goldszmidt Z.Su L.Ravindranath C.A.Thekkath L.Zhuang M.Budiu Ú.Erlingsson H.Akhiani D.Doligez P.Harter L.Lamport J.Scheid M.R.Tuttle
Talks about:data (5) comput (4) use (4) distribut (3) parallel (3) program (2) languag (2) automat (2) system (2) detect (2)
Person: Yuan Yu
DBLP: Yu:Yuan
Contributed to:
2013
2011
2010
2010
2009200920082005
20032000
1999
1992Wrote 12 papers:
- SOSP-2013-RossbachYCMF #compilation #named #runtime
- Dandelion: a compiler and runtime for heterogeneous systems (CJR, YY, JC, JPM, DF), pp. 49–68.
- PLDI-2011-MurrayIY #automation #declarative #named #optimisation #query
- Steno: automatic optimization of declarative queries (DGM, MI, YY), pp. 121–131.
- OOPSLA-2010-GabelYYGS #consistency #detection #nondeterminism #scalability #source code
- Scalable and systematic detection of buggy inconsistencies in source code (MG, JY, YY, MG, ZS), pp. 175–190.
- OSDI-2010-GundaRTYZ #automation #named
- Nectar: Automatic Management of Data and Computation in Datacenters (PKG, LR, CAT, YY, LZ), pp. 75–88.
- SIGMOD-2009-IsardY #distributed #programming language #using
- Distributed data-parallel computing using a high-level programming language (MI, YY), pp. 987–994.
- SOSP-2009-YuGI #distributed #implementation #interface
- Distributed aggregation for data-parallel computing: interfaces and implementations (YY, PKG, MI), pp. 247–260.
- OSDI-2008-YuIFBEGC #distributed #named #using
- DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language (YY, MI, DF, MB, ÚE, PKG, JC), pp. 1–14.
- SOSP-2005-YuRC #adaptation #detection #named #performance
- RaceTrack: efficient detection of data race conditions via adaptive tracking (YY, TR, WC), pp. 221–234.
- DAC-2003-TasiranYB #model checking #monitoring #simulation #specification #using
- Using a formal specification and a model checker to monitor and direct simulation (ST, YY, BB), pp. 356–361.
- PLDI-2000-HeydonLY #dependence #precise #using
- Caching function calls using precise dependencies (AH, RL, YY), pp. 311–320.
- FM-v2-1999-AkhianiDHLSTY #verification
- Cache Coherence Verification with TLA+ (HA, DD, PH, LL, JS, MRT, YY), pp. 1871–1872.
- CADE-1992-BoyerY #automation #correctness #proving #source code
- Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor (RSB, YY), pp. 416–430.