Concepedia

Greg Morrisett

GM

76

Publications

6.5K

Citations

40

H-Index

1995

Active since

Affiliations

Harvard University Press(Current)

Cornell University

Carnegie Mellon University

Harvard University

AT&T (United States)

Greg Morrisett is an author at Harvard University Press specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsFormal VerificationComputer EngineeringSystem SoftwareSoftware EngineeringVerification

Publications per year

1995–2017

76

Publications

76

From system F to typed assembly language

Greg Morrisett, David Walker, Karl Crary et al. · ACM Transactions on Programming Languages and Systems · 1999 · 584 citations · Full text

Engineering, Compiler Technology, Verification +19

Region-based memory management in cyclone

Dan Grossman, Greg Morrisett, Trevor Jim et al. · 2002 · 404 citations

Engineering, Compiler Technology, In-memory Database +21

TIL

David Tarditi, Greg Morrisett, Pau-Chen Cheng et al. · 1996 · 315 citations · Full text

Theory Of Computing, Engineering, Program Analysis +14

Compiling polymorphism using intensional type analysis

Robert Harper, Greg Morrisett · 1995 · 296 citations · Full text

Polymorphism Use, Universal Representation, Engineering +15

From system F to typed assembly language

Greg Morrisett, David Walker, Karl Crary et al. · 1998 · 282 citations · Full text

Engineering, Compiler Technology, Verification +19

Rows per page

1–5 of 76