Typed Assembly Language for Object-Oriented Compilers
We study techniques to guarantee safety properties of native code through typed intermediate languages and Typed Assembly Languages (TAL). TAL requires the compiler generate native code with type annotations and a verifier check the annotated native code. This way, we do not have to trust the compiler. We focus on large-scale optimizing object-oriented compilers.
Publications
- Ross Tate, Juan Chen, and Chris Hawblitzel, Inferable Object-Oriented Typed Assembly Language, in ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation (PLDI) , Association for Computing Machinery, Inc., June 2010
- Juan Chen, Efficient Type Representation in TAL, in Workshop on Proof-Carrying Code and Software Certification (PCC'09), 15 August 2009
- Juan Chen, A Typed Intermediate Language for Supporting Interfaces, in 11th Workshop on Formal Techniques for Java-like Programs (FTfJP 2009), Association for Computing Machinery, Inc., July 2009
- Ross Tate, Juan Chen, and Chris Hawblitzel, A Flexible Framework for Type Inference with Existential Quantification, no. MSR-TR-2008-184, December 2008
- Juan Chen, Chris Hawblitzel, Frances Perry, Mike Emmi, Jeremy Condit, Derrick Coetzee, and Polyvios Pratikakis, Type-Preserving Compilation for Large-Scale Optimizing Object-Oriented Compilers, in ACM Conference on Programming Language Design and Implementation (PLDI 08), Association for Computing Machinery, Inc., June 2008
- Frances Perry, Chris Hawblitzel, and Juan Chen, Simple and Flexible Stack Types, in International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO 07), July 2007
- Chris Hawblitzel, Heng Huang, Lea Wittie, and Juan Chen, A Garbage-Collecting Typed Assembly Language, in ACM Workshop on Types in Language Design and Implementation (TLDI 07), Association for Computing Machinery, Inc., January 2007
- Juan Chen, A Typed Intermediate Language for Compiling Multiple Inheritance, in ACM Symposium on Principles of Programming Languages (POPL 07), Association for Computing Machinery, Inc., January 2007
- Juan Chen and David Tarditi, A simple typed intermediate language for object - oriented languages, in ACM Symposium on Principles of Programming Languages (POPL 05), Association for Computing Machinery, Inc., January 2005
- Juan Chen, Decidable subclassing-bounded quantification, in ACM Workshop on Types in Language Design and Implementation (TLDI 05), Association for Computing Machinery, Inc., January 2005
