| 2026 | Programming Languages and Systems - 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 2025, Proceedings Alex Potanin |
| 2025 | A Formal Foundation for Equational Reasoning on Probabilistic Programs. Reynald Affeldt, Yoshihiro Ishiguro, Zachary Stone |
| 2025 | A Quantum-Control Lambda-Calculus with Multiple Measurement Bases. Alejandro Díaz-Caro, Nicolas A. Monzon |
| 2025 | Checking Consistency of Event-Driven Traces. Parosh Aziz Abdulla, Mohamed Faouzi Atig, R. Govind, Samuel Grahn, Ramanathan S. Thinniyam |
| 2025 | Decision Procedure for a Theory of String Sequences. Denghang Hu, Taolue Chen, Philipp Rümmer, Fu Song, Zhilin Wu |
| 2025 | ELTC: An End-to-End Large Language Model-Based Tensor Compilation Optimization Framework. Wenbo Ma, Qingzeng Song, Fei Qiao, Yongjiang Xue, Mingze Sun |
| 2025 | Expressive Power of One-Shot Control Operators and Coroutines. Kentaro Kobayashi, Yukiyoshi Kameyama |
| 2025 | Fair Termination for Resource-Aware Active Objects. Francesco Dagnino, Paola Giannini, Violet Ka I Pun, Ulises Torrella |
| 2025 | IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation. Kinnari Dave, Alejandro Díaz-Caro, Vladimir Zamdzhiev |
| 2025 | Memory Safety: Uniqueness as Separation. Pilar Selene Linares-Arévalo, Arthur Azevedo de Amorim, Vincent Jackson, Liam O'Connor, Peter Schachte, Christine Rizkallah |
| 2025 | Performance Optimization of HPC Workloads in Cloud Using AI-Driven Algorithms. Aman Iftekhar, Rahul Mishra |
| 2025 | Positive Sharing and Abstract Machines. Beniamino Accattoli, Claudio Sacerdoti Coen, Jui-Hsuan Wu |
| 2025 | Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers. Ryunosuke Endo, Tachio Terauchi |
| 2025 | Specification Inference Modulo Oracles for Database-Backed Web Applications. Nitesh Trivedi, Subhajit Roy |