- Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis. Program Synthesis for Program Analysis. ACM Transactions on Programming Languages and Systems, 40(2), 2018.
- Matías Toro, Ronald Garcia, Éric Tanter. Type-Driven Gradual Security with References. ACM Transactions on Programming Languages and Systems, 40(4), 2018.
- Krishnendu Chatterjee, Hongfei Fu, Petr Novotný 0001, Rouzbeh Hasheminezhad. Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs. ACM Transactions on Programming Languages and Systems, 40(2), 2018.
- Se-Won Kim, Xavier Rival, Sukyoung Ryu. A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework. ACM Transactions on Programming Languages and Systems, 40(3), 2018.
- Andrew Myers. Editor's Foreword to "Static Backward Slicing of Non-Deterministic Programs and Systems". ACM Transactions on Programming Languages and Systems, 40(3), 2018.
- Anindya Banerjee 0001, David A. Naumann, Mohammad Nikouei. A Logical Analysis of Framing for Specifications with Pure Method Calls. ACM Transactions on Programming Languages and Systems, 40(2), 2018.
- Matthias Grimmer, Roland Schatz, Chris Seaton, Thomas Würthinger, Mikel Luján. Cross-Language Interoperability in a Multi-Language Runtime. ACM Transactions on Programming Languages and Systems, 40(2), 2018.
- Bart Jacobs 0002, Dragan Bosnacki, Ruurd Kuiper. Modular Termination Verification of Single-Threaded and Multithreaded Programs. ACM Transactions on Programming Languages and Systems, 40(3), 2018.
- Sebastian Danicic, Michael R. Laurence. Static Backward Slicing of Non-deterministic Programs and Systems. ACM Transactions on Programming Languages and Systems, 40(3), 2018.
- Jacob Lidman, Sally A. McKee. Verifying Reliability Properties Using the Hyperball Abstract Domain. ACM Transactions on Programming Languages and Systems, 40(1), 2018.