Neal Glew
Intel (United States)(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Parallel Computing and Optimization Techniques, Security and Verification in Computing, Software Engineering Research
Most-Cited Works
- → From system F to typed assembly language(1999)584 cited
- TALx86: A Realistic Typed Assembly Language∗(1999)
- → Stack-based typed assembly language(2002)101 cited
- → Certified email with a light on-line trusted third party(2002)96 cited
- → Type-safe linking and modular assembly language(1999)81 cited
- → Type dispatch for named hierarchical types(1999)44 cited
- → The Open Runtime Platform: a flexible high‐performance managed runtime environment(2005)42 cited