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