| 2018 | A guess-and-assume approach to loop fusion for program verification. Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi |
| 2018 | Checking cryptographic API usage with composable annotations (short paper). Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, Johannes Kinder |
| 2018 | Developments in property-based testing (invited talk). Jan Midtgaard |
| 2018 | Gradually typed symbolic expressions. David Broman, Jeremy G. Siek |
| 2018 | On the cost of type-tag soundness. Ben Greenman, Zeina Migeed |
| 2018 | Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018 Fritz Henglein, Hsiang-Shang Ko |
| 2018 | Program generation for ML modules (short paper). Takahisa Watanabe, Yukiyoshi Kameyama |
| 2018 | Recursive programs in normal form (short paper). Barry Jay |
| 2018 | Selective CPS transformation for shift and reset. Kenichi Asai, Chihiro Uehara |