APLAS 2025 (series) /
APLAS 2025 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
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 Amantran 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 R104 Chair(s): Alex Potanin Australian National University | ||
11:00 30mTalk | 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 30mTalk | Fair Termination for Resource-Aware Active ObjectsIn Person Talk 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 ProgramsIn Person Talk 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 30mTalk | Positive Sharing and Abstract MachinesBest Paper AwardRemote 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 | ||
14:30 30mTalk | Expressive Power of One-Shot Control Operators and CoroutinesIn Person Talk Research Papers | ||
16:00 - 17:00 | Quantum Programming and LogicResearch Papers at R104 Chair(s): Alex Potanin Australian National University | ||
16:00 30mTalk | 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 30mTalk | 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 OctDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
Wed 29 Oct
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
09:00 - 09:30 | |||
09:00 7mPoster | Characterizing Irregular Memory Accesses for Better Prediction Prefetching (SRC) SRC and Posters P: Avinash Kumar Indian Institute of Technology, Bombay, India, A: Virendra Singh Indian Institute of Technology, Bombay, India, A: Supratim Biswas Indian Institute of Technology, Bombay, India File Attached | ||
09:07 7mPoster | CoS-SSA: Context-Sensitive SSA for Interprocedural Program Analyses and Optimisations (SRC) SRC and Posters P: Supriya Bhide Indian Institute of Technology Bombay, A: Uday P. Khedker Indian Institute of Technology (IIT) Bombay, A: PRITAM MANOHAR GHARAT Microsoft Research India File Attached | ||
09:15 7mPoster | Decompilation into Interaction Trees (SRC) SRC and Posters Dao Le University of New South Wales File Attached | ||
09:22 7mPoster | Formalizing Banach-Zarecki Theorem using Dependent Types (SRC) SRC and Posters P: Yoshihiro Ishiguro Nagoya University, AIST, A: Reynald Affeldt AIST, A: Jacques Garrigue Nagoya University File Attached | ||
10:30 - 11:00 | |||
10:30 7mPoster | Relevance of “Bad Code Smells” in Solidity Smart Contracts (SRC) SRC and Posters P: Roopa Thanmai Kaza University of Limerick, A: Jim Buckley Lero - The Irish Software Research Centre and University of Limerick, A: Andrew LeGear Horizon Globex File Attached | ||
10:37 7mPoster | Safeguarding Controller Software from Single Event Upset via Conditional Variable Verification (SRC) SRC and Posters P: Ganesha IIITB - International Institute of Information Technology Bangalore, A: Sujit Kumar Chakrabarti International Institute of Information Technology, Bangalore File Attached | ||
10:52 7mPoster | TOWARDS BETTER CODE SUMMARIZATION USING STRUCTURED AND VISUAL REPRESENTATION (SRC) SRC and Posters P: Shyamal Narang Delhi Technological University, A: Sushant Kumar Pandey University of Groningen, The Netherlands File Attached | ||
11:00 - 12:30 | Program Analysis, Specifications, and Decision ProceduresResearch Papers at R104 Chair(s): PRITAM MANOHAR GHARAT Microsoft Research India | ||
11:00 30mTalk | Checking Consistency of Event-driven TracesIn Person Talk 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 ApplicationsIn Person Talk Research Papers | ||
12:00 30mTalk | 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 | ||
13:00 - 14:00 | |||
13:00 20mPoster | Safeguarding Controller Software from Single Event Upset via Conditional Variable Verification (SRC) SRC and Posters P: Ganesha IIITB - International Institute of Information Technology Bangalore, A: Sujit Kumar Chakrabarti International Institute of Information Technology, Bangalore File Attached | ||
13:20 20mPoster | CoS-SSA: Context-Sensitive SSA for Interprocedural Program Analyses and Optimisations (SRC) SRC and Posters P: Supriya Bhide Indian Institute of Technology Bombay, A: Uday P. Khedker Indian Institute of Technology (IIT) Bombay, A: PRITAM MANOHAR GHARAT Microsoft Research India File Attached | ||
13:40 20mPoster | Decompilation into Interaction Trees (SRC) SRC and Posters Dao Le University of New South Wales File Attached | ||
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 30mTalk | 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 30mTalk | Performance Optimization of HPC Workloads in Cloud Using AI-Driven AlgorithmsRemote Talk Research Papers | ||
15:00 - 15:30 | |||