GitHub - slotbite/cs-papers: Ye Olde Computer Science Scrolls!

Name		Name	Last commit message	Last commit date
Latest commit History 898 Commits
.gitignore		.gitignore
A Brief History of Just-in-time - John Aycock.pdf		A Brief History of Just-in-time - John Aycock.pdf
A Call-by-name Lambda-calculus Machine - Jean-Louis Krivine.pdf		A Call-by-name Lambda-calculus Machine - Jean-Louis Krivine.pdf
A Consistent and Complete Deductive System for the Verification of Parallel Programs - Susan S. Owicki.pdf		A Consistent and Complete Deductive System for the Verification of Parallel Programs - Susan S. Owicki.pdf
A Critique of Standard ML - Andrew Appel.pdf		A Critique of Standard ML - Andrew Appel.pdf
A Cryptographic File System for UNIX - Matt Blaze.pdf		A Cryptographic File System for UNIX - Matt Blaze.pdf
A Functional Correspondence Between Evaluators and Abstract Machines - Mads Sig Ager.pdf		A Functional Correspondence Between Evaluators and Abstract Machines - Mads Sig Ager.pdf
A Haskell to Java Virtual Machine Code Compiler - David Wakeling.pdf		A Haskell to Java Virtual Machine Code Compiler - David Wakeling.pdf
A History of Haskell: Being Lazy with Class - Paul Hudak.pdf		A History of Haskell: Being Lazy with Class - Paul Hudak.pdf
A Logical Correspondence Between Natural Semantics and Abstract Machines - Robert J. Simmons.pdf		A Logical Correspondence Between Natural Semantics and Abstract Machines - Robert J. Simmons.pdf
A Method for Obtaining Digital Signatures and Public-key Cryptosystems - R. L. Rivest.pdf		A Method for Obtaining Digital Signatures and Public-key Cryptosystems - R. L. Rivest.pdf
A Model for Communicating Sequential Process - Hoare.pdf		A Model for Communicating Sequential Process - Hoare.pdf
A Nanopass Framework for Compiler Education - Dipanwita Sarkar.pdf		A Nanopass Framework for Compiler Education - Dipanwita Sarkar.pdf
A New Notation for Arrows - Ross Paterson.pdf		A New Notation for Arrows - Ross Paterson.pdf
A Poor Man's Concurrency Monad - Koen Claessen.pdf		A Poor Man's Concurrency Monad - Koen Claessen.pdf
A Portable and Optimizing Back End for the SMLNJ Compiler - Lal George.pdf		A Portable and Optimizing Back End for the SMLNJ Compiler - Lal George.pdf
A Primer on Memory Consistency and Cache Coherence - Daniel J. Sorin.pdf		A Primer on Memory Consistency and Cache Coherence - Daniel J. Sorin.pdf
A Principled Approach to Operating System Construction in Haskell - Thomas Hallgren.pdf		A Principled Approach to Operating System Construction in Haskell - Thomas Hallgren.pdf
A Rational Deconstruction of Landin's SECD Machine - Olivier Danvy.pdf		A Rational Deconstruction of Landin's SECD Machine - Olivier Danvy.pdf
A Runtime System - Andrew Appel.pdf		A Runtime System - Andrew Appel.pdf
A Standard ML Compiler - Andrew W. Appel.pdf		A Standard ML Compiler - Andrew W. Appel.pdf
A Systematic Study of Functional Language Implementations - Remi Douence.pdf		A Systematic Study of Functional Language Implementations - Remi Douence.pdf
A Theory of Type Polymorphism in Programming - Robin Milner.pdf		A Theory of Type Polymorphism in Programming - Robin Milner.pdf
A Type-based Compiler for Standard ML - Zhong Shao.pdf		A Type-based Compiler for Standard ML - Zhong Shao.pdf
Abstract Machines for Programming Language Implementation - Stephan Diehl.pdf		Abstract Machines for Programming Language Implementation - Stephan Diehl.pdf
Abstract Machines, Control, and Sequents - Pierre-Louis Curien.pdf		Abstract Machines, Control, and Sequents - Pierre-Louis Curien.pdf
Abstract Models of Memory Management - Greg Morrisett.pdf		Abstract Models of Memory Management - Greg Morrisett.pdf
Abstracting Abstract Machines - David Van Horn.pdf		Abstracting Abstract Machines - David Van Horn.pdf
Adding Threads to Standard ML - Eric Cooper.pdf		Adding Threads to Standard ML - Eric Cooper.pdf
All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-consistent Applications - Thanumalayan Sankaranarayana Pillai.pdf		All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-consistent Applications - Thanumalayan Sankaranarayana Pillai.pdf
An Abstract Machine for an Object Calculus - Luis Lopes.pdf		An Abstract Machine for an Object Calculus - Luis Lopes.pdf
An Axiomatic Basis for Computer Programming - Hoare.pdf		An Axiomatic Basis for Computer Programming - Hoare.pdf
An Incremental Approach to Compiler Construction - Abdulaziz Ghuloum.pdf		An Incremental Approach to Compiler Construction - Abdulaziz Ghuloum.pdf
An Ode to Arrows - Hai Liu.pdf		An Ode to Arrows - Hai Liu.pdf
Applicative Programming with Effects - Conor Mcbride.pdf		Applicative Programming with Effects - Conor Mcbride.pdf
Arrows and Computation - Ross Paterson.pdf		Arrows and Computation - Ross Paterson.pdf
Asynchronous Exceptions in Haskell - Simon Marlow.pdf		Asynchronous Exceptions in Haskell - Simon Marlow.pdf
Asynchronous Signals is Standard ML - John Reppy.pdf		Asynchronous Signals is Standard ML - John Reppy.pdf
Automatic SIMD Vectorization for Haskell - Leaf Petersen.pdf		Automatic SIMD Vectorization for Haskell - Leaf Petersen.pdf
Automatically RESTful Web Applications: Marking Modular Serializable Continuations - Jay A. McCarthy.pdf		Automatically RESTful Web Applications: Marking Modular Serializable Continuations - Jay A. McCarthy.pdf
Beautiful Concurrency - Simon Peyton Jones.pdf		Beautiful Concurrency - Simon Peyton Jones.pdf
Cache Efficient Functional Algorithms - Guy E. Blelloch.pdf		Cache Efficient Functional Algorithms - Guy E. Blelloch.pdf
Cache and IO Efficent Functional Algorithms - Guy E. Blelloch.pdf		Cache and IO Efficent Functional Algorithms - Guy E. Blelloch.pdf
Caching Considerations for Generational Garbage Collection - Paul R. Wilson.pdf		Caching Considerations for Generational Garbage Collection - Paul R. Wilson.pdf
Call-by-Name, Call-by-Value and the Lambda Calculus - Plotkin.pdf		Call-by-Name, Call-by-Value and the Lambda Calculus - Plotkin.pdf
Can Programming Be Liberated from the von Neumann Style - John Backus.pdf		Can Programming Be Liberated from the von Neumann Style - John Backus.pdf
Can Traditional Programming Bridge the Ninja Performance Gap for Parallel Computing Applications? - Nadathur Satish.pdf		Can Traditional Programming Bridge the Ninja Performance Gap for Parallel Computing Applications? - Nadathur Satish.pdf
Capability Myths Demolished - Mark S Miller.pdf		Capability Myths Demolished - Mark S Miller.pdf
Cogent: Verifying High-Assurance File System Implementations - Sidney Amani.pdf		Cogent: Verifying High-Assurance File System Implementations - Sidney Amani.pdf
Communicating Sequential Processes - C. A. R. Hoare.pdf		Communicating Sequential Processes - C. A. R. Hoare.pdf
Compiling Standard ML to Java Bytecodes - Nick Benton.pdf		Compiling Standard ML to Java Bytecodes - Nick Benton.pdf
Compiling a Functional Language - Luca Cardelli.pdf		Compiling a Functional Language - Luca Cardelli.pdf
Composable Memory Transactions - Tim Harris.pdf		Composable Memory Transactions - Tim Harris.pdf
Composing Contracts: An Adventure in Financial Engineering - Simon Peyton Jones.pdf		Composing Contracts: An Adventure in Financial Engineering - Simon Peyton Jones.pdf
Comprehending Monads - Philip Wadler.pdf		Comprehending Monads - Philip Wadler.pdf
Computational Lambda-Calculus and Monads - Eugenio Moggi.pdf		Computational Lambda-Calculus and Monads - Eugenio Moggi.pdf
Concurrent ML: Design, Application and Semantics - John Reppy.pdf		Concurrent ML: Design, Application and Semantics - John Reppy.pdf
Cryptographic Security for a High-Performance Distributed File System - Roman Pletka.pdf		Cryptographic Security for a High-Performance Distributed File System - Roman Pletka.pdf
Data Parallel Algorithms - W. Daniel Hillis.pdf		Data Parallel Algorithms - W. Daniel Hillis.pdf
Definitional Interpreters Revisited - John C. Reynolds.pdf		Definitional Interpreters Revisited - John C. Reynolds.pdf
Definitional Interpreters for Higher-Order Programming Languages - John C. Reynolds.pdf		Definitional Interpreters for Higher-Order Programming Languages - John C. Reynolds.pdf
Deforestation for Higher-Order Functional Programs - Simon Marlow.pdf		Deforestation for Higher-Order Functional Programs - Simon Marlow.pdf
Dependent Types for Low-Level Programming - George Necula.pdf		Dependent Types for Low-Level Programming - George Necula.pdf
DieHard: Probabilistic Memory Safety for Unsafe Languages - Emery D. Berger.pdf		DieHard: Probabilistic Memory Safety for Unsafe Languages - Emery D. Berger.pdf
Direct Style Monadic Parser Combinators for the Real World - Daan Leijen.pdf		Direct Style Monadic Parser Combinators for the Real World - Daan Leijen.pdf
Distilling Abstract Machines - Beniamino Accattoli.pdf		Distilling Abstract Machines - Beniamino Accattoli.pdf
Efficient Compilation of Lazy Evaluation - Thomas Johnsson.pdf		Efficient Compilation of Lazy Evaluation - Thomas Johnsson.pdf
Efficient Parallel Stencil Convolution in Haskell - Ben Lippmeier.pdf		Efficient Parallel Stencil Convolution in Haskell - Ben Lippmeier.pdf
Exploiting Vector Instructions with Generalized Stream Fusion - Geoffrey Mainland.pdf		Exploiting Vector Instructions with Generalized Stream Fusion - Geoffrey Mainland.pdf
Finger Trees: A Simple General-purpose Data Structure - Ralf Hinze.pdf		Finger Trees: A Simple General-purpose Data Structure - Ralf Hinze.pdf
Flask: Staged Functional Programming for Sensor Networks - Geoffrey Mainland.pdf		Flask: Staged Functional Programming for Sensor Networks - Geoffrey Mainland.pdf
Formal Verification of a Realistic Compiler - Xavier Leroy.pdf		Formal Verification of a Realistic Compiler - Xavier Leroy.pdf
Foundational Proof-Carrying Code - Andrew Appel.pdf		Foundational Proof-Carrying Code - Andrew Appel.pdf
From Operational Semantics to Abstract Machines - John Hannan.pdf		From Operational Semantics to Abstract Machines - John Hannan.pdf
From Reduction-based to Reduction-free Normalization - Olivier Danvy.pdf		From Reduction-based to Reduction-free Normalization - Olivier Danvy.pdf
Functional Derivation of a Virtual Machine for Delimited Continuations - Kenichi Asai.pdf		Functional Derivation of a Virtual Machine for Delimited Continuations - Kenichi Asai.pdf
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire - Erik Meijer.pdf		Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire - Erik Meijer.pdf
Functions As Processes - Robin Milner.pdf		Functions As Processes - Robin Milner.pdf
Garbage Collection Can Be Faster Than Stack Allocation - Andrew Appel.pdf		Garbage Collection Can Be Faster Than Stack Allocation - Andrew Appel.pdf
Generalising Monads to Arrows - John Hughes.pdf		Generalising Monads to Arrows - John Hughes.pdf
Guiding Parallel Array Fusion with Indexed Types - Ben Lippmeier.pdf		Guiding Parallel Array Fusion with Indexed Types - Ben Lippmeier.pdf
Halide: A Language and Compiler for Optimizing Parallelism, Locality, and Recomputation in Image Processing Pipelines - Jonathan Ragan-Kelley.pdf		Halide: A Language and Compiler for Optimizing Parallelism, Locality, and Recomputation in Image Processing Pipelines - Jonathan Ragan-Kelley.pdf
Harnessing the Multicores: Nested Data Parallelism in Haskell - Simon Peyton Jones.pdf		Harnessing the Multicores: Nested Data Parallelism in Haskell - Simon Peyton Jones.pdf
Haskell on a Shared-memory Multiprocessor - Tim Harris.pdf		Haskell on a Shared-memory Multiprocessor - Tim Harris.pdf
Higher-order Functions for Parsing - Graham Hutton.pdf		Higher-order Functions for Parsing - Graham Hutton.pdf
How to Replace Failure by a List of Successes - Philip Wadler.pdf		How to Replace Failure by a List of Successes - Philip Wadler.pdf
IRON File Systems - Vijayan Prabhakaran.pdf		IRON File Systems - Vijayan Prabhakaran.pdf
Idioms Are Oblivious, Arrows Are Meticulous, Monads Are Promiscuous - Sam Lindley.pdf		Idioms Are Oblivious, Arrows Are Meticulous, Monads Are Promiscuous - Sam Lindley.pdf
Imperative Functional Programming - Simon Peyton Jones.pdf		Imperative Functional Programming - Simon Peyton Jones.pdf
Implementing Functional Languages - Simon Peyton Jones.pdf		Implementing Functional Languages - Simon Peyton Jones.pdf
Implementing Typed Intermediate Languages - Zhong Shao.pdf		Implementing Typed Intermediate Languages - Zhong Shao.pdf
Improvements to Graph Coloring Register Allocation - Preston Briggs.pdf		Improvements to Graph Coloring Register Allocation - Preston Briggs.pdf
Intermediate Representations in Imperative Compilers: A Survey - James Stanier.pdf		Intermediate Representations in Imperative Compilers: A Survey - James Stanier.pdf
Into the Depths of C: Elaborating the De Facto Standards - Kayvan Memarian.pdf		Into the Depths of C: Elaborating the De Facto Standards - Kayvan Memarian.pdf
Kawa: Compiling Dynamic Languages to the Java VM - Per Bothner.pdf		Kawa: Compiling Dynamic Languages to the Java VM - Per Bothner.pdf
Key Management in an Encrypting File System - Matt Blaze.pdf		Key Management in an Encrypting File System - Matt Blaze.pdf
LLVM: A Compilation Framework for Lifelong Program Analysis and Transformation - Chris Lattner.pdf		LLVM: A Compilation Framework for Lifelong Program Analysis and Transformation - Chris Lattner.pdf
Lambda Lifting - Transforming Programs to Recursive Equations - Thomas Johnsson.pdf		Lambda Lifting - Transforming Programs to Recursive Equations - Thomas Johnsson.pdf
Lava: Hardware Design in Haskell - Per Bjesse.pdf		Lava: Hardware Design in Haskell - Per Bjesse.pdf
Linear Scan Register Allocation - Massimiliano Poletto.pdf		Linear Scan Register Allocation - Massimiliano Poletto.pdf

slotbite/cs-papers

Folders and files

Latest commit

History