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 × Canada
6 × USA
Collaborated with:
A.Aiken A.Adl-Tabatabai V.Menon T.Shpeisman M.S.Lam B.T.Lewis F.T.Schneider B.Saha N.Glew A.McCreight L.Petersen J.Bharadwaj M.Cierniak M.Eng J.Fang J.M.Stichnoth
Talks about:
type (3) program (2) languag (2) compil (2) safe (2) represent (1) implement (1) transfer (1) transact (1) function (1)

Person: Brian R. Murphy

DBLP DBLP: Murphy:Brian_R=

Contributed to:

CGO 20082008
PLDI 20062006
POPL 20062006
CGO 20042004
PEPM 20002000
FPCA 19911991
POPL 19911991

Wrote 7 papers:

CGO-2008-MurphyMSSA #type safety
Fault-safe code motion for type-safe languages (BRM, VM, FTS, TS, ARAT), pp. 144–154.
PLDI-2006-Adl-TabatabaiLMMSS #compilation #memory management #performance #runtime #transaction
Compiler and runtime support for efficient software transactional memory (ARAT, BTL, VM, BRM, BS, TS), pp. 26–37.
POPL-2006-MenonGMMSAP #compilation #optimisation #representation
A verifiable SSA program representation for aggressive compiler optimization (VM, NG, BRM, AM, TS, ARAT, LP), pp. 397–408.
CGO-2004-Adl-TabatabaiBCEFLMS #java #performance
Improving 64-Bit Java IPF Performance by Compressing Heap References (ARAT, JB, MC, ME, JF, BTL, BRM, JMS), pp. 100–110.
PEPM-2000-MurphyL #program analysis
Program Analysis with Partial Transfer Functions (BRM, MSL), pp. 94–103.
FPCA-1991-AikenM #implementation
Implementing Regular Tree Expressions (AA, BRM), pp. 427–447.
POPL-1991-AikenM #static typing #type inference
Static Type Inference in a Dynamically Typed Language (AA, BRM), pp. 279–290.

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.