Greg Morrisett

Citované v

	Všetky	Od 2020
Citácie	11996	1823
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 433 454 373 376 315 382 338 38

Verejný prístup

všetky položky

9 článkov

0 článkov

dostupné

nedostupné

Na základe mandátov na financovanie

Spoluautori

Dan GrossmanComputer Science, University of WashingtonOverená e-mailová adresa na: cs.washington.edu
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityOverená e-mailová adresa na: andrew.cmu.edu
David WalkerPrinceton UniversityOverená e-mailová adresa na: cs.princeton.edu
Karl CraryCarnegie Mellon UniversityOverená e-mailová adresa na: cs.cmu.edu
Aleksandar NanevskiIMDEA Software InstituteOverená e-mailová adresa na: imdea.org
James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghOverená e-mailová adresa na: inf.ed.ac.uk
Gang TanProfessor of computer science and engineering, Penn State UniversityOverená e-mailová adresa na: cse.psu.edu
Amal AhmedNortheastern UniversityOverená e-mailová adresa na: ccs.neu.edu
Lars BirkedalDept. of Computer Science, Aarhus UniversityOverená e-mailová adresa na: cs.au.dk
Matthew FluetRochester Institute of TechnologyOverená e-mailová adresa na: cs.rit.edu
Fred SchneiderCS Dept, Cornell UniversityOverená e-mailová adresa na: cs.cornell.edu
Gregory MalechaBedRock Systems, IncOverená e-mailová adresa na: bedrocksystems.com
Matt WelshOverená e-mailová adresa na: mdw.la
Geoffrey MainlandAssociate Professor of Computer Science, Drexel UniversityOverená e-mailová adresa na: drexel.edu
Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupOverená e-mailová adresa na: bc.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaOverená e-mailová adresa na: cis.upenn.edu
Ryan WisneskyConexus AIOverená e-mailová adresa na: wisnesky.net
Kevin W. HamlenLouis A. Beecherl, Jr. Distinguished Professor of Computer Science, The University of Texas atOverená e-mailová adresa na: utdallas.edu
Ryan NewtonMIT, Purdue University, Meta PlatformsOverená e-mailová adresa na: indiana.edu
Stephen McCamantAssociate Professor, University of MinnesotaOverená e-mailová adresa na: cs.umn.edu

Sledovať

Greg Morrisett

Dean and Professor, Cornell University

Overená e-mailová adresa na: cornell.edu - Domovská stránka

programming languages security semantics type systems type theory


Názov Zoradiť podľa citácií Zoradiť podľa roka Zoradiť podľa názvu	Citované v Citované v	Rok
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	1206	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	403	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	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

Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.

Články 1–20

Citácie za rok

Duplicitné citácie

Zlúčené citácie

Pridať spoluautorovSpoluautori

Sledovať

Citované v

Spoluautori