BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Yu:Yuan

Contributed to:

SOSP 20132013
PLDI 20112011
OOPSLA 20102010
OSDI 20102010
SIGMOD 20092009
SOSP 20092009
OSDI 20082008
SOSP 20052005
DAC 20032003
PLDI 20002000
World Congress on Formal Methods 19991999
CADE 19921992

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.