Greg Morrisett
Cornell University(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Security and Verification in Computing, Parallel Computing and Optimization Techniques, Formal Methods in Verification, Advanced Malware Detection Techniques
Most-Cited Works
- → From system F to typed assembly language(1999)584 cited
- → Region-based memory management in cyclone(2002)404 cited
- → TIL(1996)315 cited
- → Compiling polymorphism using intensional type analysis(1995)296 cited
- → Typed memory management in a calculus of capabilities(1999)249 cited
- → Attacking Malicious Code: A Report to the Infosec Research Council(2000)234 cited
- → Computability classes for enforcement mechanisms(2006)220 cited
- → Typed closure conversion(1996)208 cited
- → Alias Types(2000)208 cited