Search results for "typed assembly language"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Ross Tate, Juan Chen, Chris Hawblitzel	Inferable object-oriented typed assembly language.	PLDI	2010	DBLP DOI BibTeX RDF	existential quantification, object-oriented compiler, typed assembly language (tal), type inference, certifying compiler
3	Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezawa	Compiling C Programs into a Strongly Typed Assembly Language.	ASIAN	2007	DBLP DOI BibTeX RDF	C, memory safety, typed assembly language
3	Chris Hawblitzel, Heng Huang, Lea Wittie, Juan Chen	A garbage-collecting typed assembly language.	TLDI	2007	DBLP DOI BibTeX RDF	garbage collection, typed assembly language
3	Karl Crary	Toward a foundational typed assembly language.	POPL	2003	DBLP DOI BibTeX RDF	proof-carrying code, typed assembly language
3	J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew	From system F to typed assembly language.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	secure extensible systems, type-directed compilation, typed assembly language, typed intermediate languages, certified code, closure conversion
2	Frances Perry, Lester W. Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker	Fault-tolerant typed assembly language.	PLDI	2007	DBLP DOI BibTeX RDF	transient hardware faults, fault tolerance, typed assembly language, soft faults
2	Chunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo	Foundational Typed Assembly Language with Certified Garbage Collection.	TASE	2007	DBLP DOI BibTeX RDF
2	Dachuan Yu, Nayeem Islam	A Typed Assembly Language for Confidentiality.	ESOP	2006	DBLP DOI BibTeX RDF
2	Ricardo Medel, Adriana B. Compagnoni, Eduardo Bonelli	A Typed Assembly Language for Non-interference.	ICTCS	2005	DBLP DOI BibTeX RDF
2	Eduardo Bonelli, Adriana B. Compagnoni, Ricardo Medel	Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks.	CASSIS	2005	DBLP DOI BibTeX RDF
2	Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck	The open verifier framework for foundational verifiers.	TLDI	2005	DBLP DOI BibTeX RDF	language-based security, proof-carrying code, typed assembly language
2	Joseph Vanderwaart, Karl Crary	Automated and certified conformance to responsiveness policies.	TLDI	2005	DBLP DOI BibTeX RDF	grid computing, typed assembly language, certified code
2	Michael W. Hicks, Scott Nettles	Dynamic software updating.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	typed assembly language, Dynamic software updating
2	Thomas A. Henzinger, Christoph M. Kirsch	A typed assembly language for real-time programs.	EMSOFT	2004	DBLP DOI BibTeX RDF	real time, virtual machine, typed assembly language
2	David Aspinall, Adriana B. Compagnoni	Heap-Bounded Assembly Language.	J. Autom. Reasoning	2003	DBLP DOI BibTeX RDF	proof-carrying code, typed assembly language
2	Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni	A Syntactic Approach to Foundational Proof-Carrying Code.	J. Autom. Reasoning	2003	DBLP DOI BibTeX RDF	foundational proof-carrying code, syntactic soundness proof, typed assembly language
2	Hongwei Xi, Robert Harper	A Dependently Typed Assembly Language.	ICFP	2001	DBLP DOI BibTeX RDF
2	Dan Grossman, J. Gregory Morrisett	Scalable Certification for Typed Assembly Language.	Types in Compilation	2000	DBLP DOI BibTeX RDF
2	J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker	Stack-Based Typed Assembly Language.	Types in Compilation	1998	DBLP DOI BibTeX RDF
1	Simon Winwood, Manuel M. T. Chakravarty	Singleton: a general-purpose dependently-typed assembly language.	TLDI	2011	DBLP DOI BibTeX RDF
1	Jean Yang, Chris Hawblitzel	Safe to the last instruction: automated verification of a type-safe operating system.	PLDI	2010	DBLP DOI BibTeX RDF	verification, operating system, type safety, run-time system
1	Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos	Compiling the pi-calculus into a Multithreaded Typed Assembly Language.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Vasco Thudichum Vasconcelos, Francisco Martins, Tiago Cogumbreiro	Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language	PLACES	2009	DBLP DOI BibTeX RDF
1	Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong	Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Operating system verification, Hardware interrupts, Preemptive threads, Thread libraries, Modularity, Separation logic, Synchronization primitives
1	Louis-Julien Guillemette, Stefan Monnier	A type-preserving compiler in Haskell.	ICFP	2008	DBLP DOI BibTeX RDF	compilation, higher-order abstract syntax, typed assembly language, de Bruijn
1	Juan Chen, Chris Hawblitzel, Frances Perry, Michael Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikaki	Type-preserving compilation for large-scale optimizing object-oriented compilers.	PLDI	2008	DBLP DOI BibTeX RDF	object-oriented compilers, type-preserving compilation
1	Xinyu Feng, Zhong Shao, Yuan Dong, Yu Guo	Certifying low-level programs with hardware interrupts and preemptive threads.	PLDI	2008	DBLP DOI BibTeX RDF	certified system software, hardware interrupts, preemptive threads, concurrency, separation logic
1	Karl Crary, Susmit Sarkar	Foundational certified code in the Twelf metalogical framework.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	Foundational certified code, metalogic, logic programming
1	Louis-Julien Guillemette, Stefan Monnier	A type-preserving closure conversion in haskell.	Haskell	2007	DBLP DOI BibTeX RDF	compilation, higher-order abstract syntax, typed assembly language, de bruijn
1	John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve	Secure virtual architecture: a safe execution environment for commodity operating systems.	SOSP	2007	DBLP DOI BibTeX RDF	security, compiler, virtual machine, operating systems, type safety, memory safety, typed assembly language
1	Hayo Thielecke	Frame rules from answer types for code pointers.	POPL	2006	DBLP DOI BibTeX RDF	code pointers, polymorphism, continuations, Hoare logic, typed assembly language
1	Sen Xiang, Yiyun Chen, Chunxiao Lin, Long Li	Modularly Certified Dynamic Storage Allocation in SCAP.	QSIC	2006	DBLP DOI BibTeX RDF
1	Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula	A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety.	VMCAI	2006	DBLP DOI BibTeX RDF
1	Brigitte Pientka	Verifying Termination and Reduction Properties about Higher-Order Logic Programs.	J. Autom. Reasoning	2005	DBLP DOI BibTeX RDF	termination, Logical frameworks
1	Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu	Construction of a Semantic Model for a Typed Assembly Language.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Nadeem Abdul Hamid, Zhong Shao	Interfacing Hoare Logic and Type Systems for Foundational Proof-Carrying Code.	TPHOLs	2004	DBLP DOI BibTeX RDF
1	J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker	Stack-based typed assembly language.	J. Funct. Program.	2003	DBLP DOI BibTeX RDF
1	Juan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang	A provably sound TAL for back-end optimization.	PLDI	2003	DBLP DOI BibTeX RDF	proof-carrying code, typed assembly language
1	Amal J. Ahmed, David Walker	The logical approach to stack typing.	TLDI	2003	DBLP DOI BibTeX RDF	bunched logic, ordered logic, type systems, memory management, linear logic, stack, typed assembly language
1	Toshiyuki Maeda, Akinori Yonezawa	Kernel Mode Linux: Toward an Operating System Protected by a Type Theory.	ASIAN	2003	DBLP DOI BibTeX RDF
1	Karl Crary, Susmit Sarkar	Foundational Certified Code in a Metalogical Framework.	CADE	2003	DBLP DOI BibTeX RDF
1	Peter Lee	What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code.	TACAS	2003	DBLP DOI BibTeX RDF
1	J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker	Stack-based typed assembly language.	J. Funct. Program.	2002	DBLP DOI BibTeX RDF
1	Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni	A Syntactic Approach to Foundational Proof-Carrying Code.	LICS	2002	DBLP DOI BibTeX RDF
1	Michael W. Hicks, Jonathan T. Moore, Scott Nettles	Dynamic Software Updating.	PLDI	2001	DBLP DOI BibTeX RDF
1	Dominic Duggan	Sharing in Typed Module Assembly Language.	Types in Compilation	2000	DBLP DOI BibTeX RDF
1	Michael W. Hicks, Stephanie Weirich, Karl Crary	Safe and Flexible Dynamic Linking of Native Code.	Types in Compilation	2000	DBLP DOI BibTeX RDF
1	Karl Crary	A Simple Proof Technique for Certain Parametricity Results.	ICFP	1999	DBLP DOI BibTeX RDF
1	J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew	From System F to Typed Assembly Language.	POPL	1998	DBLP DOI BibTeX RDF
1	David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee	TIL: a type-directed, optimizing compiler for ML (with retrospective)	Best of PLDI	1996	DBLP DOI BibTeX RDF