default search action

combined dblp search
author search
venue search
publication search

ask others

APLAS 2025, Bengaluru, India

> Home > Conferences and Workshops > APLAS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/2025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/2025
Alex Potanin:
Programming Languages and Systems - 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 2025, Proceedings. Lecture Notes in Computer Science 16201, Springer 2026, ISBN 978-981-95-3584-2

Type Systems, Safety, and Verification

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/ArevaloAJOSR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/ArevaloAJOSR25
Pilar Selene Linares-Arévalo, Arthur Azevedo de Amorim, Vincent Jackson, Liam O'Connor, Peter Schachte, Christine Rizkallah:
Memory Safety: Uniqueness as Separation. 3-21
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/DagninoGPT25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/DagninoGPT25
Francesco Dagnino, Paola Giannini, Violet Ka I Pun, Ulises Torrella:
Fair Termination for Resource-Aware Active Objects. 22-43
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/AffeldtIS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/AffeldtIS25
Reynald Affeldt, Yoshihiro Ishiguro, Zachary Stone:
A Formal Foundation for Equational Reasoning on Probabilistic Programs. 44-64

Control, Effects, and Decidability

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/EndoT25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/EndoT25
Ryunosuke Endo, Tachio Terauchi:
Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers. 67-87
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/KobayashiK25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/KobayashiK25
Kentaro Kobayashi, Yukiyoshi Kameyama:
Expressive Power of One-Shot Control Operators and Coroutines. 88-106
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/AccattoliCW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/AccattoliCW25
Beniamino Accattoli, Claudio Sacerdoti Coen, Jui-Hsuan Wu:
Positive Sharing and Abstract Machines. 107-127

Quantum Programming and Logic

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/DaveDZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/DaveDZ25
Kinnari Dave, Alejandro Díaz-Caro, Vladimir Zamdzhiev:
IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation. 131-150
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/DiazCaroM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/DiazCaroM25
Alejandro Díaz-Caro, Nicolas A. Monzon:
A Quantum-Control Lambda-Calculus with Multiple Measurement Bases. 151-170

Program Analysis, Specifications, and Decision Procedures

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/AbdullaAGGT25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/AbdullaAGGT25
Parosh Aziz Abdulla, Mohamed Faouzi Atig, R. Govind, Samuel Grahn, Ramanathan S. Thinniyam:
Checking Consistency of Event-Driven Traces. 173-194
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/TrivediR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/TrivediR25
Nitesh Trivedi, Subhajit Roy:
Specification Inference Modulo Oracles for Database-Backed Web Applications. 195-216
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/HuCRSW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/HuCRSW25
Denghang Hu, Taolue Chen, Philipp Rümmer, Fu Song, Zhilin Wu:
Decision Procedure for a Theory of String Sequences. 217-238

AI and Compiler Optimisation for Performance

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/MaSQXS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/MaSQXS25
WenBo Ma, Qingzeng Song, Fei Qiao, Yongjiang Xue, MingZe Sun:
ELTC: An End-to-End Large Language Model-Based Tensor Compilation Optimization Framework. 241-259
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/IftekharM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/IftekharM25
Aman Iftekhar, Rahul Mishra:
Performance Optimization of HPC Workloads in Cloud Using AI-Driven Algorithms. 260-273

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.