CASCON 2026 (series) /
CASCON 2026 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Mon 9 NovDisplayed time zone: Eastern Time (US & Canada) change
Mon 9 Nov
Displayed time zone: Eastern Time (US & Canada) change
08:30 - 09:00 | |||
09:00 - 10:00 | CSER: Opening and Keynote by Prof. Weiyi Shang (University of Waterloo)CSER 2026 Fall at Hall A + Hall B | ||
10:20 - 12:00 | |||
13:00 - 14:30 | CSER: Session 2CSER 2026 Fall at Hall A + Hall B 3 research talks (25 minutes each) and student short talks (about 5 minutes each, tentative). | ||
15:00 - 16:30 | CSER: Session 3CSER 2026 Fall at Hall A + Hall B 3 research talks (25 minutes each) and student short talks (about 5 minutes each, tentative). | ||
16:30 - 17:00 | |||
Tue 10 NovDisplayed time zone: Eastern Time (US & Canada) change
Tue 10 Nov
Displayed time zone: Eastern Time (US & Canada) change
08:45 - 09:00 | |||
09:00 - 10:00 | Keynote by Prof. John MylopoulosKeynotes at Hall B + Hall C From Legal to Smart Contracts with Validity Warranties Prof. John Mylopoulos, Professor Emeritus, University of Toronto | ||
10:30 - 12:00 | Technical Paper: LLMs for Code Generation and Program Repair ITechnical Papers at Hall A Chair(s): Mete Isiksalan York University | ||
10:30 30mTalk | Evaluating Tiny Recursive Models Across Training for Code GenerationBest Student Paper Award Technical Papers | ||
11:00 30mTalk | Developer-LLM Conversations: An Empirical Study of Interactions and Generated Code Quality Technical Papers A: Suzhen Zhong , A: Ying Zou Queen's University, Kingston, Ontario, A: Bram Adams Queen's University | ||
11:30 30mTalk | Beyond Agent Logs: Cross-Layer Execution Evidence for Auditing Coding Agents Technical Papers A: HAITHAM AL SATAI , A: Naser Ezzati-Jivan Brock University, A: Foutse Khomh Polytechnique Montréal | ||
10:30 - 12:00 | Technical Paper: Security of LLM-Generated Code and Vulnerability Management ITechnical Papers at Hall B Chair(s): Hafedh Mili Université du Québec à Montréal | ||
10:30 30mTalk | Beyond Static Guarantees: Measuring the Static-Pass Dynamic-Fail Gap in Security-Sensitive and LLM-Generated Python Code Technical Papers | ||
11:00 30mTalk | Prompt Structure Redistributes, Not Reduces: An Empirical Analysis of Security-Weaknesses in LLM-Generated Python Code Technical Papers A: Maitreyee Das Urmi , A: Jessica Pourleyli , A: Fabio Marcos De Abreu Santos Colorado State University, USA, A: Glaucia Melo Toronto Metropolitan University | ||
11:30 30mTalk | Auditing the Auditors: Robustness of Security Explanations from LLM-Based Tools Technical Papers A: Hasti Ghaneshirazi University of Waterloo, A: Tahsin Reza , A: Ladan Tahvildari University of Waterloo | ||
10:30 - 12:00 | Technical Paper: Cybersecurity, Privacy and Anomaly Detection ITechnical Papers at Hall C Chair(s): Nitin Auluck Indian Institute of Technology, Ropar, India. | ||
10:30 30mTalk | ScaleGuard: Mitigating EDoS Attacks in Cloud MicroserviceBest Paper Award Technical Papers | ||
11:00 30mTalk | Online AutoML: Evaluating Poisoning Attacks on Cost-Utility Adversarial Training Defence Strategy for IoT Networks Technical Papers | ||
11:30 30mTalk | Robustness of Anomaly Detection Models for Industrial Control Systems under Training-Time Data Contamination Technical Papers A: Mustafa Umut Ozbek , A: Taiwo Ojo , A: Pooria Madani , A: Khalil El-Khatib Ontario Tech University, A: Li Yang Ontario Tech University | ||
10:30 - 12:00 | Technical Paper: Quantum Computing ITechnical Papers at Hall D Chair(s): Georgiy Krylov University of New Brunswick | ||
10:30 30mTalk | Retromorphic Testing of Quantum Compiler Passes Technical Papers | ||
11:00 30mTalk | Tensor Network Simulation of Dynamic Circuits Technical Papers | ||
11:30 30mTalk | Quantum Injection Pathways for Implicit Graph Neural Networks Technical Papers A: Pengyuan Xu , A: Tristan Zaborniak , A: Felipe Rivera University of Victoria, A: Hausi Müller University of Victoria | ||
10:30 - 12:00 | Technical Paper: Cloud, Systems and Performance EngineeringTechnical Papers at Hall E Chair(s): Christopher Anand McMaster University | ||
10:30 30mTalk | Building Reference Field Affinity Graphs From Compiler-generated Markov Chains Technical Papers A: Hassan Arafat , A: David Bremner University of New Brunswick, A: Kenneth Kent University of New Brunswick, A: Julian Wang | ||
11:00 30mTalk | Inexactness and Correction of Floating-Point Reciprocal, Division and Square Root Technical Papers A: Lucas Dutton McMaster University, A: Christopher Anand McMaster University, A: Robert Enenkel IBM Canada, A: Silvia M Mueller IBM | ||
11:30 30mTalk | HyRAG: A Hybrid Retrieval-Augmented Framework for Log Parsing Technical Papers A: Sarina Mortazavi , A: Maryam Mehrabi , A: Moataz Chouchen Concordia University, A: Abdelwahab Hamou-Lhadj | ||
13:00 - 14:00 | Keynote by Pablo IrassarKeynotes at Hall B + Hall C Authority, Not Intelligence What determines the value of AI in financial services Pablo Irassar, Executive Technical Account Leader in Financial Services, IBM Canada | ||
14:15 - 15:15 | |||
14:15 30mTalk | PET-Select: Prompt Engineering Techniques Selection for Code Generation with Contrastive Complexity Prediction Technical Papers A: Luca Filippelli , A: Chung-Yu Wang York University, A: Alireza Daghighfarsoodeh York University, A: Hung Viet Pham York University | ||
14:45 30mTalk | When Test-Time Training Hurts: Diagnosing and Fixing Generalizable Log Parsing Technical Papers | ||
14:15 - 15:45 | |||
14:15 90mTalk | Human + AI: Augmenting the Capabilities of Researchers, Teachers, and Learners Workshops | ||
14:15 - 15:45 | Technical Paper: LLMs for Code Generation and Program Repair IITechnical Papers at Hall D Chair(s): Hung Viet Pham York University | ||
14:15 30mTalk | Patch Agent for Fixing Program Repair Agents Technical Papers | ||
14:45 30mTalk | More is not Better: Functional Plateaus and Divergence in Iterative Code Refinement Technical Papers A: Shizhe Lin University of Waterloo, Canada, A: Mingyang Xu University of Waterloo, A: Ladan Tahvildari University of Waterloo | ||
15:15 30mTalk | Revisiting Feedback-Driven LLM Code Repair: A Reproducibility and Exploratory Study Technical Papers A: Louis Lalonde , A: Wassim Keddache , A: Thomas Perron Touchette , A: Leuson Da Silva Polytechnique Montreal, A: Foutse Khomh Polytechnique Montréal | ||
14:15 - 15:45 | Technical Paper: Security of LLM-Generated Code and Vulnerability Management IITechnical Papers at Hall E Chair(s): Christopher Anand McMaster University | ||
14:15 30mTalk | Exploring Multi-Agents for Software Vulnerability Remediation Technical Papers A: Saviour Owolabi University of Calgary, A: Jessica Pourleyli , A: Ahmad Abdellatif University of Calgary, A: Glaucia Melo Toronto Metropolitan University | ||
14:45 30mTalk | EcoBalanced: A Long-Tail Benchmark for Patch-Stream Vulnerability Replay Under Review Budgets Technical Papers | ||
15:15 30mTalk | Domain-Adaptive Static Anomaly Screening for In-Vehicle Infotainment OTA Updates Technical Papers | ||
16:15 - 17:45 | |||
16:15 - 17:45 | |||
16:15 90mTalk | Human + AI: Augmenting the Capabilities of Researchers, Teachers, and Learners Workshops | ||
16:15 - 17:45 | Technical Paper: Cybersecurity, Privacy and Anomaly Detection IITechnical Papers at Hall D Chair(s): Hafedh Mili Université du Québec à Montréal | ||
16:15 30mTalk | ASC-PIE and SPRINT-PP: Evaluating Privacy-Safe Continual Learning for PII Extraction Technical Papers A: Mohamed Hafez York University, A: Amr M. Zaki York University, A: Farhoud Jafari Kaleibar York University, A: Marin Litoiu York University, Canada | ||
16:45 30mTalk | Visual FactSheet: Visually Summarizing Software Terms and Conditions for Informed Data Collection Technical Papers A: S M Mozammal Hossain , A: Aaron Tabor , A: Phil Munz , A: Kenneth Kent University of New Brunswick | ||
17:15 30mTalk | Managing Dependencies During Monolith Decomposition to Microservices Technical Papers A: Soufyane Labsari Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL, A: Nicolas Anquetil University of Lille, Lille, France, A: Benoit Verhaeghe Berger-Levrault, A: Ghizlane El Boussaidi École de Technologie Supérieure, A: Anne Etien University of Lille, Lille, France | ||
16:15 - 17:45 | |||
16:15 30mTalk | Exploring Quantum Software Testing Across Research and Practice: Emerging Results from a Multivocal Literature Review Technical Papers A: Rodolfo Gil-Pereira , A: Ronnie de Souza Santos University of Calgary, A: Italo Santos University of Hawaii at Manoa, A: Cleyton Magalhaes Rural Federal University of Pernambuco Pre-print | ||
16:45 30mTalk | Hardware-Constrained Quantum-Kernel Intrusion Detection: A Short Empirical Benchmark from Local Simulation to IBM Quantum Hardware Technical Papers | ||
17:15 30mTalk | Differential Inline Testing: Framework, Test Generation, and Application Technical Papers | ||
19:00 - 22:00 | |||
Wed 11 NovDisplayed time zone: Eastern Time (US & Canada) change
Wed 11 Nov
Displayed time zone: Eastern Time (US & Canada) change
08:45 - 09:00 | |||
09:00 - 10:00 | Keynote by Maja Vukovic, PhDKeynotes at Hall B + Hall C What’s next in AI & Agents: Enterprise Use Cases Maja Vukovic, PhD, IBM Fellow, CTO, AI & Automation Research, IBM | ||
10:30 - 11:45 | PAN1: Mainframes, Legacy, and FinTech in the Age of AIPanels at Hall B + Hall C Panelists
| ||
10:30 75mTalk | Mainframes, Legacy, and FinTech in the Age of AI Panels | ||
11:45 - 12:30 | |||
11:45 5mAwards | CASCON Awards Schedule Overview | ||
11:50 10mAwards | IEEE Undergraduate Teaching Award Schedule Overview Laleh Behjat University of Calgary | ||
12:00 30mAwards | Most Influential Paper Award: Investigating Resource Interference and Scaling on Multitenant PaaS Clouds Schedule Overview Panos Patros Department of Software Engineering, University of Waikato - Cloud & Adaptive Systems ORKA Lab, Stephen MacKay , Kenneth Kent University of New Brunswick, Michael Dawson DOI | ||
13:30 - 14:30 | Keynote by Hashmat RohianKeynotes at Hall B + Hall C Trust Is the System: Engineering AI-Native Financial Services at Scale The Demo Is Easy. The Bank Is Hard: Taking AI from Pilot to Production Hashmat Rohian, Vice President, Enterprise Technology, Data & AI, EQ Bank | ||
14:45 - 16:15 | |||
14:45 90mTalk | The 2nd International Workshop on Observability and Explainability of AI Systems (OXAI 2026) Workshops A: Naser Ezzati-Jivan Brock University, A: Paria Shirani University of Ottawa, A: Yan Liu Concordia University, A: Abdelwahab Hamou-Lhadj Concordia University, Montreal, Canada Link to publication | ||
14:45 - 16:15 | |||
14:45 90mTalk | Engineering with Agentic AI: The Future of Software-Intensive Systems Workshops A: Norha Villegas University of Victoria, Canada, A: Hausi Müller University of Victoria, A: Gabriel Tamura , A: Marin Litoiu York University, Canada, A: Ian Watts IBM Canada Media Attached | ||
16:45 - 19:00 | |||
16:45 2h15mTalk | The 2nd International Workshop on Observability and Explainability of AI Systems (OXAI 2026) Workshops A: Naser Ezzati-Jivan Brock University, A: Paria Shirani University of Ottawa, A: Yan Liu Concordia University, A: Abdelwahab Hamou-Lhadj Concordia University, Montreal, Canada Link to publication | ||
16:45 - 18:15 | |||
16:45 90mTalk | Engineering with Agentic AI: The Future of Software-Intensive Systems Workshops A: Norha Villegas University of Victoria, Canada, A: Hausi Müller University of Victoria, A: Gabriel Tamura , A: Marin Litoiu York University, Canada, A: Ian Watts IBM Canada Media Attached | ||
Thu 12 NovDisplayed time zone: Eastern Time (US & Canada) change
Thu 12 Nov
Displayed time zone: Eastern Time (US & Canada) change
08:45 - 09:00 | |||
09:00 - 10:00 | Keynote by Marcel MitranKeynotes at Hall B + Hall C It’s a Brave New World… or is it? Marcel Mitran, IBM Fellow, CTO LinuxONE and Cloud Platform IBM Z, IBM | ||
10:30 - 12:00 | Technical Paper: AI-Assisted Software Engineering and Developer Practice ITechnical Papers at Hall A Chair(s): Marwa Elsayed University of Western Ontario | ||
10:30 30mTalk | Extending LLM-Based Support for Software Engineers with ADHD Technical Papers A: Aarsh Shah University of Calgary, A: Ronnie de Souza Santos University of Calgary, A: Italo Santos University of Hawaii at Manoa, A: Cleyton Magalhaes Rural Federal University of Pernambuco, A: Kiev Gama Universidade Federal de Pernambuco Pre-print | ||
11:00 30mTalk | Understanding LLM Usage Among Early Career Software Engineers in Practice Technical Papers A: Julia Alencar , A: Ronnie de Souza Santos University of Calgary, A: Italo Santos University of Hawaii at Manoa, A: Cleyton Magalhaes Rural Federal University of Pernambuco, A: Danilo Monteiro Ribeiro | ||
11:30 30mTalk | Can Language Models Detect Backlog Technical Debt? Empirical Evidence from Agile Projects Technical Papers A: Dewni Deraniyagala , A: Shazil Khan , A: Sadia Hassan Chowdhury , A: Arshpreet Singh , A: Hung Cao , A: Francis Palma Faculty of Computer Science, University of New Brunswick | ||
10:30 - 12:00 | Technical Paper: Software Testing and Quality Assurance ITechnical Papers at Hall B Chair(s): Hung Viet Pham York University | ||
10:30 30mTalk | RiskBlend: A Multi-Signal Framework for Test Input Prioritization in Machine Learning Regression Testing Technical Papers | ||
11:00 30mTalk | Evaluating Chunking Strategies and Embedding Models for Video Game Bug Report Retrieval Technical Papers A: Kalvin Eng University of Alberta, A: Alexander Senchenko , A: Alan Sayle Electronic Arts, A: Alex Lucas , A: Cor-Paul Bezemer University of Alberta, A: Abram Hindle University of Alberta | ||
11:30 30mTalk | OSCAR: A Noise Injection Framework for Concurrent Java Programs Technical Papers | ||
10:30 - 12:00 | Technical Paper: Retrieval-Augmented Generation and Knowledge Systems ITechnical Papers at Hall C Chair(s): Kelly Lyons University of Toronto | ||
10:30 30mTalk | PsyRisk-QA: Span-Level Evaluation for French–English Occupational Health RAG Technical Papers | ||
11:00 30mTalk | Beyond Generation Metrics: A Repeated-Measures Evaluation Protocol for RAG Systems in Technical Domains Technical Papers | ||
11:30 30mTalk | Preserving ALPHA: Mitigating Technical Language Dilution in Retrieval-Augmented Generation Technical Papers A: German Silvestre Anorve Pons Durham University, A: Sheersh Kaushik , A: Nelly Bencomo Durham University | ||
10:30 - 12:00 | Technical Paper: Machine Learning Methods and Forecasting ITechnical Papers at Hall D Chair(s): Zissis Poulos York University | ||
10:30 30mTalk | A Concurrent CNN-RNN Approach for Multi-Step Wind Power Forecasting Technical Papers A: Mucahit Cevik Toronto Metropolitan University, Toronto, Canada, A: Berk Gorgulu , A: Syed Kazmi , A: Mustafa Baydogan | ||
11:00 30mTalk | Interpretable Time Series Clustering Using Local Explanations Technical Papers A: Mucahit Cevik Toronto Metropolitan University, Toronto, Canada, A: Ayşe Başar Toronto Metropolitan University, Toronto, Canada, A: Ozan Ozyegen , A: Nicholas Prayogo | ||
11:30 30mTalk | Forecasting Intraday USD/CAD Exchange Rate with News-Derived Monetary-Policy Signals Technical Papers A: Mucahit Cevik Toronto Metropolitan University, Toronto, Canada, A: Maya Kodeih , A: Aliaa Alnaggar Rochester Institute of Technology, USA | ||
10:30 - 12:00 | Technical Paper: Applications of AI in Health, Society and IoTTechnical Papers at Hall E Chair(s): Nitin Auluck Indian Institute of Technology, Ropar, India. | ||
10:30 30mTalk | SAM as a Domain Adaptor: Synthetic-to-Real Depth Segmentation for Infants in the NICU Technical Papers | ||
11:00 30mTalk | Establishing a Modern Proof of Concept for Automated Cued Speech Generation via a Pose-Based Approach Technical Papers | ||
11:30 30mTalk | SkyTerraLoc: Uncertainty-Aware UAV-Assisted Deep Localization for Terrestrial IoT Networks Technical Papers | ||
13:00 - 14:30 | Technical Paper: AI-Assisted Software Engineering and Developer Practice IITechnical Papers at Hall A Chair(s): Christopher Anand McMaster University | ||
13:00 30mTalk | Mixed-Embedding Models and Domain Adaptation for Bug Triaging Under Limited Data Technical Papers A: Mucahit Cevik Toronto Metropolitan University, Toronto, Canada, A: Patrick de Guzman , A: Savas Yildirim Istanbul Bilgi University Computer Science Department, A: Ayşe Başar Toronto Metropolitan University, Toronto, Canada | ||
13:30 30mTalk | Fine-tuned Generative Language Models for Healthcare Information Extraction Technical Papers A: Mucahit Cevik Toronto Metropolitan University, Toronto, Canada, A: Savas Yildirim Istanbul Bilgi University Computer Science Department | ||
14:00 30mTalk | Paired-Text Modeling Techniques for Software Requirement Conflict Detection Technical Papers A: Mucahit Cevik Toronto Metropolitan University, Toronto, Canada, A: Ayşe Başar Toronto Metropolitan University, Toronto, Canada, A: Savas Yildirim Istanbul Bilgi University Computer Science Department, A: Garima Malik | ||
13:00 - 14:30 | Technical Paper: Software Testing and Quality Assurance IITechnical Papers at Hall B Chair(s): Kenneth Kent University of New Brunswick | ||
13:00 30mTalk | Can LLMs Accelerate Systematic Literature Reviews? Technical Papers | ||
13:30 30mTalk | ContentionBench: A Runtime-Validated Benchmark and Repair Taxonomy for LLM-Based Java Lock Contention Repair Technical Papers A: Ankita Mukherjee , A: Ramiro Liscano Ontario Tech University, A: Akramul Azim Ontario Tech University | ||
14:00 30mTalk | LockSense: Automated Lock Contention Detection and AI-Assisted Remediation in Java CI/CD Pipelines Technical Papers A: Ankita Mukherjee , A: Ramiro Liscano Ontario Tech University, A: Akramul Azim Ontario Tech University | ||
13:00 - 14:30 | |||
13:00 30mTalk | Open Source Is Not One Thing: A Typology of Open-Source Software Sub-Genres Technical Papers | ||
13:30 30mTalk | Complexity-Aware Evaluation of LLM Comprehension Technical Papers A: Ali Mohammadi Esfahani Carleton University, A: Nafiseh Kahani Carleton University, A: Samuel A. Ajila Department of Systems and Computer Engineering, Carleton University | ||
14:00 30mTalk | Knowledge That Must Keep Earning Its Status: A Position on Governed Knowledge Substrates for Institutional AI, with a Measured Lifecycle Technical Papers | ||
13:00 - 14:30 | |||
13:00 90mTalk | CyPress: 6th Workshop on Software Techniques for Cyber-Physical Systems Workshops G: Kostas Kontogiannis York University, G: Miriam Capretz Western University, G: Mohammad Zulkernine Queen's University, Canada, W: Mete Isiksalan York University Link to publication | ||
13:00 - 14:30 | |||
13:00 90mTalk | 1st Workshop on Safety Verification of Agentic AI Systems Workshops | ||
15:00 - 16:30 | Technical Paper: AI-Assisted Software Engineering and Developer Practice IIITechnical Papers at Hall A Chair(s): Torstein Braaten York University | ||
15:00 30mTalk | Token Efficient Task Execution via Application Behavior Modeling for Web Agents Technical Papers | ||
15:30 30mTalk | Long-Context Diff Risk Scoring with Customizable Tooling for CI Workflows Technical Papers A: Ali Sayedsalehi Concordia University, A: Peter Rigby Concordia University, A: Audris Mockus University of Tennessee | ||
16:00 30mTalk | Evaluating Convention Resilience in LLM-Based Agentic Systems under Memory Disruption and Agent Turnover Technical Papers | ||
15:00 - 16:30 | |||
15:00 30mTalk | FedChronos: Federated Fine-Tuning of Time-Series Foundation Models for Privacy-Preserving Commodity Price Forecasting Technical Papers A: Amit Sharma , A: Nitin Auluck Indian Institute of Technology, Ropar, India., A: Akramul Azim Ontario Tech University | ||
15:30 30mTalk | Enhancing Text Variational Autoencoders With Self-Annealing Loss Technical Papers | ||
16:00 30mTalk | Beyond Accuracy: Bridging the Reasoning Gap in AI-Assisted Climate Law Technical Papers | ||
15:00 - 16:30 | Technical Paper: Software Testing and Quality Assurance II (Additional Papers)Technical Papers at Hall C Chair(s): An Ran Chen University of Alberta | ||
15:00 30mTalk | A Taxonomy of Failing Bug Reproduction Tests on SWT-Bench Technical Papers A: Luca Filippelli , A: Hamed Taherkhani , A: Hung Viet Pham York University, A: Hadi Hemmati York University | ||
15:30 30mTalk | Understanding the Break-Even of OpenJ9 Shared Class Caching on Apache Spark Technical Papers A: Honggeun Ji York University, A: Farhoud Jafari Kaleibar York University, A: Amr M. Zaki York University, A: Komal Sarda , A: Marin Litoiu York University, Canada | ||
16:00 30mTalk | Toward Reliable and Secure CI/CD Workflow Generation with AI: A Multi-Gate Pipeline Agent Technical Papers | ||
15:00 - 16:30 | |||
15:00 90mTalk | CyPress: 6th Workshop on Software Techniques for Cyber-Physical Systems Workshops G: Kostas Kontogiannis York University, G: Miriam Capretz Western University, G: Mohammad Zulkernine Queen's University, Canada, W: Mete Isiksalan York University Link to publication | ||
15:00 - 16:30 | |||
15:00 90mTalk | 1st Workshop on Safety Verification of Agentic AI Systems Workshops | ||
16:30 - 17:00 | Technical Paper: LLMs for Code Generation and Program Repair I (Additional Paper)Technical Papers at Hall A Chair(s): Torstein Braaten York University | ||
16:30 30mTalk | SPARK : Semantic-preserving Prompt Mutation for Code Generation using Consensus-based Verification Framework Technical Papers A: Alireza Daghighfarsoodeh York University, A: Chung-Yu Wang York University, A: Luca Filippelli , A: Hamed Taherkhani , A: Hadi Hemmati York University, A: Hung Viet Pham York University | ||
16:30 - 17:00 | Technical Paper: Applications of AI in Health, Society and IoT (Additional Paper)Technical Papers at Hall E | ||
16:30 30mTalk | From Extraction to Completeness: LLM-Based Reconstruction of Epidemiological Compartmental Models Technical Papers A: Fatemeh Dabbaghi York University, A: Aaditya Karamchandani York University, A: Marios-Eleftherios Fokaefs | ||
17:00 - 17:15 | |||