Greg Morrisett

Citado por

	Todos	Desde 2020
Citações	12009	1834
Índice h	51	24
Índice i10	89	45

600

300

150

450

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202577 92 198 209 310 271 434 497 513 510 543 488 586 524 513 490 457 471 488 472 463 464 435 455 372 377 319 382 339 44

Acesso público

Ver todos

9 artigos

0 artigo

disponível

não disponível

Com base nas autorizações de financiamento

Coautores

Dan GrossmanComputer Science, University of WashingtonE-mail confirmado em cs.washington.edu
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityE-mail confirmado em andrew.cmu.edu
David WalkerPrinceton UniversityE-mail confirmado em cs.princeton.edu
Karl CraryCarnegie Mellon UniversityE-mail confirmado em cs.cmu.edu
Aleksandar NanevskiIMDEA Software InstituteE-mail confirmado em imdea.org
James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghE-mail confirmado em inf.ed.ac.uk
Gang TanProfessor of computer science and engineering, Penn State UniversityE-mail confirmado em cse.psu.edu
Amal AhmedNortheastern UniversityE-mail confirmado em ccs.neu.edu
Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mail confirmado em cs.au.dk
Matthew FluetRochester Institute of TechnologyE-mail confirmado em cs.rit.edu
Fred SchneiderCS Dept, Cornell UniversityE-mail confirmado em cs.cornell.edu
Gregory MalechaBedRock Systems, IncE-mail confirmado em bedrocksystems.com
Matt WelshE-mail confirmado em mdw.la
Geoffrey MainlandAssociate Professor of Computer Science, Drexel UniversityE-mail confirmado em drexel.edu
Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupE-mail confirmado em bc.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaE-mail confirmado em cis.upenn.edu
Ryan WisneskyConexus AIE-mail confirmado em wisnesky.net
Kevin W. HamlenLouis A. Beecherl, Jr. Distinguished Professor of Computer Science, The University of Texas atE-mail confirmado em utdallas.edu
Ryan NewtonMIT, Purdue University, Meta PlatformsE-mail confirmado em indiana.edu
Stephen McCamantAssociate Professor, University of MinnesotaE-mail confirmado em cs.umn.edu

Seguir

Greg Morrisett

Dean and Professor, Cornell University

E-mail confirmado em cornell.edu - Página inicial

programming languages security semantics type systems type theory


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
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	1207	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	1135	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	542	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	404	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	256	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	208	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

O sistema não pode executar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações mescladas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores