Michael W. Hicks

Michael Hicks

	2012
73		John Field, Michael Hicks: Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012 ACM 2012
72		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
	2011
71		Piotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa: Dynamic Enforcement of Knowledge-Based Security Policies. CSF 2011: 114-128
70		Michael Hicks, Rida A. Bazzi, Carlo Zaniolo: Foreword. ICDE Workshops 2011: 132-133
69		Christopher M. Hayden, Edward K. Smith, Michael Hicks, Jeffrey S. Foster: State transfer for clear and efficient runtime updates. ICDE Workshops 2011: 179-184
68		Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks: Lightweight monadic programming in ML. ICFP 2011: 15-27
67		Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, Michael Hicks: Dynamic inference of static types for ruby. POPL 2011: 459-472
66		Kin-Keung Ma, Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks: Directed Symbolic Execution. SAS 2011: 95-111
65		Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks: LOCKSMITH: Practical static race detection for C. ACM Trans. Program. Lang. Syst. 33(1): 3 (2011)
	2010
64		Jean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro: Dynamically checking ownership policies in concurrent c/c++ programs. POPL 2010: 457-470
63		Michael W. Hicks, Jeffrey S. Foster: SCORE: agile research group management. Commun. ACM 53(10): 30-31 (2010)
62		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)
	2009
61		Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster, Vibha Sazawal: Directing JavaScript with arrows. DLS 2009: 49-58
60		Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael Hicks: The ruby intermediate language. DLS 2009: 89-98
59		Christopher M. Hayden, Eric A. Hardisty, Michael W. Hicks, Jeffrey S. Foster: Efficient Systematic Testing for Dynamically Updatable Software. HotSWUp 2009
58		Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman: A theory of typed coercions and its applications. ICFP 2009: 329-340
57		Suriya Subramanian, Michael W. Hicks, Kathryn S. McKinley: Dynamic software updates: a VM-centric approach. PLDI 2009: 1-12
56		Iulian Neamtiu, Michael W. Hicks: Safe and timely updates to multi-threaded programs. PLDI 2009: 13-24
55		Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael W. Hicks: Static type inference for Ruby. SAC 2009: 1859-1866
54		Pavlos Papageorge, Justin McCann, Michael Hicks: Passive aggressive measurement with MGRP. SIGCOMM 2009: 279-290
53		Brian J. Corcoran, Nikhil Swamy, Michael W. Hicks: Cross-tier, label-based security enforcement for web applications. SIGMOD Conference 2009: 269-282
	2008
52		Dave King, Boniface Hicks, Michael Hicks, Trent Jaeger: Implicit Flows: Can't Live with 'Em, Can't Live without 'Em. ICISS 2008: 56-70
51		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
50		Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks, Vibha Sazawal: Path projection for user-centered static analysis tools. PASTE 2008: 57-63
49		Nikhil Swamy, Michael Hicks: Verified enforcement of stateful information release policies. PLAS 2008: 21-32
48		Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis: Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming. POPL 2008: 37-49
47		Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks, Iulian Neamtiu: Formalizing Soundness of Contextual Effects. TPHOLs 2008: 262-277
46		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)
45		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)
44		Nikhil Swamy, Michael Hicks: Verified enforcement of stateful information release policies. SIGPLAN Notices 43(12): 21-31 (2008)
	2007
43		Michael W. Hicks: Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, PLAS 2007, San Diego, California, USA, June 14, 2007 ACM 2007
42		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
41		Jeffrey S. Foster, Michael W. Hicks, William Pugh: Improving software quality with static analysis. PASTE 2007: 83-84
40		Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster: Modular information hiding and type-safe linking for C. TLDI 2007: 3-14
39		Trevor Jim, Nikhil Swamy, Michael Hicks: Defeating script injection attacks with browser-enforced embedded policies. WWW 2007: 601-610
38		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)
	2006
37		Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zdancewic: Managing Policy Updates in Security-Typed Languages. CSFW 2006: 202-216
36		Boniface Hicks, Dave King, Patrick McDaniel, Michael Hicks: Trusted declassification: : high-level policy for a security-typed language. PLAS 2006: 65-74
35		Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks: LOCKSMITH: context-sensitive correlation analysis for race detection. PLDI 2006: 320-331
34		Iulian Neamtiu, Michael W. Hicks, Gareth Stoyle, Manuel Oriol: Practical dynamic software updating for C. PLDI 2006: 72-83
33		Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks: Existential Label Flow Inference Via CFL Reachability. SAS 2006: 88-106
32		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)
	2005
31		Manuel Oriol, Michael W. Hicks: Tagged Sets: A Secure and Transparent Coordination Medium. COORDINATION 2005: 252-267
30		Iulian Neamtiu, Jeffrey S. Foster, Michael W. Hicks: Understanding source code evolution using abstract syntax tree matching. MSR 2005
29		Pavlos Papageorgiou, Michael Hicks: Merging Network Measurement with Data Transport. PAM 2005: 368-371
28		Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu: Mutatis mutandis: safe and predictable dynamic software updating. POPL 2005: 183-194
27		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)
26		Michael W. Hicks, Scott Nettles: Dynamic software updating. ACM Trans. Program. Lang. Syst. 27(6): 1049-1096 (2005)
25		James Rose, Nikhil Swamy, Michael Hicks: Dynamic inference of polymorphic lock types. Sci. Comput. Program. 58(3): 366-383 (2005)
	2004
24		Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim: Experience with safe manual memory-management in cyclone. ISMM 2004: 73-84
23		Polyvios Pratikakis, Jaime Spacco, Michael W. Hicks: Transparent proxies for java futures. OOPSLA 2004: 206-223
	2003
22		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
21		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)
20		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)
	2002
19		Michael W. Hicks, Jonathan T. Moore, David Wetherall, Scott Nettles: Experiences with Capsule-Based Active Networking. DANCE 2002: 16-24
18		Michael W. Hicks, Angelos D. Keromytis, Jonathan M. Smith: A Secure PLAN. DANCE 2002: 224-237
17		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
16		Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney: Region-Based Memory Management in Cyclone. PLDI 2002: 282-293
15		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
14		Jonathan T. Moore, Michael W. Hicks, Scott Nettles: Practical Programmable Packets. INFOCOM 2001: 41-50
13		Michael W. Hicks, Jonathan T. Moore, Scott Nettles: Compiling PLAN to SNAP. IWAN 2001: 134-151
12		Michael W. Hicks, Jonathan T. Moore, Scott Nettles: Dynamic Software Updating. PLDI 2001: 13-23
	2000
11		Michael W. Hicks, Scott Nettles: Active Networking Means Evolution (or Enhanced Extensibility Required). IWAN 2000: 16-32
10		Kostas G. Anagnostakis, Michael W. Hicks, Sotiris Ioannidis, Angelos D. Keromytis, Jonathan M. Smith: Scalable Resource Control in Active Networks. IWAN 2000: 343-357
9		Michael W. Hicks, Stephanie Weirich, Karl Crary: Safe and Flexible Dynamic Linking of Native Code. Types in Compilation 2000: 147-176
	1999
8		Michael W. Hicks, Jonathan T. Moore, D. Scott Alexander, Carl A. Gunter, Scott Nettles: PLANet: An Active Internetwork. INFOCOM 1999: 1124-1133
7		Michael W. Hicks, Angelos D. Keromytis: A Secure Plan. IWAN 1999: 307-314
6		Michael W. Hicks, Suresh Jagannathan, Richard Kelsey, Jonathan T. Moore, Cristian Ungureanu: Transparent Communication for Distributed Objects in Java. Java Grande 1999: 160-170
5		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)
	1998
4		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
3		Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles: PLAN: A Packet Language for Active Networks. ICFP 1998: 86-93
2		Michael W. Hicks, Luke Hornof, Jonathan T. Moore, Scott Nettles: A Study of Large Object Spaces. ISMM 1998: 138-145
	1997
1		Michael W. Hicks, Jonathan T. Moore, Scott Nettles: The Measured Cost of Copying Garbage Collection Mechanisms. ICFP 1997: 292-305

Coauthor Index

1	Periklis Akritidis	[64]
2	D. Scott Alexander	[8]
3	Jong-hoon (David) An	[55] [60] [67]
4	Kostas G. Anagnostakis	[10]
5	Rida A. Bazzi	[70]
6	Gavin M. Bierman	[20] [22] [28] [38] [45] [58]
7	Miguel Castro	[64]
8	Avik Chaudhuri	[67]
9	James Cheney	[15] [16]
10	Brian J. Corcoran	[51] [53]
11	Manuel Costa	[64]
12	Karl Crary	[9]
13	John Field	[73]
14	Jeffrey S. Foster	[27] [30] [33] [35] [40] [41] [46] [47] [48] [50] [55] [59] [60] [61] [62] [63] [65] [66] [67] [69] [72]
15	Nate Foster (J. Nathan Foster)	[72]
16	Michael Furr	[55] [60]
17	Dan Grossman	[15] [16] [24] [32]
18	Carl A. Gunter	[3] [4] [5] [8]
19	Nataliya Guts	[68]
20	Eric A. Hardisty	[59]
21	Christopher M. Hayden	[59] [69] [72]
22	Boniface Hicks	[36] [52]
23	Luke Hornof	[2]
24	Sotiris Ioannidis	[10]
25	Trent Jaeger	[52]
26	Suresh Jagannathan	[6]
27	Patrick Jenkins	[46]
28	Trevor Jim	[15] [16] [24] [32] [39]
29	Pankaj Kakkar	[3] [4] [5]
30	Richard Kelsey	[6]
31	Angelos D. Keromytis	[7] [10] [18] [21]
32	Yit Phang Khoo	[50] [61] [66]
33	Dave King	[36] [52]
34	Daan Leijen	[68]
35	Kin-Keung Ma	[66]
36	Stephen Magill	[71] [72]
37	Piotr Mardziel	[71]
38	Jean-Phillipe Martin	[64]
39	Justin McCann	[54]
40	Patrick Drew McDaniel (Patrick McDaniel)	[36]
41	Kathryn S. McKinley	[57]
42	Jeffrey A. Meister	[62]
43	Jonathan T. Moore	[1] [2] [3] [4] [5] [6] [8] [12] [13] [14] [19]
44	J. Gregory Morrisett (Greg Morrisett)	[15] [16] [24] [32]
45	Iulian Neamtiu	[27] [28] [30] [34] [38] [47] [48] [56]
46	Scott Nettles	[1] [2] [3] [4] [8] [11] [12] [13] [14] [17] [19] [26]
47	Manuel Oriol	[31] [34]
48	Pavlos Papageorge	[54]
49	Pavlos Papageorgiou	[29]
50	Nick L. Petroni Jr.	[42]
51	Polyvios Pratikakis	[23] [33] [35] [47] [48] [65]
52	William Pugh	[41]
53	James Rose	[25]
54	Vibha Sazawal	[50] [61]
55	Peter Sewell	[20] [22] [28] [38] [45]
56	Stephen Shannon	[17]
57	Edward K. Smith	[69]
58	Jonathan M. Smith	[10] [18] [21]
59	Seong-Kyu Song	[17]
60	Jaime Spacco	[23]
61	Saurabh Srivastava	[40] [46]
62	Mudhakar Srivatsa	[71]
63	Gareth Stoyle	[20] [22] [28] [34] [38] [45]
64	Suriya Subramanian	[57]
65	Nikhil Swamy	[25] [32] [37] [39] [44] [49] [51] [53] [58] [68]
66	Stephen Tse	[37]
67	Cristian Ungureanu	[6]
68	Yanling Wang	[15] [16]
69	Keith Wansbrough	[20] [22] [45]
70	Stephanie Weirich	[9]
71	David Wetherall	[19]
72	Carlo Zaniolo	[70]
73	Steve Zdancewic	[37]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page