TALx86: A Realistic Typed Assembly Language (1999)

by Greg Morrisett , Karl Crary , Neal Glew , Dan Grossman , Richard Samuels , Frederick Smith , David Walker , Stephanie Weirich , Steve Zdancewic
Venue:In Second Workshop on Compiler Support for System Software
Citations:166 - 40 self

Active Bibliography

Abstract TALx86: A Realistic Typed Assembly Language – Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, Steve Zdancewic
31 Language-Based Security – Dexter Kozen - 1999
178 Alias Types – Frederick Smith, David Walker, Greg Morrisett - 1999
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
518 Enforceable Security Policies – Fred B. Schneider
19 Towards Array Bound Check Elimination in Java Virtual Machine Language – Hongwei Xi, Songtao Xia - 1999
Abstract Towards Array Bound Check Elimination in – unknown authors
591 Dynamically discovering likely program invariants to support program evolution – M Ernst, J Cockrell, W Griswold, D Notkin - 1998