|
|
|
- Correctness of a Compiler for Arthmetic Expressions. paper
-
Programming pearls: Little Languages paper
- The Danger Theory and Its Application to Artificial Immune
Systems. paper
- An Immunological Approach to Change Detection:
Algorithms, Analysis and Implications. paper
- A Taste of Linear Logic. paper
- Call-by-name, Call-by-value, Call-by-need and
the Linear Lambda Calculus. paper
-
Separation Logic: A Logic for Shared Mutable Data Structures paper
- Gradual Typing for Erlang Programs: A Wrangler Experience paper
- A Language for Specifying Type Contracts in Erlang and its Interaction with Success Typings paper
-
MapReduce: Simplified Data Processing on Large Clusters paper
- Mars: A MapReduce Framework on Graphics Processors paper
Scalable Internet Services paper
- Monads for Functional Programming paper
-
Dynamic Recovery of Long Running Transactions paper
-
Modular Domain Specific Embedded Languages paper
-
A Calculus of Durations. paper
-
Proofs Are Programs: 19th Century Logic and 21st Century Computing. paper
-
Refinement: An Overview. paper
-
SEDA: An Architecture for WellConditioned, Formal Requirements for 3rd Generation Architectures. paper
-
Are Virtual Machine Monitor Microkernels Done Right? paper 1 vs paper 2
-
Building Domain Specific Embedded Languages paper
-
The Next 700 Programming Languages paper
-
The Essence of Functional Programming paper
-
Testing Hennessy-Milner Logic with Recursion paper
-
Runtime Verification for LTL and TLTL paper
-
An Overview of the MOP Runtime Verification Framework paper
-
McErlang: A Model Checker for a Distributed Functional Programming Language paper
-
Verification Techniques for Distributed Algorithms paper
-
On the Construction of Monitors for Temporal Logic Properties paper
-
Reasoning with Temporal Logic on Truncated Paths paper