Michael W. Hicks

Michael Hicks

other persons with the same name:

• Michael Hicks 0002 - University of Hertfordshire, Hatfield, UK

	2013
c62		Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks: Expositor: scriptable time-travel debugging with first-class traces. ICSE 2013: 352-361
	2012
j15		Christopher M. Hayden, Edward K. Smith, Eric A. Hardisty, Michael Hicks, Jeffrey S. Foster: Evaluating Dynamic Software Update Safety Using Systematic Testing. IEEE Trans. Software Eng. 38(6): 1340-1354 (2012)
c61		Christopher M. Hayden, Karla Saur, Michael Hicks, Jeffrey S. Foster: A study of dynamic software update quiescence for multithreaded programs. HotSWUp 2012: 6-10
c60		Edward K. Smith, Michael Hicks, Jeffrey S. Foster: Towards standardized benchmarks for Dynamic Software Updating systems. HotSWUp 2012: 11-15
c59		Christopher M. Hayden, Edward K. Smith, Michail Denchev, Michael Hicks, Jeffrey S. Foster: Kitsune: efficient, general-purpose dynamic software updating for C. OOPSLA 2012: 249-264
c58		Stephen Magill, Michael Hicks, Suriya Subramanian, Kathryn S. McKinley: Automating object transformations for dynamic software updating. OOPSLA 2012: 265-280
c57		Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster: Specifying and Verifying the Correctness of Dynamic Software Updates. VSTTE 2012: 278-293
e2		John Field, Michael Hicks (Eds.): Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012. ACM 2012, isbn 978-1-4503-1083-3
	2011
j14		Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks: LOCKSMITH: Practical static race detection for C. ACM Trans. Program. Lang. Syst. 33(1): 3 (2011)
c56		Piotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa: Dynamic Enforcement of Knowledge-Based Security Policies. CSF 2011: 114-128
c55		Michael Hicks, Rida A. Bazzi, Carlo Zaniolo: Foreword. ICDE Workshops 2011: 132-133
c54		Christopher M. Hayden, Edward K. Smith, Michael Hicks, Jeffrey S. Foster: State transfer for clear and efficient runtime updates. ICDE Workshops 2011: 179-184
c53		Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks: Lightweight monadic programming in ML. ICFP 2011: 15-27
c52		Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, Michael Hicks: Dynamic inference of static types for ruby. POPL 2011: 459-472
c51		Kin-Keung Ma, Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks: Directed Symbolic Execution. SAS 2011: 95-111
	2010
j13		Michael W. Hicks, Jeffrey S. Foster: SCORE: agile research group management. Commun. ACM 53(10): 30-31 (2010)
j12		Jeffrey A. Meister, Jeffrey S. Foster, Michael Hicks: Serializing C intermediate representations for efficient and portable parsing. Softw., Pract. Exper. 40(3): 225-238 (2010)
c50		Jean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro: Dynamically checking ownership policies in concurrent c/c++ programs. POPL 2010: 457-470
	2009
c49		Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster, Vibha Sazawal: Directing JavaScript with arrows. DLS 2009: 49-58
c48		Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael Hicks: The ruby intermediate language. DLS 2009: 89-98
c47		Christopher M. Hayden, Eric A. Hardisty, Michael W. Hicks, Jeffrey S. Foster: Efficient Systematic Testing for Dynamically Updatable Software. HotSWUp 2009
c46		Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman: A theory of typed coercions and its applications. ICFP 2009: 329-340
c45		Suriya Subramanian, Michael W. Hicks, Kathryn S. McKinley: Dynamic software updates: a VM-centric approach. PLDI 2009: 1-12
c44		Iulian Neamtiu, Michael W. Hicks: Safe and timely updates to multi-threaded programs. PLDI 2009: 13-24
c43		Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael W. Hicks: Static type inference for Ruby. SAC 2009: 1859-1866
c42		Pavlos Papageorge, Justin McCann, Michael Hicks: Passive aggressive measurement with MGRP. SIGCOMM 2009: 279-290
c41		Brian J. Corcoran, Nikhil Swamy, Michael W. Hicks: Cross-tier, label-based security enforcement for web applications. SIGMOD Conference 2009: 269-282
	2008
j11		Peter Sewell, Gareth Stoyle, Michael Hicks, Gavin M. Bierman, Keith Wansbrough: Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction. J. Funct. Program. 18(4): 437-502 (2008)
j10		Nikhil Swamy, Michael Hicks: Verified enforcement of stateful information release policies. SIGPLAN Notices 43(12): 21-31 (2008)
j9		Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster, Patrick Jenkins: Modular Information Hiding and Type-Safe Linking for C. IEEE Trans. Software Eng. 34(3): 357-376 (2008)
c40		Dave King, Boniface Hicks, Michael Hicks, Trent Jaeger: Implicit Flows: Can't Live with 'Em, Can't Live without 'Em. ICISS 2008: 56-70
c39		Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks, Vibha Sazawal: Path projection for user-centered static analysis tools. PASTE 2008: 57-63
c38		Nikhil Swamy, Michael Hicks: Verified enforcement of stateful information release policies. PLAS 2008: 21-32
c37		Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis: Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming. POPL 2008: 37-49
c36		Nikhil Swamy, Brian J. Corcoran, Michael Hicks: Fable: A Language for Enforcing User-defined Security Policies. IEEE Symposium on Security and Privacy 2008: 369-383
c35		Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks, Iulian Neamtiu: Formalizing Soundness of Contextual Effects. TPHOLs 2008: 262-277
	2007
j8		Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu: Mutatis Mutandis: Safe and predictable dynamic software updating. ACM Trans. Program. Lang. Syst. 29(4) (2007)
c34		Nick L. Petroni Jr., Michael W. Hicks: Automated detection of persistent kernel control-flow attacks. ACM Conference on Computer and Communications Security 2007: 103-115
c33		Jeffrey S. Foster, Michael W. Hicks, William Pugh: Improving software quality with static analysis. PASTE 2007: 83-84
c32		Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster: Modular information hiding and type-safe linking for C. TLDI 2007: 3-14
c31		Trevor Jim, Nikhil Swamy, Michael Hicks: Defeating script injection attacks with browser-enforced embedded policies. WWW 2007: 601-610
e1		Michael W. Hicks (Ed.): Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, PLAS 2007, San Diego, California, USA, June 14, 2007. ACM 2007, isbn 978-1-59593-711-7
	2006
j7		Nikhil Swamy, Michael W. Hicks, Greg Morrisett, Dan Grossman, Trevor Jim: Safe manual memory management in Cyclone. Sci. Comput. Program. 62(2): 122-144 (2006)
c30		Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zdancewic: Managing Policy Updates in Security-Typed Languages. CSFW 2006: 202-216
c29		Boniface Hicks, Dave King, Patrick McDaniel, Michael Hicks: Trusted declassification: : high-level policy for a security-typed language. PLAS 2006: 65-74
c28		Iulian Neamtiu, Michael W. Hicks, Gareth Stoyle, Manuel Oriol: Practical dynamic software updating for C. PLDI 2006: 72-83
c27		Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks: LOCKSMITH: context-sensitive correlation analysis for race detection. PLDI 2006: 320-331
c26		Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks: Existential Label Flow Inference Via CFL Reachability. SAS 2006: 88-106
	2005
j6		James Rose, Nikhil Swamy, Michael Hicks: Dynamic inference of polymorphic lock types. Sci. Comput. Program. 58(3): 366-383 (2005)
j5		Iulian Neamtiu, Jeffrey S. Foster, Michael Hicks: Understanding source code evolution using abstract syntax tree matching. ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005)
j4		Michael W. Hicks, Scott Nettles: Dynamic software updating. ACM Trans. Program. Lang. Syst. 27(6): 1049-1096 (2005)
c25		Manuel Oriol, Michael W. Hicks: Tagged Sets: A Secure and Transparent Coordination Medium. COORDINATION 2005: 252-267
c24		Iulian Neamtiu, Jeffrey S. Foster, Michael W. Hicks: Understanding source code evolution using abstract syntax tree matching. MSR 2005
c23		Pavlos Papageorgiou, Michael Hicks: Merging Network Measurement with Data Transport. PAM 2005: 368-371
c22		Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu: Mutatis mutandis: safe and predictable dynamic software updating. POPL 2005: 183-194
	2004
c21		Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim: Experience with safe manual memory-management in cyclone. ISMM 2004: 73-84
c20		Polyvios Pratikakis, Jaime Spacco, Michael W. Hicks: Transparent proxies for java futures. OOPSLA 2004: 206-223
	2003
j3		Gavin M. Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough: Dynamic rebinding for marshalling and update, with destruct-time ? SIGPLAN Notices 38(9): 99-110 (2003)
j2		Michael W. Hicks, Angelos D. Keromytis, Jonathan M. Smith: A secure PLAN. IEEE Transactions on Systems, Man, and Cybernetics, Part C 33(3): 413-426 (2003)
c19		Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough: Dynamic rebinding for marshalling and update, with destruct-time? ICFP 2003: 99-110
	2002
c18		Michael W. Hicks, Jonathan T. Moore, David Wetherall, Scott Nettles: Experiences with Capsule-Based Active Networking. DANCE 2002: 16-24
c17		Michael W. Hicks, Angelos D. Keromytis, Jonathan M. Smith: A Secure PLAN. DANCE 2002: 224-237
c16		Seong-Kyu Song, Stephen Shannon, Michael W. Hicks, Scott Nettles: Evolution in Action: Using Active Networking to Evolve Network Support for Mobility. IWAN 2002: 146-161
c15		Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney: Region-Based Memory Management in Cyclone. PLDI 2002: 282-293
c14		Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang: Cyclone: A Safe Dialect of C. USENIX Annual Technical Conference, General Track 2002: 275-288
	2001
c13		Jonathan T. Moore, Michael W. Hicks, Scott Nettles: Practical Programmable Packets. INFOCOM 2001: 41-50
c12		Michael W. Hicks, Jonathan T. Moore, Scott Nettles: Compiling PLAN to SNAP. IWAN 2001: 134-151
c11		Michael W. Hicks, Jonathan T. Moore, Scott Nettles: Dynamic Software Updating. PLDI 2001: 13-23
	2000
c10		Michael W. Hicks, Scott Nettles: Active Networking Means Evolution (or Enhanced Extensibility Required). IWAN 2000: 16-32
c9		Kostas G. Anagnostakis, Michael W. Hicks, Sotiris Ioannidis, Angelos D. Keromytis, Jonathan M. Smith: Scalable Resource Control in Active Networks. IWAN 2000: 343-357
c8		Michael W. Hicks, Stephanie Weirich, Karl Crary: Safe and Flexible Dynamic Linking of Native Code. Types in Compilation 2000: 147-176
	1999
j1		Pankaj Kakkar, Michael W. Hicks, Jonathan T. Moore, Carl A. Gunter: Specifying the PLAN Network Programming Langauge. Electr. Notes Theor. Comput. Sci. 26: 87-104 (1999)
c7		Michael W. Hicks, Jonathan T. Moore, D. Scott Alexander, Carl A. Gunter, Scott Nettles: PLANet: An Active Internetwork. INFOCOM 1999: 1124-1133
c6		Michael W. Hicks, Angelos D. Keromytis: A Secure Plan. IWAN 1999: 307-314
c5		Michael W. Hicks, Suresh Jagannathan, Richard Kelsey, Jonathan T. Moore, Cristian Ungureanu: Transparent Communication for Distributed Objects in Java. Java Grande 1999: 160-170
	1998
c4		Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles: Network Programming Using PLAN. ICCL Workshop: Internet Programming Languages 1998: 127-143
c3		Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles: PLAN: A Packet Language for Active Networks. ICFP 1998: 86-93
c2		Michael W. Hicks, Luke Hornof, Jonathan T. Moore, Scott Nettles: A Study of Large Object Spaces. ISMM 1998: 138-145
	1997
c1		Michael W. Hicks, Jonathan T. Moore, Scott Nettles: The Measured Cost of Copying Garbage Collection Mechanisms. ICFP 1997: 292-305

Coauthor Index

Colors in the list of coauthors

Last update Fri May 24 01:53:30 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page