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: Hicks:Michael_W=
Contributed to:
2015
20152014
2009
2009
2009
2009
20072006
2005
2005
20042004200320022001199819981997Wrote 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.
- PLDI-2001-HicksMN
- 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.