Merge pull request #1 from gasche/master

Merge back changes
Update README.md

* arxiv paper for Abstract Acceleration of General Linear Loops
* preprint for Proofs that Count
* preprint for Bias-Variance Tradeoffs in Program Analysis
* preprint for Verifying Eventual Consistency of Optimistic Replication Systems
* preprint for Optimal Dynamic Partial Order Reduction
* preprint for A Sound and Complete Abstraction for Reasoning About Parallel Prefix Sums
Update README.md

* preprint for Consistency Analysis of Decision-Making Programs
* preprint for Symbolic Optimization with SMT Solvers
* arxiv paper for Applying quantitative semantics to higher-order quantum computing
* preprint for CakeML: A Verified Implementation of ML
* preprint for A Constraint-Based Approach to Solving Games on Infinite Graphs
Update README.md

* preprint for Tracing Compilation by Abstract Interpretation
* preprint for Counter-Factual Typing for Debugging Type Errors
* extended paper for Modular, Higher-Order Cardinality Analysis in Theory and Practice
* preprint for A Trusted Mechanised JavaScript Specification
* extended version of Partial Type Signatures for Haskell
Merge pull request #17 from bens/master

Sixteen more links to papers