- Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa. Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. ACM Transactions on Programming Languages and Systems, 46(1), March 2024.
- Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni. Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation. ACM Transactions on Programming Languages and Systems, 46(2):5, June 2024.
- Ruyi Ji, Yuwei Zhao, Yingfei Xiong 0001, Di Wang 0017, Lu Zhang 0023, Zhenjiang Hu. Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms. ACM Transactions on Programming Languages and Systems, 46(2):8, June 2024.
- Aman Nougrahiya, V. Krishna Nandivada. Homeostasis: Design and Implementation of a Self-Stabilizing Compiler. ACM Transactions on Programming Languages and Systems, 46(2):6, June 2024.
- Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini. LoRe: A Programming Model for Verifiably Safe Local-first Software. ACM Transactions on Programming Languages and Systems, 46(1), March 2024.
- Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti. Choral: Object-oriented Choreographic Programming. ACM Transactions on Programming Languages and Systems, 46(1), March 2024.
- Ari Rasch. (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms. ACM Transactions on Programming Languages and Systems, 46(3), September 2024.
- Flavio Ascari, Roberto Bruni 0001, Roberta Gori. Limits and Difficulties in the Design of Under-Approximation Abstract Domains. ACM Transactions on Programming Languages and Systems, 46(3), September 2024.
- Benno Stein 0001, Bor-Yuh Evan Chang, Manu Sridharan. Interactive Abstract Interpretation with Demanded Summarization. ACM Transactions on Programming Languages and Systems, 46(1), March 2024.
- Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa. Proving Correctness of Parallel Implementations of Transition System Models. ACM Transactions on Programming Languages and Systems, 46(3), September 2024.