Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A Realistic Typed Assembly Language. In 2nd ACM SIGPLAN Workshop on Compiler Support for System Software, pages 25--35, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) Self-citation (Crary Weirich Zdancewic) (Correct)
No context found.
Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A Realistic Typed Assembly Language. In 2nd ACM SIGPLAN Workshop on Compiler Support for System Software, pages 25--35, 1999.
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) Self-citation (Crary Weirich Zdancewic) (Correct)
No context found.
Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A realistic typed assembly language. In Second Workshop on Compiler Support for System Software, Atlanta, May 1999.
Automated Techniques for Provably Safe Mobile Code - Colby, Crary, Harper, Lee.. (2000) (2 citations) Self-citation (Crary) (Correct)
No context found.
G. Morrisett, K. Crary, N. Glew, D. Grossman, R. Samuels, F. Smith, D. Walker, S. Weirich, and S. Zdancewic. TALx86: A realistic typed assembly language. In Second Workshop on Compiler Support for System Software, Atlanta, May 1999.
Manifest Security for Distributed Information - Crary, Harper, Pfenning.. (2006) Self-citation (Crary Weirich Zdancewic) (Correct)
No context found.
Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A Realistic Typed Assembly Language. In 2nd ACM SIGPLAN Workshop on Compiler Support for System Software, pages 25--35, 1999.
Manifest Security for Distributed Information - Crary, Harper, Pfenning.. (2006) Self-citation (Crary Weirich Zdancewic) (Correct)
No context found.
Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A realistic typed assembly language. In Second Workshop on Compiler Support for System Software, Atlanta, May 1999.
From System F to Typed Assembly Language - Greg Morrisett Cornell (1999) (6 citations) Self-citation (Morrisett Crary Glew Walker) (Correct)
No context found.
Morrisett, G., Crary, K., Glew, N., Grossman, D., Samuels, R., Smith, F., Walker, D., Weirich, S., and Zdancewic, S. 1999. TALx86: A realistic typed assembly language. In ACM SIGPLAN Workshop on Compiler Support for System Software. INRIA Research Report, vol. 0228. INRIA, Centre de Diffusion, INRIA, BP 105-78153 Le Chesnay Cedex, France.
Typed Compilation of Recursive Datatypes - Vanderwaart, Dreyer, Petersen.. (2 citations) Self-citation (Crary) (Correct)
No context found.
Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A realistic typed assembly language. In Second Workshop on Compiler Support for System Software, pages 25-35, Atlanta, Georgia, May 1999.
Typed Compilation of Recursive Datatypes - Joseph Vanderwaart Derek (2 citations) Self-citation (Crary) (Correct)
No context found.
Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A realistic typed assembly language. In Second Workshop on Compiler Support for System Software, pages 25--35, Atlanta, Georgia, May 1999.
Scalable Certification for Typed Assembly Language - Grossman, Morrisett (2000) (4 citations) Self-citation (Morrisett Grossman) (Correct)
No context found.
Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A realistic typed assembly language. In Second ACM SIGPLAN Workshop on Compiler Support for System Software, pages 25-35, Atlanta, GA, 1999. Published as INRIA Technical Report 0288, March, 1999.
Scalable Certification of Native Code: Experience from.. - Grossman, Morrisett (2000) Self-citation (Morrisett Grossman) (Correct)
No context found.
Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A realistic typed assembly language. In Second ACM SIGPLAN Workshop on Compiler Support for System Software, pages 25--35, Atlanta, GA, 1999.
A Type System for Expressive Security Policies - Walker (1999) (28 citations) Self-citation (Walker) (Correct)
No context found.
Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A realistic typed assembly language. In ACM SIGPLAN Workshop on Compiler Support for System Software, pages 25--35, Atlanta, GA, May 1999.
A Type System for Coordinated Data Structures - Ringenburg, Grossman (2004) Self-citation (Grossman) (Correct)
No context found.
Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A realistic typed assembly language. In 2nd ACM Workshop on Compiler Support for System Software, pages 25-- 35, 1999.
Cyclone: A safe dialect of C - Jim, Morrisett, Grossman, Hicks.. (2002) (80 citations) Self-citation (Morrisett Grossman) (Correct)
No context found.
Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A realistic typed assembly language. In Second ACM SIGPLAN Workshop on Compiler Support for System Software, pages 25--35, Atlanta, GA, 1999.
Foundational Certified Code in a Metalogical Framework - Crary, Sarkar (2003) (2 citations) Self-citation (Crary) (Correct)
No context found.
Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A realistic typed assembly language. In Second Workshop on Compiler Support for System Software, Atlanta, May 1999.
Construction of a Semantic Model for a Typed Assembly Language - Tan, Appel, Swadi, Wu (2003) (1 citation) (Correct)
No context found.
Morrisett, G., Crary, K., Glew, N., Grossman, D., Samuels, R., Smith, F., Walker, D., Weirich, S., Zdancewic, S.: TALx86: A realistic typed assembly language. In: Second ACM SIGPLAN Workshop on Compiler Support for System Software, Atlanta, GA (1999) 25--35 INRIA Technical Report 0288, March 1999.
Interfacing Compilers, Proof Checkers, and Proofs for Foundational.. - Wu (2005) (Correct)
No context found.
Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A real- istic typed assembly language. In Second ACM SIGPLAN Workshop on Compiler Support for System Software, pages 25--35, New York, 1999a. ACM Press. INRIA Technical Report 0288, March 1999.
Modular Verification of Concurrent Assembly Code with Dynamic.. - Feng, Shao (Correct)
No context found.
G. Morrisett, K. Crary, N. Glew, D. Grossman, R. Samuels, F. Smith, D. Walker, S. Weirich, and S. Zdancewic. TALx86: a realistic typed assembly language. In 1999.
Functional Grid Programming with ConCert - VII (2004) (Correct)
No context found.
Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A realistic typed assembly language. In 1999.
Implementing a Framework for Certified Grid Computing - DeLap (2002) (3 citations) (Correct)
No context found.
Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A realistic typed assembly language. In Second Workshop on Compiler Support for System Software, Atlanta, May 1999.
Project Description - We Propose To (Correct)
No context found.
Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A realistic typed assembly language. In Second Workshop on Compiler Support for System Software, Atlanta, May 1999.
Automatically Proving the Correctness of Compiler.. - Lerner, Millstein.. (2003) (5 citations) (Correct)
No context found.
Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A realistic typed assembly language. In 1999.
Implementing a Framework for Certified Grid Computing - DeLap (2002) (3 citations) (Correct)
No context found.
Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A realistic typed assembly language. In Second Workshop on Compiler Support for System Software, Atlanta, May 1999.
Symbolic Transfer Function-based Approaches to Certified Compilation - Rival (2004) (1 citation) (Correct)
No context found.
G. Morrisett, K. Crary, N. Glew, D. Grossman, R. Samuels, F. Smith, and D. Walker. TALx86: A Realistic Typed Assembly Language. In WCSSS, 1999.
Enforcing Formal Security Properties - Bernard, Lee (2001) (Correct)
No context found.
Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A realistic typed assembly language. In 1999 ACM SIGPLAN Workshop on Compiler Support for System Software, pages 25-35, Atlanta, GA, May 1999.
Construction of a Semantic Model for a Typed Assembly Language - Tan, Appel, Swadi, Wu (2004) (1 citation) (Correct)
No context found.
Morrisett, G., Crary, K., Glew, N., Grossman, D., Samuels, R., Smith, F., Walker, D., Weirich, S., Zdancewic, S.: TALx86: A realistic typed assembly language. In: Second ACM SIGPLAN Workshop on Compiler Support for System Software, Atlanta, GA (1999) 25--35 INRIA Technical Report 0288, March 1999.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC