Search results for "Michael Hicks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	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	POPL	2012	DBLP BibTeX RDF
1	Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster	Specifying and Verifying the Correctness of Dynamic Software Updates.	VSTTE	2012	DBLP DOI BibTeX RDF
1	Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks	LOCKSMITH: Practical static race detection for C.	ACM Trans. Program. Lang. Syst.	2011	DBLP DOI BibTeX RDF
1	Michael Hicks, Rida A. Bazzi, Carlo Zaniolo	Foreword.	ICDE Workshops	2011	DBLP DOI BibTeX RDF
1	Christopher M. Hayden, Edward K. Smith, Michael Hicks, Jeffrey S. Foster	State transfer for clear and efficient runtime updates.	ICDE Workshops	2011	DBLP DOI BibTeX RDF
1	Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, Michael Hicks	Dynamic inference of static types for ruby.	POPL	2011	DBLP DOI BibTeX RDF
1	Piotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa	Dynamic Enforcement of Knowledge-Based Security Policies.	CSF	2011	DBLP DOI BibTeX RDF	probabilistic polyhedron, knowledge-based security, privacy, abstract interpretation
1	Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks	Lightweight monadic programming in ML.	ICFP	2011	DBLP DOI BibTeX RDF
1	Kin-Keung Ma, Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks	Directed Symbolic Execution.	SAS	2011	DBLP DOI BibTeX RDF
1	Jeffrey A. Meister, Jeffrey S. Foster, Michael Hicks	Serializing C intermediate representations for efficient and portable parsing.	Softw., Pract. Exper.	2010	DBLP DOI BibTeX RDF
1	Jean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro	Dynamically checking ownership policies in concurrent c/c++ programs.	POPL	2010	DBLP DOI BibTeX RDF	security, testing, concurrency, debugging, tools, dynamic analysis
1	Michael W. Hicks, Jeffrey S. Foster	SCORE: agile research group management.	Commun. ACM	2010	DBLP DOI BibTeX RDF
1	Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael Hicks	The ruby intermediate language.	DLS	2009	DBLP DOI BibTeX RDF
1	Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster, Vibha Sazawal	Directing JavaScript with arrows.	DLS	2009	DBLP DOI BibTeX RDF
1	Pavlos Papageorge, Justin McCann, Michael Hicks	Passive aggressive measurement with MGRP.	SIGCOMM	2009	DBLP DOI BibTeX RDF	kernel module, streaming, transport protocol, active, probing, available bandwidth, passive, piggybacking
1	Suriya Subramanian, Michael W. Hicks, Kathryn S. McKinley	Dynamic software updates: a VM-centric approach.	PLDI	2009	DBLP DOI BibTeX RDF	virtual machine technology, garbage collection, dynamic software updating
1	Iulian Neamtiu, Michael W. Hicks	Safe and timely updates to multi-threaded programs.	PLDI	2009	DBLP DOI BibTeX RDF	update safety, update timeliness, multi-threading, dynamic software updating
1	Christopher M. Hayden, Eric A. Hardisty, Michael W. Hicks, Jeffrey S. Foster	Efficient Systematic Testing for Dynamically Updatable Software.	HotSWUp	2009	DBLP DOI BibTeX RDF
1	Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael W. Hicks	Static type inference for Ruby.	SAC	2009	DBLP DOI BibTeX RDF	contracts, type inference, Ruby, dynamic typing
1	Brian J. Corcoran, Nikhil Swamy, Michael W. Hicks	Cross-tier, label-based security enforcement for web applications.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	database programming, security enforcement, compilers, web applications, type systems
1	Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman	A theory of typed coercions and its applications.	ICFP	2009	DBLP DOI BibTeX RDF	coercion insertion, gradual typing, nonambiguity, type-directed translation, provenance
1	Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster, Patrick Jenkins	Modular Information Hiding and Type-Safe Linking for C.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Reliability, Information hiding, Modules, packages, Code design, Coding Tools and Techniques
1	Nikhil Swamy, Michael Hicks	Verified enforcement of stateful information release policies.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	affine types, certified evaluation, state modifying policies, dependent types, declassification, singleton types
1	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.	2008	DBLP DOI BibTeX RDF
1	Nikhil Swamy, Brian J. Corcoran, Michael Hicks	Fable: A Language for Enforcing User-defined Security Policies.	IEEE Symposium on Security and Privacy	2008	DBLP DOI BibTeX RDF	verified enforcement, access control, information flow, provenance, Language-based security
1	Nikhil Swamy, Michael Hicks	Verified enforcement of stateful information release policies.	PLAS	2008	DBLP DOI BibTeX RDF	certified evaluation, state modifying, dependent, declassification, affine, singleton types
1	Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis	Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming.	POPL	2008	DBLP DOI BibTeX RDF	contextual effects, version consistency, type and effect systems, dynamic software updating, computation effects, data race detection
1	Dave King 0002, Boniface Hicks, Michael Hicks, Trent Jaeger	Implicit Flows: Can't Live with 'Em, Can't Live without 'Em.	ICISS	2008	DBLP DOI BibTeX RDF
1	Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks, Vibha Sazawal	Path projection for user-centered static analysis tools.	PASTE	2008	DBLP DOI BibTeX RDF
1	Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks, Iulian Neamtiu	Formalizing Soundness of Contextual Effects.	TPHOLs	2008	DBLP DOI BibTeX RDF
1	Trevor Jim, Nikhil Swamy, Michael Hicks	Defeating script injection attacks with browser-enforced embedded policies.	WWW	2007	DBLP DOI BibTeX RDF	script injection, cross-site scripting, web application security
1	Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster	Modular information hiding and type-safe linking for C.	TLDI	2007	DBLP DOI BibTeX RDF	C, information hiding, type-safety, module systems
1	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.	2007	DBLP DOI BibTeX RDF	Proteus, updateability analysis, type inference, capability, Dynamic software updating
1	Michael W. Hicks (eds.)	Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, PLAS 2007, San Diego, California, USA, June 14, 2007	PLAS	2007	DBLP BibTeX RDF
1	Jeffrey S. Foster, Michael W. Hicks, William Pugh	Improving software quality with static analysis.	PASTE	2007	DBLP DOI BibTeX RDF	FFIs, Java, software quality, C, modularity, network protocols, data races, bugs, bug patterns
1	Nick L. Petroni Jr., Michael W. Hicks	Automated detection of persistent kernel control-flow attacks.	ACM Conference on Computer and Communications Security	2007	DBLP DOI BibTeX RDF	CFI, integrity, virtualization, kernel, rootkit
1	Boniface Hicks, Dave King 0002, Patrick McDaniel, Michael Hicks	Trusted declassification: : high-level policy for a security-typed language.	PLAS	2006	DBLP DOI BibTeX RDF	noninterference modolo trusted methods, FJifP, Jif, security-typed languages, trusted declassification, security policy, information-flow control, declassification
1	Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zdancewic	Managing Policy Updates in Security-Typed Languages.	CSFW	2006	DBLP DOI BibTeX RDF
1	Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks	Existential Label Flow Inference Via CFL Reachability.	SAS	2006	DBLP DOI BibTeX RDF
1	Nikhil Swamy, Michael W. Hicks, Greg Morrisett, Dan Grossman, Trevor Jim	Safe manual memory management in Cyclone.	Sci. Comput. Program.	2006	DBLP DOI BibTeX RDF
1	Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks	LOCKSMITH: context-sensitive correlation analysis for race detection.	PLDI	2006	DBLP DOI BibTeX RDF	locksmith, correlation, type inference, context-sensitivity, race detection, multi-threaded programming
1	Iulian Neamtiu, Michael W. Hicks, Gareth Stoyle, Manuel Oriol	Practical dynamic software updating for C.	PLDI	2006	DBLP DOI BibTeX RDF	function indirection, loop extraction, type wrapping, dynamic software updating
1	James Rose, Nikhil Swamy, Michael Hicks	Dynamic inference of polymorphic lock types.	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
1	Iulian Neamtiu, Jeffrey S. Foster, Michael Hicks	Understanding source code evolution using abstract syntax tree matching.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	software evolution, source code analysis, abstract syntax trees
1	Pavlos Papageorgiou, Michael Hicks	Merging Network Measurement with Data Transport.	PAM	2005	DBLP DOI BibTeX RDF
1	Michael W. Hicks, Scott Nettles	Dynamic software updating.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	typed assembly language, Dynamic software updating
1	Manuel Oriol, Michael W. Hicks	Tagged Sets: A Secure and Transparent Coordination Medium.	COORDINATION	2005	DBLP DOI BibTeX RDF
1	Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu	Mutatis mutandis: safe and predictable dynamic software updating.	POPL	2005	DBLP DOI BibTeX RDF	proteus, updateability analysis, type inference, capability, dynamic software updating
1	Iulian Neamtiu, Jeffrey S. Foster, Michael W. Hicks	Understanding source code evolution using abstract syntax tree matching.	MSR	2005	DBLP DOI BibTeX RDF	software evolution, source code analysis, abstract syntax trees
1	Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim	Experience with safe manual memory-management in cyclone.	ISMM	2004	DBLP DOI BibTeX RDF	unique pointers, memory management, regions, memory safety, cyclone
1	Polyvios Pratikakis, Jaime Spacco, Michael W. Hicks	Transparent proxies for java futures.	OOPSLA	2004	DBLP DOI BibTeX RDF	Java, type inference, proxy, future, type qualifier
1	Gavin M. Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough	Dynamic rebinding for marshalling and update, with destruct-time ?	SIGPLAN Notices	2003	DBLP DOI BibTeX RDF
1	Michael W. Hicks, Angelos D. Keromytis, Jonathan M. Smith	A secure PLAN.	IEEE Transactions on Systems, Man, and Cybernetics, Part C	2003	DBLP DOI BibTeX RDF
1	Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough	Dynamic rebinding for marshalling and update, with destruct-time?	ICFP	2003	DBLP DOI BibTeX RDF	programming languages, distributed programming, lambda calculus, dynamic binding, dynamic update, serialisation, marshalling
1	Michael W. Hicks, Jonathan T. Moore, David Wetherall, Scott Nettles	Experiences with Capsule-Based Active Networking.	DANCE	2002	DBLP DOI BibTeX RDF
1	Michael W. Hicks, Angelos D. Keromytis, Jonathan M. Smith	A Secure PLAN.	DANCE	2002	DBLP DOI BibTeX RDF
1	Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney	Region-Based Memory Management in Cyclone.	PLDI	2002	DBLP DOI BibTeX RDF
1	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	DBLP BibTeX RDF
1	Seong-Kyu Song, Stephen Shannon, Michael W. Hicks, Scott Nettles	Evolution in Action: Using Active Networking to Evolve Network Support for Mobility.	IWAN	2002	DBLP DOI BibTeX RDF
1	Michael W. Hicks, Jonathan T. Moore, Scott Nettles	Dynamic Software Updating.	PLDI	2001	DBLP DOI BibTeX RDF
1	Michael W. Hicks, Jonathan T. Moore, Scott Nettles	Compiling PLAN to SNAP.	IWAN	2001	DBLP DOI BibTeX RDF
1	Jonathan T. Moore, Michael W. Hicks, Scott Nettles	Practical Programmable Packets.	INFOCOM	2001	DBLP BibTeX RDF
1	Kostas G. Anagnostakis, Michael W. Hicks, Sotiris Ioannidis, Angelos D. Keromytis, Jonathan M. Smith	Scalable Resource Control in Active Networks.	IWAN	2000	DBLP DOI BibTeX RDF
1	Michael W. Hicks, Scott Nettles	Active Networking Means Evolution (or Enhanced Extensibility Required).	IWAN	2000	DBLP DOI BibTeX RDF
1	Michael W. Hicks, Stephanie Weirich, Karl Crary	Safe and Flexible Dynamic Linking of Native Code.	Types in Compilation	2000	DBLP DOI BibTeX RDF
1	Pankaj Kakkar, Michael W. Hicks, Jonathan T. Moore, Carl A. Gunter	Specifying the PLAN Network Programming Langauge.	Electr. Notes Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
1	Michael W. Hicks, Angelos D. Keromytis	A Secure Plan.	IWAN	1999	DBLP DOI BibTeX RDF
1	Michael W. Hicks, Jonathan T. Moore, D. Scott Alexander, Carl A. Gunter, Scott Nettles	PLANet: An Active Internetwork.	INFOCOM	1999	DBLP BibTeX RDF
1	Michael W. Hicks, Suresh Jagannathan, Richard Kelsey, Jonathan T. Moore, Cristian Ungureanu	Transparent Communication for Distributed Objects in Java.	Java Grande	1999	DBLP DOI BibTeX RDF
1	Michael W. Hicks, Luke Hornof, Jonathan T. Moore, Scott Nettles	A Study of Large Object Spaces.	ISMM	1998	DBLP DOI BibTeX RDF
1	Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles	PLAN: A Packet Language for Active Networks.	ICFP	1998	DBLP DOI BibTeX RDF
1	Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles	Network Programming Using PLAN.	ICCL Workshop: Internet Programming Languages	1998	DBLP DOI BibTeX RDF
1	Michael W. Hicks, Jonathan T. Moore, Scott Nettles	The Measured Cost of Copying Garbage Collection Mechanisms.	ICFP	1997	DBLP DOI BibTeX RDF	OSCAR

Publications of Michael Hicks Michael W. Hicks ( http://dblp.L3S.de/Authors/Michael_Hicks )