Interpretational Overhead in system software

Interpretational Overhead in system software (2011)

Cached

Download Links

by Boris Feigin

BibTeX

@MISC{Feigin11interpretationaloverhead,
    author = {Boris Feigin},
    title = {Interpretational Overhead in system software},
    year = {2011}
}

Bookmark

OpenURL

Abstract

Citations

1225	The essence of functional programming - Wadler - 1992
1016	Proof-carrying code - Necula - 1997
651	Notions of computation and monads - Moggi - 1991
593	Partial Evaluation and Automatic Program Generation - Jones, Gomard, et al. - 1993
583	Separation logic: A logic for shared mutable data structures. Symp. on Logic in - Reynolds - 1994
557	From system F to typed assembly language - Morrisett, Walker, et al. - 1999
520	Communicating and Mobile Systems: the π-Calculus - Milner - 1999
458	Principles of program analysis - Nielson, Nielson, et al. - 1999
458	Language-based information-flow security - Sabelfeld, Myers
401	Computational lambda-calculus and monads - Moggi - 1989
332	Types, abstraction and parametric polymorphism - Reynolds - 1983
315	Checking System rules using System-specific, Programmer-written Compiler Extensions - Engler, Chelf, et al. - 2000
292	Theorems for free - Wadler - 1989
272	Dependent types in practical programming - Xi, Pfenning - 1999
263	Definitional interpreters for higher-order programming languages - Reynolds - 1972
258	Semantics of programming languages: structures and techniques - Gunter - 1992
252	Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
245	The Design and Implementation of a Certifying Compiler - Necula, Lee - 2004
216	The formal semantics of programming languages - Winskel - 1993
213	Foundational proof-carrying code - Appel - 2001
213	Monad transformers and modular interpreters - Liang, Hudak, et al. - 1995
201	A core calculus of dependency - Abadi, Banerjee, et al. - 1999
201	MetaML and multi-stage programming with explicit annotations - Taha, Sheard
196	Cayenne - a language with dependent types - Augustsson - 1998
183	Reflection and semantics in Lisp - Smith - 1984
175	Soft typing - Cartwright, Fagan - 1991
164	Reflections on trusting trust - Thompson - 1984
154	Dynamic software updating - Hicks, Moore, et al. - 2001
148	Dynamic typing in a statically typed language - Abadi, Cardelli, et al. - 1991
143	On the (Im)possibility of Obfuscating Programs - Barak, Goldreich, et al. - 2001
140	Building diverse computer systems - Forrest, Somayaji, et al. - 1997
122	Precise Analysis of String Expressions - Christensen, Møller, et al. - 2003
122	Robust declassification - Zdancewic, Myers - 2001
118	Modern Compiler Implementation in ML - Appel - 1998
113	Dynamic instrumentation of production systems - Cantrill, Shapiro, et al. - 2004
107	Fine-grained dynamic instrumentation of commodity operating system kernels - Tamches, Miller - 1999
99	E.W.: Understanding java stack inspection - Wallach, Felten - 1998
96	Hybrid type checking - Flanagan - 2006
96	Formal requirements for virtualizable third generation architectures - Popek, Goldberg - 1974
92	Dynamic typing in polymorphic languages - Abadi, Cardelli, et al. - 1995
92	Debugging optimized code with dynamic deoptimization - Hölzle, Chambers, et al. - 1992
91	Projections for strictness analysis - Wadler, Hughes - 1987
89	A debugger for standard ml - Tolmach, Appel - 1995
82	A comparison of software and hardware techniques for x86 virtualization - Adams, Agesen - 2006
82	The technology behind crusoe processors, in - Klaiber - 2000
81	A PER model of secure information flow in sequential programs - Sabelfeld, Sands
79	A language-based approach to security - Schneider, Morrisett, et al. - 2000
77	Superoptimizer: a look at the smallest program - Massalin - 1987
76	Analysis of the Intel Pentium’s ability to support a secure virtual machine monitor - Robin, Irvine - 2000
76	The marriage of effects and monads - Wadler, Thiemann