ATVA 2025
Mon 27 - Fri 31 October 2025
Bengaluru, India
Toggle navigation
Attending
Venue: International Institute of Information Technolgy, Bangalore
Registration
Visa Information
Accommodation Information
Travel Support
Local Information
Sponsorship
Program
ATVA Program
Your Program
Program at a Glance
Proceedings
Mon 27 Oct
Tue 28 Oct
Wed 29 Oct
Thu 30 Oct
Fri 31 Oct
Tracks
ATVA 2025
Invited Talks
NIER
ATVA Papers
Tutorials and Workshops
APLAS Papers
Organization
ATVA 2025 Committees
Artifact Evaluation Committee
Programme Committee
Steering Committee
Organizing Committee
General Chair
Contributors
People Index
Search
Series
Series
ATVA 2025
ATVA 2024
ATVA 2023
ATVA 2022
ATVA 2021
ATVA 2020
ATVA 2019
ATVA 2018
ATVA 2017
ATVA 2016
ATVA 2015
ATVA 2014
ATVA 2013
ATVA 2012
ATVA 2011
ATVA 2010
ATVA 2009
ATVA 2008
ATVA 2007
ATVA 2006
ATVA 2005
ATVA 2004
ATVA 2003
Sign in
Sign up
ATVA 2025
(
series
) /
International Institute of Information Technolgy, Bangalore
/
Room information: R104
Venue
International Institute of Information Technolgy, Bangalore
Room name
R104
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
.
Use conference time zone: (GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 Verification
APLAS Papers
at
R104
Chair(s):
Alex Potanin
Australian National University
11:00
30m
Paper
Memory Safety: Uniqueness as Separation
APLAS 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
Paper
Fair Termination for Resource-Aware Active Objects
APLAS Papers
Francesco Dagnino
,
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
Paper
A Formal Foundation for Equational Reasoning on Probabilistic Programs
APLAS Papers
Reynald Affeldt
National Institute of Advanced Industrial Science and Technology (AIST), Japan
,
Yoshihiro Ishiguro
,
Zachary Stone
The MathComp-Analysis development team
14:00 - 15:30
Control, Effects, and Decidability
APLAS Papers
at
R104
Chair(s):
Sanjiva Prasad
Indian Institute of Technology Delhi
14:00
30m
Paper
Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
APLAS Papers
Ryunosuke Endo
Waseda University
,
Tachio Terauchi
Waseda University
14:30
30m
Paper
Expressive Power of One-Shot Control Operators and Coroutines
APLAS Papers
Kentaro Kobayashi
University of Tsukuba
,
Yukiyoshi Kameyama
University of Tsukuba
15:00
30m
Paper
Positive Sharing and Abstract Machines
APLAS 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 Logic
APLAS Papers
at
R104
Chair(s):
Alex Potanin
Australian National University
16:00
30m
Paper
IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation
APLAS 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
Paper
A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
APLAS 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 Procedures
APLAS Papers
at
R104
Chair(s):
PRITAM MANOHAR GHARAT
Microsoft Research India
11:00
30m
Paper
Checking Consistency of Event-driven Traces
APLAS 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
Paper
Specification Inference modulo Oracles for Database-backed Web Applications
APLAS Papers
Nitesh Trivedi
,
Subhajit Roy
IIT Kanpur
12:00
30m
Paper
Decision Procedures for A Theory of String Sequences
APLAS 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
13:00 - 14:00
APLAS SRC 1
APLAS Papers
at
R104
14:00 - 15:00
AI and Compiler Optimisation for Performance
APLAS Papers
at
R104
Chair(s):
Meenakshi D'Souza
IIITB - International Institute of Information Technology Bangalore
14:00
30m
Paper
ELTC: An End-to-End Large Language Model-Based Tensor Compilation Optimization Framework
APLAS Papers
wenbo ma
Tiangong University
,
qingzeng song
Tiangong University
,
yongjiang xue
Tiangong University
,
Fei Qiao
Tsinghua University
,
mingze sun
Tiangong University
14:30
30m
Paper
Performance Optimization of HPC Workloads in Cloud Using AI-Driven Algorithms
APLAS Papers
Aman Iftekhar
IIT Patna
,
Rahul Mishra
15:00 - 15:30
APLAS SRC 2
APLAS Papers
at
R104
Tue 28 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
R104
APLAS Papers
Type Systems, Safety, and Verification
APLAS Papers
Control, Effects, and Decidability
APLAS Papers
Quantum Programming and Logic
Wed 29 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
R104
APLAS Papers
Program Analysis, Specifications, and Decision Procedures
APLAS Papers
APLAS SRC 1
APLAS Papers
AI and Compiler Optimisation for Performance
APLAS Papers
APLAS SRC 2
Tue 28 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
R104
ATVA APLAS Papers
Memory Safety: Uniqueness as Separation
11:00 - 11:30
ATVA APLAS Papers
Fair Termination for Resource-Aware Active Objects
11:30 - 12:00
ATVA APLAS Papers
A Formal Foundation for Equational Reasoning on Probabilistic Programs
12:00 - 12:30
ATVA APLAS Papers
Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
14:00 - 14:30
ATVA APLAS Papers
Expressive Power of One-Shot Control Operators and Coroutines
14:30 - 15:00
ATVA APLAS Papers
Positive Sharing and Abstract Machines
15:00 - 15:30
ATVA APLAS Papers
IMALL with a Mixed-State Modality: A Logical Approach to Quantum Comput ...
16:00 - 16:30
ATVA APLAS Papers
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
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
R104
ATVA APLAS Papers
Checking Consistency of Event-driven Traces
11:00 - 11:30
ATVA APLAS Papers
Specification Inference modulo Oracles for Database-backed Web Applications
11:30 - 12:00
ATVA APLAS Papers
Decision Procedures for A Theory of String Sequences
12:00 - 12:30
ATVA APLAS Papers
ELTC: An End-to-End Large Language Model-Based Tensor Compilation Optim ...
14:00 - 14:30
ATVA APLAS Papers
Performance Optimization of HPC Workloads in Cloud Using AI-Driven Algo ...
14:30 - 15:00
x
Sun 2 Nov 02:43