G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. In Proceedings of the 25th ACM Symposium on Principles of Programming Languages, pages 85-- 97, 1998. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Automated Techniques for Provably Safe Mobile Code - Colby, Crary, Harper, Lee.. (2000) (2 citations) Self-citation (Crary) (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. ACM Trans. Prog. Lang. Syst., 1999.
From System F to Typed Assembly Language - Greg Morrisett David (1998) (6 citations) Self-citation (Morrisett Walker Crary Glew) (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language (extended version). Technical Report TR97-1651, Cornell University, Nov. 1997.
A Linear Language with Locations - Greg Morrisett Amal Self-citation (Morrisett) (Correct)
No context found.
Morrisett, G., Walker, D., Crary, K., Glew, N.: From System F to typed assembly language. TOPLAS 21 (1999) 528--569
From System F to Typed Assembly Language - Greg Morrisett David (1998) (6 citations) Self-citation (Morrisett Walker Crary Glew) (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language (extended version). Technical Report TR97-1651, Cornell University, Nov. 1997.
Alias Types for Recursive Data Structures - Walker, Morrisett (2000) (67 citations) Self-citation (Morrisett Walker) (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language. In TwentyFifth ACM Symposium on Principles of Programming Languages, pages 85--97, San Diego, January 1998.
Type Dispatch for Named Hierarchical Types - Neal Glew Cornell (1999) (15 citations) Self-citation (Glew) (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to typed assembly language. In Twenty-Fifth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 85--97, San Diego California, USA, January 1998.
Scalable Certification of Native Code: Experience from.. - Grossman, Morrisett (2000) Self-citation (Morrisett) (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to typed assembly language. In Twenty-Fifth ACM Symposium on Principles of Programming Languages, pages 85--97, San Diego, CA, January 1998.
Typed Memory Management in a Calculus of Capabilities - Walker, Crary, Morrisett (2000) Self-citation (Morrisett Walker Crary) (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language. In Twenty-Fifth ACM Symposium on Principles of Programming Languages, pages 85--97, San Diego, January 1998.
A Type System for Expressive Security Policies - Walker (1999) (28 citations) Self-citation (Walker) (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language. In Twenty-Fifth ACM Symposium on Principles of Programming Languages, pages 85--97, San Diego, January 1998.
Alias Types for Recursive Data Structures - Extended Version David Self-citation (Morrisett Walker) (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language. In TwentyFifth ACM Symposium on Principles of Programming Languages, pages 85--97, San Diego, January 1998.
Intensional Polymorphism in Type-Erasure Semantics - Crary, Weirich, Morrisett (1998) (54 citations) Self-citation (Morrisett Crary) (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to typed assembly language. In Twenty-Fifth ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pages 85--97, San Diego, January 1998. Extended version published as Cornell University technical report TR97-1651.
Secrecy by Typing in Security Protocols - Abadi (1998) (145 citations) (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. In Proceedings of the 25th ACM Symposium on Principles of Programming Languages, pages 85-- 97, 1998.
Strict Bidirectional Type Checking - Adam Chlipala Computer (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to typed assembly language. In Twenty-Fifth ACM Symposium on Principles of Programming Languages, pages 85--97, San Diego, January 1998. Extended version published as Cornell University technical report TR97-1651.
Interfacing Compilers, Proof Checkers, and Proofs for Foundational.. - Wu (2005) (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to typed assembly language. In Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '98), pages 85--97, New York, January 1998. ACM Press.
Strength Reduction for Loop-Invariant Types - Phung Hua Nguyen (Correct)
No context found.
Morrisett, G., Walker, D., Crary, K. & Glew, N. (1998), From system F to typed assembly language, in `25th ACM SIGPLAN Symposium on Principles of Programming Languages', pp. 85--97.
FACADE: a Typed Intermediate Language - Dedicated To Smart (Correct)
No context found.
Morrisett, G., Walker, D., Crary, K., and Glew, N. From System F to Typed Assembly Language. In 25th Symposium on Principles of Programming Languages #San Diego, CA, USA, Jan. 1998#. http:##simon.cs.cornell.edu#Info#People#jgm#papers#tal.ps.
Modular Verification of Concurrent Assembly Code with Dynamic.. - Feng, Shao (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. In Proc. 25th ACM Symp. on Principles of Prog. Lang., pages 85--97. ACM Press, Jan. 1998.
SELF: a Transparent Security Extension for ELF Binaries - DuVarney, Bhatkar.. (2003) (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From system f to typed assembly language. In Twenty-Fifth ACM Symposium on Principles of Programming Languages, San Diego, CA, Jan 1998.
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (2 citations) (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From system F to typed assembly language. In Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'98), pages 85--97, San Diego, CA., January 1998.
Faithful Translations between Polyvariant Flows and.. - Amtoft, Turbak (2002) (9 citations) (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. ACM Trans. on Prog. Langs. & Systs., 21(3):528--569, May 1999.
An Observationally Complete Program Logic for Imperative.. - Honda, Yoshida, Berger (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. ACM Trans. Program. Lang. Syst., 21(3):527--568, 1999.
Inferring Annotated Types for Inter-procedural Register.. - Amtoft, Muller (2002) (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. ACM Trans. on Prog. Langs. & Systs., 21(3):528-569, may 1999.
Towards Type Inference for JavaScript - Christopher Anderson Paola (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From system f to typed assembly language. ACM Trans. Program. Lang. Syst., 21(3):527--568, 1999.
Inferring Annotated Types for Inter-procedural Register.. - Amtoft, Muller (2002) (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. ACM Trans. on Prog. Langs. & Systs., 21(3):528--569, May 1999.
Compile Time Elimination of Null- and Bounds-Checks - Je Ery Von (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to Typed Assembly Language. ACM Trans. Prog. Lang. and Sys., 23(3):528-569, May 1999.
Index types for JVM method invocation - Songtao Xia Sxia (Correct)
No context found.
Morrisett, G., Walker, D., Crary, K., and Glew, N. From System F to Typed Assembly Language. In Proceedings of ACM Symposium On Principles of Programming Languages (1998), pp. 85--97.
A Portable Virtual Machine Target for Proof-Carrying Code - Franz, Chandra, Gal.. (2003) (Correct)
No context found.
Karl Crary Greg Morrisett, David Walker and Neal Glew. From system f to typed assembly language. In "25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages", pages 85--97, San Diego, CA, USA, "January" 1998.
A Portable Virtual Machine Target for Proof-Carrying Code - Franz, Chandra, Gal.. (2003) (Correct)
No context found.
Karl Crary Greg Morrisett, David Walker and Neal Glew. From system f to typed assembly language. In "25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages", pages 85--97, San Diego, CA, USA, "January" 1998.
A Practical Mobile-Code Format with Linear Verification Effort - Wang, Franz (2003) (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From system F to typed assembly language (extended version). Technical Report TR97-1651, 21, 1997.
Prototyping Proof Carrying Code - Wildmoser, Nipkow, Klein, Nanz (2004) (Correct)
No context found.
Morrisett, G., Walker, D., Crary, K., and Glew, N. (1998). From system F to typed assembly language. In Proc. 25th ACM Symp. Principles of Programming Languages, pages 85--97. ACM Press.
Static Analysis of Executables to Detect Malicious Patterns - Christodorescu, Jha (2003) (8 citations) (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to Typed Assembly Language. In Twenty-Fifth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 85 -- 97, San Diego, CA, January 1998. 20
Static Analysis of Executables to Detect Malicious Patterns - Christodorescu, Jha (2003) (8 citations) (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to Typed Assembly Language. In Proceedings of the 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'98), pages 85 -- 97. ACM Press, January 1998.
Automatically Proving the Correctness of Compiler.. - Lerner, Millstein.. (2003) (5 citations) (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language. ACM 21(3):528-569, May 1999.
A Type System for the Java Bytecode Language and Verifier - Freund, Mitchell (2003) (1 citation) (Correct)
No context found.
Morrisett, G., Crary, K., Glew, N. and Walker, D.: From system F to typed assembly language, in Proceedings of the ACM Symposium on Principles of Programming Languages, 1998, pp. 85--97.
A Portable Virtual Machine Target for Proof-Carrying Code - Franz, Chandra, Gal.. (2003) (Correct)
No context found.
Karl Crary Greg Morrisett, David Walker and Neal Glew. From system f to typed assembly language. In "25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages", pages 85--97, San Diego, CA, USA, "January" 1998.
Confidentiality and Integrity with Untrusted Hosts - Steve Zdancewic Andrew (2 citations) (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to typed assembly language. In Proc. 25th ACM Symp. on Principles of Programming Languages (POPL), San Diego, California, January 1998.
FACADE: a Typed Intermediate Language Dedicated to Smart.. - Grimaud, Lanet, Vandewalle (1999) (2 citations) (Correct)
No context found.
Morrisett, G., Walker, D., Crary, K., and Glew, N. From System F to Typed Assembly Language. In 25th Symposium on Principles of Programming Languages #San Diego, CA, USA, Jan. 1998#. http:##simon.cs.cornell.edu#Info#People#jgm#papers#tal.ps.
LLVM: A Compilation Framework for Lifelong Program Analysis &.. - Lattner, Adve (2004) (12 citations) (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. Trans. Prog. Lang. and Systems, 21(3):528--569, May 1999.
SELF: a Transparent Security Extension for ELF Binaries - DuVarney, Venkatakrishnan, .. (2003) (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From system f to typed assembly language. In Twenty-Fifth ACM Symposium on Principles of Programming Languages, San Diego, CA, Jan 1998.
CS 497yyz Project Report: LLVA-emu - Misha Brukman Brian (2003) (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. TOPLAS, 21(3):528--569, May 1999.
LLVA: A Low-level Virtual Instruction Set Architecture - Adve, Lattner, Brukman.. (2003) (1 citation) (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. TOPLAS, 21(3):528--569, May 1999.
A Portable Virtual Machine Target for Proof-Carrying Code - Franz, Chandra, Gal.. (2003) (Correct)
No context found.
Karl Crary Greg Morrisett, David Walker and Neal Glew. From system f to typed assembly language. In "25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages", pages 85--97, San Diego, CA, USA, "January" 1998.
Enforcing Formal Security Properties - Bernard, Lee (2001) (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From system F to typed assembly language. In Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 85-97, San Diego, CA, January 1998.
Compile Time Elimination of Null- and Bounds-Checks - Je Ery Von (2001) (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to Typed Assembly Language. ACM Trans. Prog. Lang. and Sys., 23(3):528-569, May 1999.
Static Checking of Interrupt-driven Software - Brylow, Damgaard, Palsberg (2001) (2 citations) (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From system F to typed assembly language. In Proceedings of POPL'98, 25th Annual SIGPLAN-- SIGACT Symposium on Principles of Programming Languages, pages 85--97, 1998.
LLVA: A Low-level Virtual Instruction Set Architecture - Vikram Adve Chris (2003) (1 citation) (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. TOPLAS, 21(3):528--569, May 1999.
Prospectus - Student Nadeem Abdul (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. In Proc. 25th ACM Symp. on Principles of Prog. Lang., pages 85--97. ACM Press, Jan. 1998.
Process Logic and Duality - Part I: Sequential Processes - Honda (Correct)
No context found.
Morrisett, G., Walker, D. G. Crary, K, and Glew, W./ From System F to Typed Assembly Language. In ACM TOPLAS, 21(3):528-569, May 1999.
Register Allocation by Proof Transformation - Atsushi Ohori Japan (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From system F to typed assembly language. In Proc. ACM POPL Symposium, 1998.
Low-Level Linear Memory Management - Hawblitzel, Wei, Huang, Krupski.. (2004) (2 citations) (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From system F to typed assembly language. In ACM Transactions on Programming Languages and Systems (TOPLAS), volume 21, pages 527--568. ACM Press, 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