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
3 × USA
Collaborated with:
R.Müller D.C.Stefanescu R.D.Blumofe C.F.Joerg B.C.Kuszmaul C.E.Leiserson K.H.Randall
Talks about:
function (2) powerdomain (1) multithread (1) nonmonoton (1) interpret (1) framework (1) abstract (1) program (1) analysi (1) theori (1)

Person: Yuli Zhou

DBLP DBLP: Zhou:Yuli

Contributed to:

PPoPP 19951995
LFP 19941994
LFP 19921992
ALP 19901990

Wrote 4 papers:

PPoPP-1995-BlumofeJKLRZ #named #parallel #performance #runtime #thread
Cilk: An Efficient Multithreaded Runtime System (RDB, CFJ, BCK, CEL, KHR, YZ), pp. 207–216.
LFP-1994-StefanescuZ #analysis #equation #framework #functional #higher-order #source code
An Equational Framework for the Flow Analysis of Higher Order Functional Programs (DCS, YZ), pp. 318–327.
LFP-1992-MullerZ #abstract interpretation
Abstract Interpretation in Weak Powerdomains (RM, YZ), pp. 119–126.
ALP-1990-ZhouM
Domain Theory for Nonmonotonic Functions (YZ, RM), pp. 144–157.
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.