Update README.md

- Data Parallel String Manipulating Programs
- A Coalgebraic Decision Procedure for NetKAT

No preprint found for the following:
- The Essence of Hygiene
- Proof Spaces for Unbounded Parallelism
- On Characterizing the Data Access Complexity of Programs
- Predicting Program Properties from Big Code
- Succinct Representation of Concurrent Trace Sets

Do you indicate those search failures explicitly?