yallop/popl2015-papers — pull request #5 by gasche (2014-11-01 13:23:24+00:00)
Title: 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?