APLAS 2025
Mon 27 - Thu 30 October 2025 Bengaluru, India
APLAS 2025 (series) / The International Institute of Information Technology Bangalore (IIIT Bangalore) /

Room information: R104

VenueThe International Institute of Information Technology Bangalore (IIIT Bangalore)
Room nameR104
Room InformationNo extra information available
Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 28 Oct

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

11:00 - 12:30
Type Systems, Safety, and VerificationResearch Papers at R104
Chair(s): Alex Potanin Australian National University
11:00
30m
Talk
Memory Safety: Uniqueness as Separation.In Person Talk
Research Papers
Pilar Selene Linares Arévalo University of Melbourne, Arthur Azevedo de Amorim Rochester Institute of Technology, USA, Vincent Jackson University of Melbourne, Liam O'Connor Australian National University, Peter Schachte The University of Melbourne, Christine Rizkallah University of Melbourne
11:30
30m
Talk
Fair Termination for Resource-Aware Active Objects
Research Papers
Francesco Dagnino University of Genoa, Paola Giannini University of Eastern Piedmont, Violet Ka I Pun Western Norway University of Applied Sciences, Ulises Torrella Høgskulen på Vestlandet
12:00
30m
Talk
A Formal Foundation for Equational Reasoning on Probabilistic Programs
Research Papers
Reynald Affeldt National Institute of Advanced Industrial Science and Technology (AIST), Japan, Yoshihiro Ishiguro Nagoya University, AIST, Zachary Stone The MathComp-Analysis development team
14:00 - 15:30
Control, Effects, and DecidabilityResearch Papers at R104
Chair(s): Sanjiva Prasad Indian Institute of Technology Delhi
14:00
30m
Talk
Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
Research Papers
Ryunosuke Endo Waseda University, Tachio Terauchi Waseda University
14:30
30m
Talk
Expressive Power of One-Shot Control Operators and CoroutinesIn Person Talk
Research Papers
Kentaro Kobayashi University of Tsukuba, Yukiyoshi Kameyama University of Tsukuba
15:00
30m
Talk
Positive Sharing and Abstract MachinesRemote Talk
Research Papers
Beniamino Accattoli Inria & Ecole Polytechnique, Claudio Sacerdoti Coen University of Bologna, Jui-Hsuan Wu CNRS - ENS Lyon - Université Claude Bernard Lyon 1 - LIP - UMR 5668
16:00 - 17:00
Quantum Programming and LogicResearch Papers at R104
Chair(s): Alex Potanin Australian National University
16:00
30m
Talk
IMALL with a Mixed-State Modality: A Logical Approach to Quantum ComputationIn Person Talk
Research Papers
Kinnari Dave Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire Méthodes Formelles, Alejandro Díaz-Caro INRIA / LORIA & UNQ, Vladimir Zamdzhiev Inria
16:30
30m
Talk
A Quantum-Control Lambda-Calculus with Multiple Measurement BasesRemote Talk
Research Papers
Alejandro Díaz-Caro INRIA / LORIA & UNQ, Nicolas A. Monzon Universidad de la República & Universidad Argentina de la Empresa

Wed 29 Oct

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

11:00 - 12:30
Program Analysis, Specifications, and Decision ProceduresResearch Papers at R104
Chair(s): PRITAM MANOHAR GHARAT Microsoft Research India
11:00
30m
Talk
Checking Consistency of Event-driven Traces
Research Papers
Parosh Aziz Abdulla Uppsala University; Mälardalen University, Mohamed Faouzi Atig Uppsala University, Sweden, Samuel Grahn Uppsala University, Govind Rajanbabu Uppsala University, Ramanathan S. Thinniyam Uppsala University
11:30
30m
Talk
Specification Inference modulo Oracles for Database-backed Web Applications
Research Papers
Nitesh Trivedi IIT KANPUR, Subhajit Roy IIT Kanpur
12:00
30m
Talk
Decision Procedures for A Theory of String SequencesRemote Talk
Research Papers
Denghang Hu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Taolue Chen Birkbeck, University of London, Philipp Ruemmer University of Regensburg and Uppsala University, Fu Song Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Nanjing Institute of Software Technology, Zhilin Wu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
14:00 - 15:00
AI and Compiler Optimisation for PerformanceResearch Papers at R104
Chair(s): Meenakshi D'Souza IIITB - International Institute of Information Technology Bangalore
14:00
30m
Talk
ELTC: An End-to-End Large Language Model-Based Tensor Compilation Optimization FrameworkRemote Talk
Research Papers
wenbo ma Tiangong University, qingzeng song Tiangong University, yongjiang xue Tiangong University, Fei Qiao Tsinghua University, mingze sun Tiangong University
14:30
30m
Talk
Performance Optimization of HPC Workloads in Cloud Using AI-Driven AlgorithmsRemote Talk
Research Papers
Aman Iftekhar IIT Patna, Rahul Mishra IIT Patna
15:00 - 16:00
APLAS SRC Poster Session 1SRC and Posters at R104

Thu 30 Oct

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

11:00 - 12:30
APLAS SRC 2SRC and Posters at R104
14:00 - 15:00
APLAS SRC 3SRC and Posters at R104

Tue 28 Oct

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Room11:003012:003013:003014:003015:003016:0030
R104

Research Papers

Type Systems, Safety, and Verification

Research Papers

Control, Effects, and Decidability

Research Papers

Quantum Programming and Logic

Wed 29 Oct

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Room11:003012:003013:003014:003015:0030
R104

Research Papers

Program Analysis, Specifications, and Decision Procedures

Research Papers

AI and Compiler Optimisation for Performance

SRC and Posters

APLAS SRC Poster Session 1

Thu 30 Oct

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Room11:003012:003013:003014:0030
R104

SRC and Posters

APLAS SRC 2

SRC and Posters

APLAS SRC 3

Tue 28 Oct

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
R104
APLAS Research PapersIn Person Talk
Memory Safety: Uniqueness as Separation.
11:00 - 11:30
APLAS Research Papers
Fair Termination for Resource-Aware Active Objects
11:30 - 12:00
APLAS Research Papers
A Formal Foundation for Equational Reasoning on Probabilistic Programs
12:00 - 12:30
APLAS Research Papers
Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
14:00 - 14:30
APLAS Research PapersIn Person Talk
Expressive Power of One-Shot Control Operators and Coroutines
14:30 - 15:00
APLAS Research PapersRemote Talk
Positive Sharing and Abstract Machines
15:00 - 15:30
APLAS Research PapersIn Person Talk
IMALL with a Mixed-State Modality: A Logical Approach to Quantum Comput ...
16:00 - 16:30
APLAS Research PapersRemote Talk
A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
16:30 - 17:00

Wed 29 Oct

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Room11:0015304512:0015304513:0015304514:00153045
R104
APLAS Research Papers
Checking Consistency of Event-driven Traces
11:00 - 11:30
APLAS Research Papers
Specification Inference modulo Oracles for Database-backed Web Applications
11:30 - 12:00
APLAS Research PapersRemote Talk
Decision Procedures for A Theory of String Sequences
12:00 - 12:30
APLAS Research PapersRemote Talk
ELTC: An End-to-End Large Language Model-Based Tensor Compilation Optim ...
14:00 - 14:30
APLAS Research PapersRemote Talk
Performance Optimization of HPC Workloads in Cloud Using AI-Driven Algo ...
14:30 - 15:00