☰

Greg Morrisett - Publications

Affiliations: 
Cornell University, Ithaca, NY, United States 
 Harvard University, Cambridge, MA, United States 
Tree Info Similar researchers PubMed Report error

51 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2018 Tan G, Morrisett G. Bidirectional Grammars for Machine-Code Decoding and Encoding Journal of Automated Reasoning. 60: 257-277. DOI: 10.1007/S10817-017-9429-1  0.39
2015 Petcher A, Morrisett G. The foundational cryptography framework Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9036: 53-72. DOI: 10.1007/978-3-662-46666-7_4  0.339
2013 Sun M, Tan G, Siefers J, Zeng B, Morrisett G. Bringing Java's wild native world under control Acm Transactions On Information and System Security. 16. DOI: 10.1145/2535505  0.435
2013 Chiricescu S, Dehon A, Demange D, Iyer S, Kliger A, Morrisett G, Pierce BC, Reubenstein H, Smith JM, Sullivan GT, Thomas A, Tov J, White CM, Wittenberg D. SAFE: A clean-slate architecture for secure systems 2013 Ieee International Conference On Technologies For Homeland Security, Hst 2013. 570-576. DOI: 10.1109/THS.2013.6699066  0.341
2013 Huang D, Morrisett G. Formalizing the SAFECode type system Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8307: 211-226. DOI: 10.1007/978-3-319-03545-1_14  0.407
2010 Siefers J, Tan G, Morrisett G. Robusta: Taming the native beast of the JVM Proceedings of the Acm Conference On Computer and Communications Security. 201-211. DOI: 10.1145/1866307.1866331  0.383
2010 Mainland G, Morrisett G. Nikola: Embedding compiled GPU functions in Haskell Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 67-77. DOI: 10.1145/1863523.1863533  0.416
2010 Malecha G, Morrisett G, Shinnar A, Wisnesky R. Toward a verified relational database management system Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 237-248. DOI: 10.1145/1706299.1706329  0.738
2010 Malecha G, Morrisett G, Wisnesky R. Trace-based verification of imperative programs with I/O Journal of Symbolic Computation. DOI: 10.1016/J.Jsc.2010.08.004  0.734
2010 Morrisett G. Integrating types and specifications for secure software development Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6258: 32-35. DOI: 10.1007/978-3-642-14706-7_3  0.355
2009 Chlipala A, Malecha G, Morrisett G, Shinnar A, Wisnesky R. Effective interactive proofs for higher-order imperative programs Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 79-90. DOI: 10.1145/1596550.1596565  0.756
2009 Nanevski A, Govereau P, Morrisett G. Towards Type-theoretic semantics for transactional concurrency Proceedings of the 2009 Acm Sigplan Workshop On Types in Language Design and Implementation, Tldi'09. 79-90. DOI: 10.1145/1481861.1481872  0.4
2009 Wisnesky R, Malecha G, Morrisett G. Certified web services in ynot Preliminary Proceedings - Automated Specification and Verification of Web Systems, Wwv 2009: 5th International Workshop. 5-19.  0.741
2008 Nanevski A, Morrisett G, Shinnar A, Govereau P, Birkedal L. Ynot: Dependent types for imperative programs Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 229-240. DOI: 10.1145/1411204.1411237  0.4
2008 Nanevski A, Morrisett G, Birkedal L. Hoare type theory, polymorphism and separation Journal of Functional Programming. 18: 865-911. DOI: 10.1017/S0956796808006953  0.451
2007 Tan G, Morrisett G. ILEA: Inter-language analysis across java and c Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 39-56. DOI: 10.1145/1297027.1297031  0.351
2007 Nanevski A, Ahmed A, Morrisett G, Birkedal L. Abstract predicates and mutable ADTs in hoare type theory Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4421: 189-204.  0.368
2007 Ahmed A, Fluet M, Morrisett G. L3: A linear language with locations Fundamenta Informaticae. 77: 397-449.  0.731
2006 Hamlen KW, Morrisett G, Schneider FB. Computability classes for enforcement mechanisms Acm Transactions On Programming Languages and Systems. 28: 175-205. DOI: 10.1145/1111596.1111601  0.645
2006 Fluet M, Morrisett G. Monadic regions Journal of Functional Programming. 16: 485-545. DOI: 10.1017/S095679680600596X  0.69
2006 Swamy N, Hicks M, Morrisett G, Grossman D, Jim T. Safe manual memory management in Cyclone Science of Computer Programming. 62: 122-144. DOI: 10.1016/J.Scico.2006.02.003  0.565
2006 Fluet M, Morrisett G, Ahmed A. Linear regions are all you need Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3924: 7-21. DOI: 10.1007/11693024_2  0.693
2006 Hamlen KW, Morrisett G, Schneider FB. Certified in-lined reference monitoring on .NET Plas 2006 - Proceedings of the 2006 Programming Languages and Analysis For Security Workshop. 2006: 7-16.  0.679
2005 Ahmed A, Fluet M, Morrisett G. A step-indexed model of substructural state Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 78-91. DOI: 10.1145/1086365.1086376  0.579
2005 Abadi M, Morrisett G, Sabelfeld A. Language-Based Security Journal of Functional Programming. 15: 129. DOI: 10.1017/S0956796804005428  0.427
2005 Morrisett G, Ahmed A, Fluet M. L 3: A linear language with locations Lecture Notes in Computer Science. 3461: 293-307.  0.728
2005 Morrisett G, Fähndrich M. Proceedings of the TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation: Foreword Proceedings of the Tldi'05: 2005 Acm Sigplan International Workshop On Types in Languages Design and Implementation. iii.  0.347
2004 Tarditi D, Morrisett G, Cheng P, Stone C, Harper R, Lee P. TIL: A type≠directed, optimizing compiler for ML Acm Sigplan Notices. 39: 554-555. DOI: 10.1145/989393.989449  0.702
2004 Hicks M, Grossman D, Morrisett G, Jim T. Experience with safe manual memory-management in cyclone International Symposium On Memory Management, Ismm. 73-84.  0.541
2004 Tarditi D, Morrisett G, Cheng P, Stone C, Harper R, Lee P. TIL: A type-directed optimizing compiler for ML Acm Sigplan Notices. 39: 556-567.  0.681
2003 Smith F, Grossman D, Morrisett G, Hornof L, Jim T. Compiling for template-based run-time code generation Journal of Functional Programming. 13: 677-708. DOI: 10.1017/S095679680200463X  0.59
2003 Morrisett G. Achieving type safety for low-level code Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2896: 1-2. DOI: 10.1007/978-3-540-40965-6_1  0.417
2003 Morrisett G. Conference Record of Annual ACM Symposium on Principles of Programming Languages: Foreword Conference Record of the Annual Acm Symposium On Principles of Programming Languages. iii.  0.335
2002 Crary K, Weirich S, Morrisett G. Intensional polymorphism in type-erasure semantics Journal of Functional Programming. 12: 567-600. DOI: 10.1017/S0956796801004282  0.444
2002 Morrisett G, Crary K, Glew N, Walker D. Stack-based typed assembly language Journal of Functional Programming. 12: 957-959. DOI: 10.1017/S0956796801004178  0.581
2002 Grossman D, Morrisett G, Jim T, Hicks M, Wang Y, Cheney J. Region-based memory management in Cyclone Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 282-293.  0.564
2002 Morrisett G. Type checking systems code Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2305: 1-5.  0.373
2002 Morrisett G, Crary K, Glew N, Walker D. Stack-based typed assembly language Journal of Functional Programming. 12: 43-88.  0.405
2001 Walker D, Morrisett G. Alias types for recursive data structures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2071: 177-206. DOI: 10.1007/3-540-45332-6_7  0.444
2001 Grossman D, Morrisett G. Scalable certification for typed assembly language Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2071: 117-145. DOI: 10.1007/3-540-45332-6_5  0.59
2000 Grossman D, Morrisett G, Zdancewic S. Syntactic type abstraction Acm Transactions On Programming Languages and Systems. 22: 1037-1080. DOI: 10.1145/371880.371887  0.661
2000 Walker D, Crary K, Morrisett G. Typed memory management via static capabilities Acm Transactions On Programming Languages and Systems. 22: 701-771. DOI: 10.1145/363911.363923  0.588
2000 McGraw G, Morrisett G. Attacking malicious code: A report to the Infosec Research Council Ieee Software. 17: 33-41. DOI: 10.1109/52.877857  0.386
2000 Grossman D, Morrisett G, Zdancewic S. Syntactic type abstraction Acm Transactions On Programming Languages and Systems. 22: 1037-1080.  0.627
2000 Walker D, Crary K, Morrisett G. Typed memory management via static capabilities Acm Transactions On Programming Languages and Systems. 22: 701-771.  0.416
1999 Morrisett G, Walker D, Crary K, Glew N. From system F to typed assembly language Acm Transactions On Programming Languages and Systems. 21: 527-568. DOI: 10.1145/319301.319345  0.599
1999 Zdancewic S, Grossman D, Morrisett G. Principals in programming languages: A syntactic proof technique Sigplan Notices (Acm Special Interest Group On Programming Languages). 34: 197-207.  0.31
1999 Morrisett G, Walker D, Crary K, Glew N. From system F to typed assembly language Acm Transactions On Programming Languages and Systems. 21: 527-568.  0.435
1999 Smith F, Morrisett G. Comparing mostly-copying and mark-sweep conservative collection Sigplan Notices (Acm Special Interest Group On Programming Languages). 34: 68-76.  0.308
1999 Crary K, Morrisett G. Type structure for low-level programming languages Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1644: 40-54.  0.422
1998 Morrisett G, Harper R. Typed closure conversion for recursively-defined functions (extended abstract) Electronic Notes in Theoretical Computer Science. 10: 230-241. DOI: 10.1016/S1571-0661(05)80702-9  0.643
Show low-probability matches.