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 × Germany
1 × Ireland
1 × Sweden
1 × The Netherlands
1 × Turkey
1 × United Kingdom
4 × Canada
9 × USA
Collaborated with:
J.S.Foster I.Neamtiu J.T.Moore S.Nettles G.M.Bierman N.Swamy P.Pratikakis G.Stoyle J.G.Morrisett D.Grossman T.Jim P.Sewell L.Pina L.Veiga S.Subramanian K.S.McKinley B.J.Corcoran W.Pugh J.Spacco M.Furr J.(.An M.Oriol L.Hornof K.Wansbrough P.Kakkar C.A.Gunter C.Liu A.Harris M.Maas M.Tiwari E.Shi Y.Wang J.Cheney M.A.Hammer J.Dunfield K.Headley N.Labich D.V.Horn
Talks about:
softwar (6) updat (6) dynam (5) memori (3) safe (3) analysi (2) static (2) cyclon (2) comput (2) applic (2)

Person: Michael W. Hicks

DBLP DBLP: Hicks:Michael_W=

Contributed to:

ASPLOS 20152015
OOPSLA 20152015
OOPSLA 20142014
ICFP 20092009
PLDI 20092009
SAC 20092009
SIGMOD 20092009
PASTE 20072007
PLDI 20062006
MSR 20052005
POPL 20052005
ISMM 20042004
OOPSLA 20042004
ICFP 20032003
PLDI 20022002
PLDI 20012001
ICFP 19981998
ISMM 19981998
ICFP 19971997

Wrote 21 papers:

ASPLOS-2015-LiuHMHTS #memory management #named
GhostRider: A Hardware-Software System for Memory Trace Oblivious Computation (CL, AH, MM, MWH, MT, ES), pp. 87–101.
OOPSLA-2015-HammerDHLFHH #incremental
Incremental computation with names (MAH, JD, KH, NL, JSF, MWH, DVH), pp. 748–766.
OOPSLA-2014-PinaVH #java #named #virtual machine
Rubah: DSU for Java on a stock JVM (LP, LV, MWH), pp. 103–119.
ICFP-2009-SwamyHB #formal method
A theory of typed coercions and its applications (NS, MWH, GMB), pp. 329–340.
PLDI-2009-NeamtiuH #concurrent #multi #source code #thread
Safe and timely updates to multi-threaded programs (IN, MWH), pp. 13–24.
PLDI-2009-SubramanianHM #approach
Dynamic software updates: a VM-centric approach (SS, MWH, KSM), pp. 1–12.
SAC-2009-FurrAFH #ruby #static typing #type inference
Static type inference for Ruby (MF, Jh(A, JSF, MWH), pp. 1859–1866.
SIGMOD-2009-CorcoranSH #security #web
Cross-tier, label-based security enforcement for web applications (BJC, NS, MWH), pp. 269–282.
PASTE-2007-FosterHP #quality #static analysis
Improving software quality with static analysis (JSF, MWH, WP), pp. 83–84.
PLDI-2006-NeamtiuHSO #c
Practical dynamic software updating for C (IN, MWH, GS, MO), pp. 72–83.
PLDI-2006-PratikakisFH #analysis #concurrent #correlation #detection #named
LOCKSMITH: context-sensitive correlation analysis for race detection (PP, JSF, MWH), pp. 320–331.
MSR-2005-NeamtiuFH #abstract syntax tree #comprehension #evolution #source code #syntax #using
Understanding source code evolution using abstract syntax tree matching (IN, JSF, MWH), pp. 81–85.
POPL-2005-StoyleHBSN #predict
Mutatis mutandis: safe and predictable dynamic software updating (GS, MWH, GMB, PS, IN), pp. 183–194.
ISMM-2004-HicksMGJ #experience
Experience with safe manual memory-management in cyclone (MWH, JGM, DG, TJ), pp. 73–84.
OOPSLA-2004-PratikakisSH #java
Transparent proxies for java futures (PP, JS, MWH), pp. 206–223.
ICFP-2003-BiermanHSSW #question
Dynamic rebinding for marshalling and update, with destruct-time? (GMB, MWH, PS, GS, KW), pp. 99–110.
PLDI-2002-GrossmanMJHWC #memory management
Region-Based Memory Management in Cyclone (DG, JGM, TJ, MWH, YW, JC), pp. 282–293.
Dynamic Software Updating (MWH, JTM, SN), pp. 13–23.
ICFP-1998-HicksKMGN #named #network
PLAN: A Packet Language for Active Networks (MWH, PK, JTM, CAG, SN), pp. 86–93.
ISMM-1998-HicksHMN #case study #scalability
A Study of Large Object Spaces (MWH, LH, JTM, SN), pp. 138–145.
ICFP-1997-HicksMN #garbage collection
The Measured Cost of Copying Garbage Collection Mechanisms (MWH, JTM, SN), pp. 292–305.

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.