M. Hicks

发表

Elaine Shi, Jonathan Katz, Yan Huang, 2014, 2014 IEEE Symposium on Security and Privacy.
Elaine Shi, Jonathan Katz, Andrew Miller, 2014, POPL.
James Cheney, Dan Grossman, Michael Hicks, 2001 .
G. Morrisett, T. Jim, D. Grossman, 2004 .
Michael Hicks, Aseem Rastogi, Matthew A. Hammer, 2014, 2014 IEEE Symposium on Security and Privacy.
James Cheney, Dan Grossman, Trevor Jim, 2002, USENIX Annual Technical Conference, General Track.
Michael Hicks, Jeffrey S. Foster, Yit Phang Khoo, 2011, SAS.
Avik Chaudhuri, Michael Hicks, Jeffrey S. Foster, 2011, POPL '11.
Jeffrey S. Foster, Michael W. Hicks, Christopher M. Hayden, 2009, HotSWUp '09.
Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis, 2008, POPL '08.
Michael Hicks, Jeffrey S. Foster, Edward K. Smith, 2012, 2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp).
Michael Hicks, Jeffrey S. Foster, Iulian Neamtiu, 2005 .
Jeffrey S. Foster, Polyvios Pratikakis, Michael W. Hicks, 2006, PLDI '06.
Matthew A. Hammer, Jonathan Katz, Aseem Rastogi, 2013 .
M. Hicks, Robert Rand, Kartik Singhal, 2019 .
Michael Hicks, Eric Koskinen, Tachio Terauchi, 2016 .
D. Tarditi, M. Hicks, Andrew Ruef, 2017 .
W. Emfinger, P. Kumar, G. Karsai, 2015 .
Khoo Yit Phang, J. Foster, M. Hicks, 2009 .
Michael Hicks, Michelle L. Mazurek, Daniel Votipka, 2021, SOUPS @ USENIX Security Symposium.
Michael Hicks, Amol Deshpande, A. Deshpande, 2005 .
Shaopeng Zhu, Shih-Han Hung, Xiaodi Wu, 2018, ArXiv.
Michael Hicks, Gavin M. Bierman, Peter Sewell, 2003, ACM SIGPLAN Notices.
Jie Zhou, M. Hicks, J. Criswell, 2022, ArXiv.
Manuel Oriol, Iulian Neamtiu, Michael W. Hicks, 2006, PLDI '06.
Michael Hicks, Mudhakar Srivatsa, M. Srivatsa, 2012, CCS.
Shaopeng Zhu, Shih-Han Hung, Xiaodi Wu, 2018, Proc. ACM Program. Lang..
M. Hicks, Robert Rand, Finn Voichick, 2022, Proc. ACM Program. Lang..
Shih-Han Hung, Xiaodi Wu, Michael Hicks, 2019, Proc. ACM Program. Lang..
M. Hicks, Xiaodi Wu, K. Hietala, 2021, Proc. ACM Program. Lang..
Chang Liu, Michael Hicks, David Darais, 2017, Proc. ACM Program. Lang..
Jeffrey S. Foster, Michael Furr, Michael W. Hicks, 2009, SAC '09.
Michael Hicks, James Parker, Lindsey Kuper, 2020, Proc. ACM Program. Lang..
James Cheney, Dan Grossman, Trevor Jim, 2002, PLDI '02.
Michael Hicks, Nikhil Swamy, Steve Zdancewic, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).
Gilles Barthe, Florian Kerschbaum, Michael Hicks, 2014, Dagstuhl Reports.
Andrew Ruef, Michael Hicks, Timos Antonopoulos, 2017, ESEC/SIGSOFT FSE.
Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis, 2006, SAS.
Michael Hicks, Nikhil Swamy, Brian J. Corcoran, 2008, 2008 IEEE Symposium on Security and Privacy (sp 2008).
Michael Hicks, Leonidas Lampropoulos, Benjamin C. Pierce, 2019, Proc. ACM Program. Lang..
Michael Hicks, Eric Koskinen, Tachio Terauchi, 2017, PLDI.
Jeffrey S. Foster, Michael W. Hicks, Karla Saur, 2016, Softw. Pract. Exp..
Vibha Sazawal, Michael Hicks, Jeffrey S. Foster, 2008, PASTE '08.
Polyvios Pratikakis, Jaime Spacco, Michael W. Hicks, 2004, OOPSLA.
Andrew Ruef, Michael Hicks, Shiyi Wei, 2018, CCS.
Michael Hicks, Jeffrey S. Foster, Saurabh Srivastava, 2007, IEEE Transactions on Software Engineering.
Michael Hicks, Nikhil Swamy, Aseem Rastogi, 2017, ArXiv.
Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis, 2011, TOPL.
Jeffrey S. Foster, Iulian Neamtiu, Michael W. Hicks, 2005, MSR.
M. Hicks, Shiyi Wei, Zenong Zhang, 2022, USENIX Security Symposium.
M. Hicks, Xiaodi Wu, Yuxiang Peng, 2023, ACM Transactions on Quantum Computing.
Shih-Han Hung, Michael Hicks, Kesha Hietala, 2020, ITP.
Michael Hicks, Jeffrey S. Foster, Matthew A. Hammer, 2014, PLDI.
Tudor Dumitras, Michael W. Hicks, Karla Saur, 2015, 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME).
Michael Hicks, Gavin M. Bierman, Peter Sewell, 2007, Journal of Functional Programming.
Peter Sewell, Michael Hicks, Gavin Bierman, 2003 .
Michael Hicks, James Parker, Michelle L. Mazurek, 2020, USENIX Security Symposium.
Kathryn S. McKinley, Michael W. Hicks, Suriya Subramanian, 2009, PLDI '09.
Michael Hicks, Michael J. Coblenz, Michelle L. Mazurek, 2021, ArXiv.
Michael J. Coblenz, Michelle L. Mazurek, M. Hicks, 2021, 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE).
Nikhil Swamy, Michael W. Hicks, Brian J. Corcoran, 2009, SIGMOD Conference.
Nick L. Petroni, Michael Hicks, M. Hicks, 2008 .
David Van Horn, M. Hicks, Leonidas Lampropoulos, 2022, 2022 IEEE 35th Computer Security Foundations Symposium (CSF).
Michael W. Hicks, Nick L. Petroni, M. Hicks, 2007, CCS '07.
Michael Hicks, James Parker, Niki Vazou, 2019, Proc. ACM Program. Lang..
Michael Hicks, Gavin M. Bierman, Nataliya Guts, 2014, MSFP.
Tudor Dumitras, Andrew Ruef, Sanghyun Hong, 2017, ArXiv.
Andrew Ruef, Michael Hicks, Dave Levin, 2016, CCS.
Michael Hicks, Mudhakar Srivatsa, Piotr Mardziel, 2013, J. Comput. Secur..
Michael Hicks, Aseem Rastogi, Piotr Mardziel, 2013, PLAS '13.
Michael Hicks, Mudhakar Srivatsa, Piotr Mardziel, 2011, 2011 IEEE 24th Computer Security Foundations Symposium.
M. Hicks, Xiaodi Wu, S. Hung, 2021, Proc. ACM Program. Lang..
Shih-Han Hung, Xiaodi Wu, Michael Hicks, 2019, ArXiv.
Michael Hicks, Jeffrey S. Foster, Nate Foster, 2012, VSTTE.
William R. Harris, M. Hicks, David Darais, 2023, Art Sci. Eng. Program..
Andrew Ruef, Michael Hicks, Jeffrey S. Foster, 2018, ESOP.
William Pugh, Jeffrey S. Foster, Michael W. Hicks, 2007, PASTE '07.
Michael Hicks, Stephen Magill, José Manuel Calderón Trilla, 2018, POST.
Michael Hicks, Nataliya Guts, Daan Leijen, 2011, ICFP.
Trent Jaeger, Boniface Hicks, Dave King, 2008, ICISS.
Boniface Hicks, Michael Hicks, Stephan A Zdancewic, 2005 .
Elaine Shi, Chang Liu, Michael Hicks, 2013, 2013 IEEE 26th Computer Security Foundations Symposium.
Michelle L. Mazurek, Kelsey R. Fulton, Dave Levin, 2019, 1907.01679.
M. Hicks, Xiaodi Wu, Robert Rand, 2022, Proceedings of the National Academy of Sciences of the United States of America.
Jeffrey S. Foster, Michael Hicks, Christopher M. Hayden, 2009 .
Jie Zhou, M. Hicks, J. Criswell, 2022, Proc. ACM Program. Lang..
E. Shi, Jonathan Katz, Andrew K. Miller, 2014, POPL.
Peter Sewell, M. Hicks, G. Bierman, 2005, POPL '05.
Andrew Ruef, Michael Hicks, Leonidas Lampropoulos, 2019, POST.
Laurent Vanbever, Arjun Guha, Nate Foster, 2016, SOSR.
Laurent Vanbever, Arjun Guha, Nate Foster, 2015, ArXiv.
J. Foster, M. Hicks, 2010, Commun. ACM.
Miguel Castro, Michael Hicks, Periklis Akritidis, 2010, POPL '10.
Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis, 2008, TPHOLs.
Gavin M. Bierman, Iulian Neamtiu, Peter Sewell, 2007, TOPL.
Dan Grossman, Nikhil Swamy, Trevor Jim, 2006, Sci. Comput. Program..
Dan Grossman, Trevor Jim, J. Gregory Morrisett, 2004, ISMM '04.
Michael Hicks, Iulian Neamtiu, M. Hicks, 2009, PLDI 2009.
Michael Hicks, Nikhil Swamy, Aseem Rastogi, 2017, POST.
Jonathan Katz, Michael Hicks, Mudhakar Srivatsa, 2012, PLAS.
E. Shi, Jonathan Katz, Andrew K. Miller, 2014, ACM-SIGACT Symposium on Principles of Programming Languages.
Elaine Shi, Jonathan Katz, Andrew Miller, 2015, Tiny Trans. Comput. Sci..
M. Hicks, S. Nettles, 2005, TOPL.
Mário S. Alvim, Michael R. Clarkson, Piotr Mardziel, 2014, 2014 IEEE Symposium on Security and Privacy.
Gavin M. Bierman, Peter Sewell, Michael W. Hicks, 2003, ICFP '03.