BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
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.
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.