APLAS 2025 (series) /
APLAS 2025 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Mon 27 OctDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
Mon 27 Oct
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
09:30 - 10:30 | |||
09:30 30mTalk | Regular Theories and How to Decide Them ATVA and APLAS NIER Umang Mathur National University of Singapore, Singapore | ||
10:00 30mTalk | Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation ATVA and APLAS NIER | ||
11:00 - 12:30 | |||
11:00 30mTalk | Property Grouping and Context-Aware Runtime Enforcement ATVA and APLAS NIER Saumya Shankar International Institute of Information Technology Bangalore, Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, Thierry Jéron INRIA | ||
11:30 30mTalk | Compositional Probabilistic Model Checking with String Diagrams of MDPs ATVA and APLAS NIER Ichiro Hasuo National Institute of Informatics, Japan | ||
12:00 30mTalk | PhantomDrive: A Privacy-Focused Navigation System for Concealing User Movements ATVA and APLAS NIER | ||
14:00 - 14:30 | |||
14:00 30mTalk | Bidding Your Way to Better Decisions ATVA and APLAS NIER | ||
Tue 28 OctDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
Tue 28 Oct
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
09:30 - 10:30 | Invited TalkKeynotes at Invited Talk Room Chair(s): Alex Potanin Australian National University (Joint APLAS-ATVA Invited Talk) | ||
09:30 60mTalk | 15 Years of Viper: Building and Evolving a Verification Infrastructure (Joint APLAS-ATVA Invited Talk) Keynotes Peter Müller ETH Zurich | ||
11:00 - 12:30 | Type Systems, Safety, and VerificationResearch Papers at APLAS room Chair(s): Alex Potanin Australian National University | ||
11:00 30mTalk | Memory Safety: Uniqueness as Separation. 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 30mTalk | 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 30mTalk | 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 APLAS room Chair(s): Sanjiva Prasad Indian Institute of Technology Delhi | ||
14:00 30mTalk | Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers Research Papers | ||
14:30 30mTalk | Expressive Power of One-Shot Control Operators and Coroutines Research Papers Kentaro Kobayashi Department of Computer Science, University of Tsukuba, Yukiyoshi Kameyama University of Tsukuba | ||
15:00 30mTalk | Positive Sharing and Abstract Machines 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 APLAS room Chair(s): Alex Potanin Australian National University | ||
16:00 30mTalk | IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation 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 30mTalk | A Quantum-Control Lambda-Calculus with Multiple Measurement Bases Research Papers Alejandro Díaz-Caro INRIA / LORIA & UNQ, Nicolas A. Monzon Universidad de la República & Universidad Argentina de la Empresa | ||
Wed 29 OctDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
Wed 29 Oct
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
11:00 - 12:30 | Program Analysis, Specifications, and Decision ProceduresResearch Papers at APLAS room Chair(s): PRITAM MANOHAR GHARAT Microsoft Research India | ||
11:00 30mTalk | 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 30mTalk | Specification Inference modulo Oracles for Database-backed Web Applications Research Papers | ||
12:00 30mTalk | Decision Procedures for A Theory of String Sequences 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 APLAS room Chair(s): Meenakshi D'Souza IIITB - International Institute of Information Technology Bangalore | ||
14:00 30mTalk | ELTC: An End-to-End Large Language Model-Based Tensor Compilation Optimization Framework Research Papers wenbo ma Tiangong University, qingzeng song Tiangong University, yongjiang xue Tiangong University, Fei Qiao Tsinghua University, mingze sun Tiangong University | ||
14:30 30mTalk | Performance Optimization of HPC Workloads in Cloud Using AI-Driven Algorithms Research Papers | ||
15:00 - 16:00 | |||