Credible compilation

Credible compilation

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2000. === Includes bibliographical references (p. 135-138). === by Darko Marinov. === S.M.

Bibliographic Details
Main Author:	Marinov, Darko, 1976-
Other Authors:	Martin C. Rinard.
Format:	Others
Language:	English
Published:	Massachusetts Institute of Technology 2014
Subjects:	Electrical Engineering and Computer Science.
Online Access:	http://hdl.handle.net/1721.1/86621

Similar Items

Automatic testing of software with structurally complex inputs
by: Marinov, Darko, 1976-
Published: (2006)

An optimizing C compiler for DSP architectures
by: Lin, Jeremy H. (Jeremy Huei), 1976-
Published: (2009)

Architectural and compiler support for strongly atomic transactional memory
by: Ananian, C. Scott (Clifford Scott), 1976-
Published: (2008)

Collaborative compilation
by: Wagner, Benjamin R
Published: (2007)

An extension-oriented compiler
by: Cox, Russell Stensby
Published: (2009)

Towards a liquid compiler
by: Davis, Stephen Brooks
Published: (2006)

Sparse tensor algebra compilation
by: Kjølstad, Fredrik Berg.
Published: (2020)

Compilation to a queue-based architecture
by: Vandiver, Benjamin Mead, 1978-
Published: (2014)

SIFt : a compiler for streaming applications
by: Waingold, Elliot L. (Elliot Lee), 1977-
Published: (2014)

Compiler-enforced immutability for the Java language
by: Birka, Adrian, 1980-
Published: (2014)

Verified compilation of abstract network policies
by: Katz, Theodore(Theodore Robert)
Published: (2019)

Compiling methods for the Fresh Breeze processor
by: Fonger, Curtis George
Published: (2010)

Compilation techniques for short-vector instructions
by: Larsen, Samuel (Samuel Barton), 1975-
Published: (2007)

Compiling for coarse-grain reconfigurable architectures
by: Matsa, M. Morris E. (Moshe Morris Emanuel)
Published: (2008)

Language and compiler support for stream programs
by: Thies, William Frederick, 1978-
Published: (2009)

Reptile : a distributed ILP compiler
by: Bratt, Ian (Ian R.)
Published: (2006)

Prolac--a language for protocol compilation
by: Kohler, Eddie, 1973-
Published: (2009)

A technique for compilation to exposed memory hierarchy
by: Greenwald, Benjamin Eliot, 1975-
Published: (2014)

Execution model and optimizing compilation for execution migration
by: Lebedev, Ilia Andreevich
Published: (2014)

Efficient memory and GPU operations for Tiramisu compiler
by: Akkas, Abdurrahman.
Published: (2019)

Compiling functional reactive macroprograms for sensor networks
by: Newton, Ryan Rhodes, 1980-
Published: (2006)

Unfield sparse formats for tensor algebra compilers
by: Chou, Stephen, S.M. Massachusetts Institute of Technology
Published: (2018)

Improved handling of the decoding operation in the Presto compiler
by: Dong, Wenyan, 1980-
Published: (2006)

Compiling for parallel multithreaded computation on symmetric multiprocessors
by: Shaw, Andrew, 1968-
Published: (2009)

Automatic profiler-driven probabilistic compiler optimization
by: Coore, Daniel
Published: (2007)

Compilation-based prefetching for memory latency tolerance
by: Selvidge, Charles William
Published: (2005)

Language and compiler support for dyanmic code generation
by: Poletto, Massimiliano Antonio
Published: (2013)

Compilation using correct-by-construction program synthesis
by: Pit-Claudel, Clément
Published: (2017)

High level compilation for gate reconfigurable architectures
by: Babb, Jonathan William
Published: (2005)

Compiling Gallina to go for the FSCQ file system
by: Ziegler, Daniel (Daniel M.)
Published: (2018)

Structure driven multiprocessor compilation of numeric problems
by: Prasanna, Gorur Narayana Srinivasa
Published: (2010)

Evolutionary algorithms for compiler-enabled program autotuning
by: Pacula, Maciej
Published: (2011)

Compiling and optimizing spreadsheets for FPGA and multicore execution
by: Hirsch, Amir
Published: (2009)

Sparse tensor transpositions in the tensor algebra compiler
by: Mueller, Suzanne A.
Published: (2021)

A flexible compilation infrastructure for VLIW and SIMD architectures
by: Maze, David Z. (David Zachary), 1978-
Published: (2014)

A stream-aware compiler for communication exposed-architectures
by: Gordon, Michael I. (Michael Ian), 1978-
Published: (2014)

Implementation of a compiler for a stack machine in Java
by: Hui, Anthony Y., 1978-
Published: (2014)

A Tensor Algebra Compiler library interface and runtime
by: Noyola, Patricio.
Published: (2019)

Type system for resource bounds with type-preserving compilation
by: Wang, Peng,Ph. D.Massachusetts Institute of Technology.
Published: (2019)

Hybrid eager and lazy evaluation for efficient compilation of Haskell
by: Maessen, Jan-Willem
Published: (2005)