logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
P

PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2025

IF
Papers13
Citations
Journal Papers 13
Publication Date
delete
Expressive Power of One-Shot Control Operators and Coroutines
deletePROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKobayashi, Kentaro; Kamey, Yukiyoshi
deleteShare
deleteSave
ELTC: An End-to-End Large Language Model-Based Tensor Compilation Optimization Framework
deletePROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteMa, WenBo; Song, QingZeng; Qiao, Fei; Xue, YongJiang; Sun, MingZe
deleteShare
deleteSave
Memory Safety: Uniqueness as Separation
deletePROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteArevalo, Pilar Selene Linares; de Amorim, Arthur Azevedo; Jackson, Vincent; O'Connor, Liam; Schachte, Peter; Rizkallah, Christine
deleteShare
deleteSave
Positive Sharing and Abstract Machines
deletePROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAccattoli, Beniamino; Coen, Claudio Sacerdoti; Wu, Jui-Hsuan
deleteShare
deleteSave
Checking Consistency of Event-Driven Traces
deletePROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAbdulla, Parosh Aziz; Atig, Mohamed Faouzi; Govind, R.; Grahn, Samuel; Thinniyam, Ramanathan S.
deleteShare
deleteSave
Performance Optimization of HPC Workloads in Cloud Using AI-Driven Algorithms
deletePROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteIftekhar, Aman; Mishra, Rahul
deleteShare
deleteSave
A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
deletePROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDiaz-Caro, Alejandro; Monzon, Nicolas A.
deleteShare
deleteSave
Decision Procedure for a Theory of String Sequences
deletePROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHu, Denghang; Chen, Taolue; Rummer, Philipp; Song, Fu; Wu, Zhilin
deleteShare
deleteSave
A Formal Foundation for Equational Reasoning on Probabilistic Programs
deletePROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAffeldt, Reynald; Ishiguro, Yoshihiro; Stone, Zachary
deleteShare
deleteSave
Specification Inference Modulo Oracles for Database-Backed Web Applications
deletePROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteTrivedi, Nitesh; Roy, Subhajit
deleteShare
deleteSave
Fair Termination for Resource-Aware Active Objects
deletePROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDagnino, Francesco; Giannini, Paola; Pun, Violet Ka I.; Torrella, Ulises
deleteShare
deleteSave
Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
deletePROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteEndo, Ryunosuke; Terauchi, Tachio
deleteShare
deleteSave
IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation
deletePROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDave, Kinnari; Diaz-Caro, Alejandro; Zamdzhiev, Vladimir
deleteShare
deleteSave