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: Murphy:Brian_R=
Contributed to:
2008
2006
20062004
2000
19911991Wrote 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.