APLAS 2025

13 papers

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