1. A formalization of priority inversion
2. A theory of data race detection
3. Parallelism in sequential functional languages
4. Guy E. Blelloch and John Greiner. 1996. A Provable Time and Space Efficient Implementation of NESL . In Proceedings of the First ACM SIGPLAN International Conference on Functional Programming ( Philadelphia, Pennsylvania, USA) (ICFP '96). Association for Computing Machinery, New York, NY, USA, 213--225. https://doi.org/10.1145/232627.232650 10.1145/232627.232650 Guy E. Blelloch and John Greiner. 1996. A Provable Time and Space Efficient Implementation of NESL. In Proceedings of the First ACM SIGPLAN International Conference on Functional Programming (Philadelphia, Pennsylvania, USA) (ICFP '96). Association for Computing Machinery, New York, NY, USA, 213--225. https://doi.org/10.1145/232627.232650
5. The Parallel Evaluation of General Arithmetic Expressions