Concepedia

Neal Glew

NG

15

Publications

1.5K

Citations

12

H-Index

1997

Active since

Affiliations

Cornell University(Current)

Intel (United States)

Carnegie Mellon University

Neal Glew is an author at Cornell University specializing in program analysis, computer science, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsSoftware AnalysisSoftware EngineeringCompilersComputer EngineeringFormal VerificationSoftware Design

Publications per year

1997–2013

15

Publications

15

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

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

TALx86: A Realistic Typed Assembly Language∗

Greg Morrisett, Karl Crary, Neal Glew et al. · 1999 · 184 citations

Stack-based typed assembly language

Greg Morrisett, Karl Crary, Neal Glew et al. · Journal of Functional Programming · 2002 · 101 citations · Full text

Engineering, Compiler Technology, Computer Architecture +17

Certified email with a light on-line trusted third party

Martı́n Abadi, Neal Glew · 2002 · 96 citations

Lightweight Authentication Mechanism, Trusted System, Public Key Infrastructure +13

Rows per page

1–5 of 15