| 2018 | A trustworthy mechanized formalization of R. Martin Bodin, Tomás Diaz, Éric Tanter |
| 2018 | HorseIR: bringing array programming languages together with database query processing. Hanfeng Chen, Joseph Vinish D'silva, Hongji Chen, Bettina Kemme, Laurie J. Hendren |
| 2018 | JavaScript AOT compilation. Manuel Serrano |
| 2018 | Log++ logging for a cloud-native world. Mark Marron |
| 2018 | Numerical computing on the web: benchmarking for the future. David Herrera, Hanfeng Chen, Erick Lavoie, Laurie J. Hendren |
| 2018 | Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages, DLS 2018, Boston, MA, USA, November 6, 2018 Tim Felgentreff |
| 2018 | Query-based object-oriented programming: a declarative web of objects. Yoav Seginer, Theo Vosse, Gil Harari, Uri Kolodny |
| 2018 | Self-contained development environments. Guido Chari, Javier Pimás, Jan Vitek, Olivier Flückiger |
| 2018 | The behavior of gradual types: a user study. Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, Shriram Krishnamurthi |