- Martin Hecker 0001, Simon Bischof, Gregor Snelting. On Time-sensitive Control Dependencies. ACM Transactions on Programming Languages and Systems, 44(1), 2022.
- Darya Melicher, Anlun Xu, Valerie Zhao, Alex Potanin, Jonathan Aldrich. Bounded Abstract Effects. ACM Transactions on Programming Languages and Systems, 44(1), 2022.
- Chaoqiang Deng, Patrick Cousot. The Systematic Design of Responsibility Analysis by Abstract Interpretation. ACM Transactions on Programming Languages and Systems, 44(1), 2022.
- Maria I. Gorinova 0001, Andrew D. Gordon 0001, Charles Sutton, Matthijs Vákár. Conditional Independence by Typing. ACM Transactions on Programming Languages and Systems, 44(1), 2022.
- Omar Inverso, Ermenegildo Tomasco, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato. Bounded Verification of Multi-threaded Programs via Lazy Sequentialization. ACM Transactions on Programming Languages and Systems, 44(1), 2022.
- David Sanán, Yongwang Zhao, Shang-Wei Lin 0001, Yang Liu 0003. 2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee. ACM Transactions on Programming Languages and Systems, 43(1), 2021.
- Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens. Securing Interruptible Enclaved Execution on Small Microprocessors. ACM Transactions on Programming Languages and Systems, 43(3), 2021.
- Janwillem Swalens, Joeri De Koster, Wolfgang De Meuter. Chocola: Composable Concurrency Language. ACM Transactions on Programming Languages and Systems, 42(4), 2021.
- Bernardo Toninho, Nobuko Yoshida. On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings. ACM Transactions on Programming Languages and Systems, 43(2), 2021.
- Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg 0001, Catalin Hrittcu, Marco Patrignani, Éric Tanter, Jérémy Thibault. An Extended Account of Trace-relating Compiler Correctness and Secure Compilation. ACM Transactions on Programming Languages and Systems, 43(4), 2021.