The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael W. Hicks: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Manuel Oriol, Michael W. Hicks
    Tagged Sets: A Secure and Transparent Coordination Medium. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2005, pp:252-267 [Conf]
  2. Michael W. Hicks, Angelos D. Keromytis, Jonathan M. Smith
    A Secure PLAN. [Citation Graph (0, 0)][DBLP]
    DANCE, 2002, pp:224-237 [Conf]
  3. Michael W. Hicks, Jonathan T. Moore, David Wetherall, Scott Nettles
    Experiences with Capsule-Based Active Networking. [Citation Graph (0, 0)][DBLP]
    DANCE, 2002, pp:16-24 [Conf]
  4. Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles
    Network Programming Using PLAN. [Citation Graph (0, 0)][DBLP]
    ICCL Workshop: Internet Programming Languages, 1998, pp:127-143 [Conf]
  5. Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough
    Dynamic rebinding for marshalling and update, with destruct-time? [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:99-110 [Conf]
  6. Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles
    PLAN: A Packet Language for Active Networks. [Citation Graph (0, 0)][DBLP]
    ICFP, 1998, pp:86-93 [Conf]
  7. Michael W. Hicks, Jonathan T. Moore, Scott Nettles
    The Measured Cost of Copying Garbage Collection Mechanisms. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:292-305 [Conf]
  8. Michael W. Hicks, Jonathan T. Moore, D. Scott Alexander, Carl A. Gunter, Scott Nettles
    PLANet: An Active Internetwork. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 1999, pp:1124-1133 [Conf]
  9. Jonathan T. Moore, Michael W. Hicks, Scott Nettles
    Practical Programmable Packets. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 2001, pp:41-50 [Conf]
  10. Kostas G. Anagnostakis, Michael W. Hicks, Sotiris Ioannidis, Angelos D. Keromytis, Jonathan M. Smith
    Scalable Resource Control in Active Networks. [Citation Graph (0, 0)][DBLP]
    IWAN, 2000, pp:343-357 [Conf]
  11. Seong-Kyu Song, Stephen Shannon, Michael W. Hicks, Scott Nettles
    Evolution in Action: Using Active Networking to Evolve Network Support for Mobility. [Citation Graph (0, 0)][DBLP]
    IWAN, 2002, pp:146-161 [Conf]
  12. Michael W. Hicks, Angelos D. Keromytis
    A Secure Plan. [Citation Graph (0, 0)][DBLP]
    IWAN, 1999, pp:307-314 [Conf]
  13. Michael W. Hicks, Jonathan T. Moore, Scott Nettles
    Compiling PLAN to SNAP. [Citation Graph (0, 0)][DBLP]
    IWAN, 2001, pp:134-151 [Conf]
  14. Michael W. Hicks, Scott Nettles
    Active Networking Means Evolution (or Enhanced Extensibility Required). [Citation Graph (0, 0)][DBLP]
    IWAN, 2000, pp:16-32 [Conf]
  15. Michael W. Hicks, Luke Hornof, Jonathan T. Moore, Scott Nettles
    A Study of Large Object Spaces. [Citation Graph (0, 0)][DBLP]
    ISMM, 1998, pp:138-145 [Conf]
  16. Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim
    Experience with safe manual memory-management in cyclone. [Citation Graph (0, 0)][DBLP]
    ISMM, 2004, pp:73-84 [Conf]
  17. Michael W. Hicks, Suresh Jagannathan, Richard Kelsey, Jonathan T. Moore, Cristian Ungureanu
    Transparent Communication for Distributed Objects in Java. [Citation Graph (0, 0)][DBLP]
    Java Grande, 1999, pp:160-170 [Conf]
  18. Iulian Neamtiu, Jeffrey S. Foster, Michael W. Hicks
    Understanding source code evolution using abstract syntax tree matching. [Citation Graph (0, 0)][DBLP]
    MSR, 2005, pp:- [Conf]
  19. Polyvios Pratikakis, Jaime Spacco, Michael W. Hicks
    Transparent proxies for java futures. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2004, pp:206-223 [Conf]
  20. Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney
    Region-Based Memory Management in Cyclone. [Citation Graph (0, 0)][DBLP]
    PLDI, 2002, pp:282-293 [Conf]
  21. Michael W. Hicks, Jonathan T. Moore, Scott Nettles
    Dynamic Software Updating. [Citation Graph (0, 0)][DBLP]
    PLDI, 2001, pp:13-23 [Conf]
  22. Iulian Neamtiu, Michael W. Hicks, Gareth Stoyle, Manuel Oriol
    Practical dynamic software updating for C. [Citation Graph (0, 0)][DBLP]
    PLDI, 2006, pp:72-83 [Conf]
  23. Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks
    LOCKSMITH: context-sensitive correlation analysis for race detection. [Citation Graph (0, 0)][DBLP]
    PLDI, 2006, pp:320-331 [Conf]
  24. Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu
    Mutatis mutandis: safe and predictable dynamic software updating. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:183-194 [Conf]
  25. Michael W. Hicks, Stephanie Weirich, Karl Crary
    Safe and Flexible Dynamic Linking of Native Code. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 2000, pp:147-176 [Conf]
  26. Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang
    Cyclone: A Safe Dialect of C. [Citation Graph (0, 0)][DBLP]
    USENIX Annual Technical Conference, General Track, 2002, pp:275-288 [Conf]
  27. Pankaj Kakkar, Michael W. Hicks, Jonathan T. Moore, Carl A. Gunter
    Specifying the PLAN Network Programming Langauge. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:26, n:, pp:- [Journal]
  28. Nikhil Swamy, Michael W. Hicks, Greg Morrisett, Dan Grossman, Trevor Jim
    Safe manual memory management in Cyclone. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:62, n:2, pp:122-144 [Journal]
  29. Michael W. Hicks, Scott Nettles
    Dynamic software updating. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2005, v:27, n:6, pp:1049-1096 [Journal]
  30. Michael W. Hicks, Angelos D. Keromytis, Jonathan M. Smith
    A secure PLAN. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Systems, Man, and Cybernetics, Part C, 2003, v:33, n:3, pp:413-426 [Journal]
  31. Jeffrey S. Foster, Michael W. Hicks, William Pugh
    Improving software quality with static analysis. [Citation Graph (0, 0)][DBLP]
    PASTE, 2007, pp:83-84 [Conf]
  32. Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu
    Mutatis Mutandis: Safe and predictable dynamic software updating. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:4, pp:- [Journal]

  33. Automated detection of persistent kernel control-flow attacks. [Citation Graph (, )][DBLP]


  34. A theory of typed coercions and its applications. [Citation Graph (, )][DBLP]


  35. Dynamic software updates: a VM-centric approach. [Citation Graph (, )][DBLP]


  36. Safe and timely updates to multi-threaded programs. [Citation Graph (, )][DBLP]


  37. Static type inference for Ruby. [Citation Graph (, )][DBLP]


  38. Cross-tier, label-based security enforcement for web applications. [Citation Graph (, )][DBLP]


  39. Efficient Systematic Testing for Dynamically Updatable Software. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002