Greg Morrisett

Geciteerd door

	Alles	Sinds 2020
Citaties	11988	1817
h-index	51	24
i10-index	89	46

600

300

150

450

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202577 92 198 209 310 271 434 497 512 511 543 488 585 522 516 490 459 471 488 472 462 464 432 453 373 376 315 381 337 34

Openbare toegang

Alles bekijken

9 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Dan GrossmanComputer Science, University of WashingtonGeverifieerd e-mailadres voor cs.washington.edu
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityGeverifieerd e-mailadres voor andrew.cmu.edu
David WalkerPrinceton UniversityGeverifieerd e-mailadres voor cs.princeton.edu
Karl CraryCarnegie Mellon UniversityGeverifieerd e-mailadres voor cs.cmu.edu
Aleksandar NanevskiIMDEA Software InstituteGeverifieerd e-mailadres voor imdea.org
James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghGeverifieerd e-mailadres voor inf.ed.ac.uk
Gang TanProfessor of computer science and engineering, Penn State UniversityGeverifieerd e-mailadres voor cse.psu.edu
Amal AhmedNortheastern UniversityGeverifieerd e-mailadres voor ccs.neu.edu
Lars BirkedalDept. of Computer Science, Aarhus UniversityGeverifieerd e-mailadres voor cs.au.dk
Matthew FluetRochester Institute of TechnologyGeverifieerd e-mailadres voor cs.rit.edu
Fred SchneiderCS Dept, Cornell UniversityGeverifieerd e-mailadres voor cs.cornell.edu
Gregory MalechaBedRock Systems, IncGeverifieerd e-mailadres voor bedrocksystems.com
Matt WelshGeverifieerd e-mailadres voor mdw.la
Geoffrey MainlandAssociate Professor of Computer Science, Drexel UniversityGeverifieerd e-mailadres voor drexel.edu
Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupGeverifieerd e-mailadres voor bc.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaGeverifieerd e-mailadres voor cis.upenn.edu
Ryan WisneskyConexus AIGeverifieerd e-mailadres voor wisnesky.net
Kevin W. HamlenLouis A. Beecherl, Jr. Distinguished Professor of Computer Science, The University of Texas atGeverifieerd e-mailadres voor utdallas.edu
Ryan NewtonMIT, Purdue University, Meta PlatformsGeverifieerd e-mailadres voor indiana.edu
Stephen McCamantAssociate Professor, University of MinnesotaGeverifieerd e-mailadres voor cs.umn.edu

Volgen

Greg Morrisett

Dean and Professor, Cornell University

Geverifieerd e-mailadres voor cornell.edu - Homepage

programming languages security semantics type systems type theory


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
From System F to typed assembly language G Morrisett, D Walker, K Crary, N Glew ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (3), 527-568, 1999	1205	1999
Cyclone: a safe dialect of C. T Jim, JG Morrisett, D Grossman, MW Hicks, J Cheney, Y Wang USENIX Annual Technical Conference, General Track, 275-288, 2002	1134	2002
Region-based memory management in Cyclone D Grossman, G Morrisett, T Jim, M Hicks, Y Wang, J Cheney Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002	541	2002
TIL: A type-directed optimizing compiler for ML D Tarditi, G Morrisett, P Cheng, C Stone, R Harper, P Lee ACM Sigplan Notices 31 (5), 181-192, 1996	487	1996
Compiling polymorphism using intensional type analysis R Harper, G Morrisett Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995	434	1995
Attacking malicious code: A report to the infosec research council G McGraw, G Morrisett IEEE software 17 (5), 33-41, 2000	402	2000
Alias types F Smith, D Walker, G Morrisett European Symposium on Programming, 366-381, 2000	337	2000
The regiment macroprogramming system R Newton, G Morrisett, M Welsh Proceedings of the 6th international conference on Information processing in …, 2007	325	2007
Evaluating SFI for a CISC Architecture. S McCamant, G Morrisett USENIX Security Symposium 10, 209-224, 2006	324	2006
Computability classes for enforcement mechanisms KW Hamlen, G Morrisett, FB Schneider ACM Transactions on Programming Languages and Systems (TOPLAS) 28 (1), 175-205, 2006	316	2006
Typed memory management in a calculus of capabilities K Crary, D Walker, G Morrisett Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999	316	1999
Typed closure conversion Y Minamide, G Morrisett, R Harper Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on principles of …, 1996	291	1996
Alias types for recursive data structures D Walker, G Morrisett International Workshop on Types in Compilation, 177-206, 2000	267	2000
A language-based approach to security FB Schneider, G Morrisett, R Harper Informatics: 10 Years Back, 10 Years Ahead, 86-101, 2001	255	2001
RockSalt: better, faster, stronger SFI for the x86 G Morrisett, G Tan, J Tassarotti, JB Tristan, E Gan Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012	215	2012
Ynot: dependent types for imperative programs A Nanevski, G Morrisett, A Shinnar, P Govereau, L Birkedal Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008	207	2008
Polymorphism and separation in hoare type theory A Nanevski, G Morrisett, L Birkedal Proceedings of the eleventh ACM SIGPLAN international conference on …, 2006	186	2006
Stack-based typed assembly language G Morrisett, K Crary, N Glew, D Walker International Workshop on Types in Compilation, 28-52, 1998	182	1998
Hoare type theory, polymorphism and separation1 A Nanevski, G Morrisett, L Birkedal Journal of Functional Programming 18 (5-6), 865-911, 2008	179	2008
Abstract models of memory management G Morrisett, M Felleisen, R Harper Proceedings of the seventh international conference on Functional …, 1995	171	1995

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs