J. Gregory Morrisett

发表

David Walker, Karl Crary, J. Gregory Morrisett, 2000, TOPL.
Benjamin C. Pierce, J. Gregory Morrisett, Catalin Hritcu, 2013, 2013 IEEE Symposium on Security and Privacy.
Lars Birkedal, J. Gregory Morrisett, Aleksandar Nanevski, 2007, ESOP.
J. Gregory Morrisett, Adam Petcher, J. G. Morrisett, 2015, 2015 IEEE 28th Computer Security Foundations Symposium.
Lars Birkedal, J. Gregory Morrisett, Aleksandar Nanevski, 2006, ICFP '06.
Elaine Shi, J. Gregory Morrisett, Xiong Fan, 2019, IACR Cryptol. ePrint Arch..
J. Gregory Morrisett, 2009, CACM.
Ryan Newton, Samuel Madden, Lewis Girod, 2008, LCTES '08.
James Cheney, Dan Grossman, Trevor Jim, 2002, USENIX Annual Technical Conference, General Track.
J. Gregory Morrisett, Jean-Baptiste Tristan, Daniel Huang, 2017, PLDI.
Matthias Felleisen, Robert Harper, J. Gregory Morrisett, 1995, FPCA '95.
Karl Crary, J. Gregory Morrisett, Neal Glew, 1999, TOPL.
Bas Spitters, J. Gregory Morrisett, Daniel Huang, 2018, ArXiv.
J. Gregory Morrisett, Gang Tan, 2016, VSTTE.
Fred B. Schneider, Robert Harper, J. Gregory Morrisett, 2001, Informatics.
Dan Grossman, J. Gregory Morrisett, Steve Zdancewic, 1999, ICFP '99.
J. Gregory Morrisett, Frederick Smith, G. Morrisett, 1998, ISMM '98.
Martin Hofmann, Nick Benton, J. Gregory Morrisett, 2008, Types, Logics and Semantics for State.
Robert Harper, J. Gregory Morrisett, R. Harper, 1995, POPL '95.
J. Gregory Morrisett, Matthew Fluet, Amal Ahmed, 2005, ICFP '05.
David Walker, J. Gregory Morrisett, D. Walker, 2000, Types in Compilation.
James Cheney, Dan Grossman, Trevor Jim, 2002, PLDI '02.
Dan Grossman, J. Gregory Morrisett, Steve Zdancewic, 2000, TOPL.
Dan Grossman, Trevor Jim, J. Gregory Morrisett, 2003, Journal of Functional Programming.
Adam Chlipala, J. Gregory Morrisett, Gregory Malecha, 2009, ICFP.
J. Gregory Morrisett, Matthew Fluet, 2004, ICFP '04.
Gregory D. Hager, Shwetak N. Patel, Klara Nahrstedt, 2017, ArXiv.
J. Gregory Morrisett, Gregory Malecha, 2010, ICTAC.
Thorsten von Eicken, J. Gregory Morrisett, Anindya Basu, 1998, Proceedings. IEEE INFOCOM '98, the Conference on Computer Communications. Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies. Gateway to the 21st Century (Cat. No.98.
J. Gregory Morrisett, 2012, APLAS.
Dan Grossman, J. Gregory Morrisett, J. G. Morrisett, 2000, Types in Compilation.
J. Gregory Morrisett, Adam Petcher, G. Morrisett, 2014, POST.
J. Gregory Morrisett, Matthew Fluet, Amal Ahmed, 2007, Fundam. Informaticae.
Robert Harper, J. Gregory Morrisett, Yasuhiko Minamide, 1996, POPL '96.
J. Gregory Morrisett, Jeannette M. Wing, Scott Nettles, 1994, TOPL.
Shwetak N. Patel, Jennifer Rexford, J. Gregory Morrisett, 2019, ArXiv.
J. Gregory Morrisett, 2003, ASIAN.
J. Gregory Morrisett, Aleksandar Nanevski, Paul Govereau, 2009, TLDI '09.
Karl Crary, J. Gregory Morrisett, Stephanie Weirich, 1998, ICFP '98.
Martin A. Nowak, David G. Rand, Hanspeter Pfister, 2013, 2013 IEEE 27th International Symposium on Parallel and Distributed Processing.
J. Gregory Morrisett, Eric C. Cooper, Eric C. Cooper, 1990 .
J. Gregory Morrisett, 2012, CPP.
Karl Crary, J. Gregory Morrisett, 1999, ICALP.
Matt Welsh, J. Gregory Morrisett, Geoffrey Mainland, 2008, ICFP.
J. Gregory Morrisett, 2003, ICLP.
J. Gregory Morrisett, 2002, PASTE '02.
J. Gregory Morrisett, Gang Tan, 2017, Journal of Automated Reasoning.
Ryan Newton, Matt Welsh, J. Gregory Morrisett, 2007, SenSys '07.
David Walker, J. Gregory Morrisett, Frederick Smith, 2000, ESOP.
J. Gregory Morrisett, Gregory Malecha, Ryan Wisnesky, 2010, POPL '10.
J. Gregory Morrisett, Matthew Fluet, Amal Ahmed, 2006, ESOP.
J. Gregory Morrisett, Andrew P. Tolmach, J. G. Morrisett, 1993, PPOPP '93.
J. Gregory Morrisett, 2008, MPC.
Martín Abadi, J. Gregory Morrisett, Andrei Sabelfeld, 2005, J. Funct. Program..
J. Gregory Morrisett, Geoffrey Mainland, G. Mainland, 2010, Haskell '10.
David Walker, Karl Crary, J. Gregory Morrisett, 1998, Journal of Functional Programming.
J. Gregory Morrisett, Matthew Fluet, 2006, J. Funct. Program..
J. Gregory Morrisett, Abhishek Anand, A. Anand, 2017, ArXiv.
Kevin W. Hamlen, Fred B. Schneider, J. Gregory Morrisett, 2006, TOPL.
J. Gregory Morrisett, 2002, ESOP.
Lars Birkedal, J. Gregory Morrisett, Aleksandar Nanevski, 2008, Journal of Functional Programming.
J. Gregory Morrisett, Neal Glew, J. G. Morrisett, 1999, POPL '99.
Dan Grossman, Nikhil Swamy, Trevor Jim, 2006, Sci. Comput. Program..
Dan Grossman, Trevor Jim, J. Gregory Morrisett, 2004, ISMM '04.
Karl Crary, J. Gregory Morrisett, Stephanie Weirich, 2002, J. Funct. Program..
J. Gregory Morrisett, Gang Tan, J. G. Morrisett, 2007, OOPSLA.
Shwetak N. Patel, Radha Poovendran, Elizabeth D. Mynatt, 2017, ArXiv.
J. Gregory Morrisett, Jesse A. Tov, Edward Gan, 2015, LINEARITY.
Joseph Tassarotti, J. Gregory Morrisett, Jean-Baptiste Tristan, 2012, PLDI.
Martin Hofmann, Nick Benton, J. Gregory Morrisett, 2008, Types, Logics and Semantics for State.
J. Gregory Morrisett, Gang Tan, Joseph Siefers, 2010, CCS '10.
Robert Harper, J. Gregory Morrisett, Christopher A. Stone, 1996, PLDI '96.
J. Gregory Morrisett, Daniel Huang, 2013, CPP.
David Walker, Karl Crary, J. Gregory Morrisett, 1999, POPL '99.
Ryan Newton, Matt Welsh, J. Gregory Morrisett, 2007, 2007 6th International Symposium on Information Processing in Sensor Networks.
J. Gregory Morrisett, 2016, PPDP.
Lars Birkedal, J. Gregory Morrisett, Aleksandar Nanevski, 2008, ESOP.
J. Gregory Morrisett, Gregory Malecha, Ryan Wisnesky, 2011, J. Symb. Comput..
J. Gregory Morrisett, Gang Tan, Bin Zeng, 2013, TSEC.
Stephen McCamant, J. Gregory Morrisett, Stephen McCamant, 2006, USENIX Security Symposium.
J. Gregory Morrisett, Jean-Baptiste Tristan, Paul Govereau, 2011, PLDI '11.
Lars Birkedal, J. Gregory Morrisett, Aleksandar Nanevski, 2008, ICFP.
Kevin W. Hamlen, Fred B. Schneider, J. Gregory Morrisett, 2006, PLAS '06.
Robert Harper, J. Gregory Morrisett, 1997, Electron. Notes Theor. Comput. Sci..
Jonathan M. Smith, Benjamin C. Pierce, J. Gregory Morrisett, 2012, 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops.
Jonathan M. Smith, Benjamin C. Pierce, J. Gregory Morrisett, 2011, PLOS '11.
Gary McGraw, J. Gregory Morrisett, G. Morrisett, 2000, IEEE Software.
David Walker, Karl Crary, J. Gregory Morrisett, 2003, Journal of Functional Programming.
Peter Lee, Perry Cheng, Robert Harper, 2004, SIGP.
Elaine Shi, J. Gregory Morrisett, Xiong Fan, 2021, IACR Cryptol. ePrint Arch..
Adam Chlipala, J. Gregory Morrisett, Gregory Malecha, 2009, ICFP.