CASCON 2025 Program
Mon 10 NovDisplayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:30 90mOther | CSER - Consortium for Software Engineering Research (Part 1) CSER | ||
08:30 - 10:00 | |||
08:30 90mOther | WKS-54: 21st Workshop on Compiler-Driven Performance (Part 1) CDP | ||
08:30 - 10:00 | |||
08:30 90mTutorial | Human-Robot Interaction and Social Robots 7 Tutorials | ||
08:30 - 10:00 | |||
08:30 90mTutorial | Production-Ready LLMs: Frameworks, Workflows, and Trade-offs 7 Tutorials Amirreza Esmaeili University of British Columbia, Jackie Lam Charli Capital, Elham Alipour Charli Capital, Fatemeh Hendijani Fard University of British Columbia, Okanagan | ||
10:30 - 12:00 | |||
10:30 90mOther | CSER - Consortium for Software Engineering Research (Part 2) CSER | ||
10:30 - 12:00 | |||
10:30 15mTalk | Welcome to CASCON 2025 7 Keynotes | ||
10:45 75mKeynote | Toward Trustworthy AI Coding Assistants: Understanding and Improving LLMs for Software Engineering 7 Keynotes Foutse Khomh Polytechnique Montréal | ||
13:00 - 14:30 | TP:112:134:221: Software Requirements I 74 Technical Papers at Hall A Chair(s): Mohammad Hamdaqa Polytechnique Montreal | ||
13:00 30mTalk | Multi-Label Ambiguity Detection in Software Requirements using Language ModelsTCSE Distinguished Paper Award 74 Technical Papers | ||
13:30 30mTalk | Automated Non-Functional Requirements Generation in Software Engineering with Large Language Models: A Comparative Study 74 Technical Papers Jomar Thomas Almonte The Pennsylvania State University, Santhosh AB Pennsylvania State University, Nathalia Nascimento Pennsylvania State University | ||
14:00 30mTalk | Adaptive Fine-tuning for Multiclass Classification over Software Requirement Data 74 Technical Papers Savas Yildirim Istanbul Bilgi University Computer Science Department, Mucahit Cevik Toronto Metropolitan University, Toronto, Canada, Devang Parikh IBM, Ayse Basar Toronto Metropolitan University, Toronto, Canada | ||
13:00 - 14:30 | |||
13:00 90mOther | CSER - Consortium for Software Engineering Research (Part 3) CSER | ||
13:00 - 14:30 | |||
13:00 30mTalk | Customer Discovery and Product Strategy SENGEC | ||
13:30 30mTalk | From Compliance to Cost Savings: AI-Driven Vulnerability Management at Scale SENGEC Jimmy Yan IBM Canada | ||
14:00 30mTalk | Scaling Cloud Offerings at Enterprise Scale: Reducing Time-to-Market Through Process Automation SENGEC Michael Harrison IBM | ||
13:00 - 14:30 | |||
13:00 90mOther | WKS-54: 21st Workshop on Compiler-Driven Performance (Part 2) CDP | ||
13:00 - 14:30 | |||
13:00 90mTutorial | Turbocharging AIware: Performance Engineering for Production-Ready FMware 7 Tutorials Haoxiang Zhang Centre for Software Excellence, Huawei Canada, Kishanthan Thangarajah Centre for Software Excellence, Huawei Canada, Kirill Vasilevski Huawei Canada, Arthur Leung , Boyuan Chen Centre for Software Excellence, Huawei Canada, Ahmed E. Hassan Queen’s University | ||
15:00 - 16:30 | |||
15:00 30mTalk | Survey on Kubernetes Misconfiguration Vulnerabilities and Best Practices 74 Technical Papers Majid Dashtbani University of Waterloo, Ryan Liu University of Waterloo, Ladan Tahvildari University of Waterloo | ||
15:30 20mPaper | Breaking Robustness: Free-rider Attacks Against Contribution Evaluation in Federated LearningShort-PaperBest Short Paper Award 74 Technical Papers | ||
15:50 30mTalk | Intrinsic Defenses Against Backdoor Attacks in High-Order Graph Neural Networks via Semantic and Outlier-Guided Subgraph Policies 74 Technical Papers | ||
15:00 - 16:30 | |||
15:00 90mOther | CSER - Consortium for Software Engineering Research (Part 4) CSER | ||
15:00 - 16:30 | |||
15:00 45mTalk | Bitnobi: A Case Study on Success SENGEC Marin Litoiu York University, Canada | ||
15:45 45mTalk | From Research to Product One Line of Code at a Time SENGEC Kostas Kontogiannis York University | ||
15:00 - 16:30 | |||
15:00 90mOther | WKS-54: 21st Workshop on Compiler-Driven Performance (Part 3) CDP | ||
15:00 - 16:30 | |||
15:00 90mTutorial | Turbocharging AIware: Performance Engineering for Production-Ready FMware 7 Tutorials Haoxiang Zhang Centre for Software Excellence, Huawei Canada, Kishanthan Thangarajah Centre for Software Excellence, Huawei Canada, Kirill Vasilevski Huawei Canada, Arthur Leung , Boyuan Chen Centre for Software Excellence, Huawei Canada, Ahmed E. Hassan Queen’s University | ||
15:00 - 16:30 | TP:207:213:37: CS Education74 Technical Papers at Room 344 Chair(s): Ulrike Stege University of Victoria | ||
15:00 30mTalk | Detecting Explicit and Implicit Gender Bias in Software Engineering Education 74 Technical Papers | ||
15:30 30mTalk | Performance and Cost Analysis in Domain-Specific Essay Scoring with Large Language Models 74 Technical Papers Raghav Gaur Toronto Metropolitan University, Mucahit Cevik Toronto Metropolitan University, Toronto, Canada, Sojin Lee Blees AI | ||
16:00 20mTalk | Evaluating Generative AI for CS1 Code Grading: Direct vs Reverse MethodsShort-Paper 74 Technical Papers | ||
16:45 - 18:00 | |||
16:45 75mOther | CSER - Consortium for Software Engineering Research (Part 5) CSER | ||
16:45 - 18:00 | |||
16:45 15mTalk | CASCON 2025 Organizing Committee & Program Overview 7 Keynotes | ||
17:00 60mKeynote | LLMs for Code: Beyond Just Correctness 7 Keynotes Jie M. Zhang King's College London | ||
18:00 - 20:30 | |||
18:00 2h30mSocial Event | CSER and CASCON Reception Catering | ||
Tue 11 NovDisplayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:30 15mTalk | CASCON 2025 Steering Committee Chair & 2025 Most Influential Paper (MIP) Award Presentation 7 Keynotes | ||
08:45 75mTalk | Supercharging Quantum Computing with AI tools: From Code to Quantum Advantage 7 Keynotes Ismael Faro IBM | ||
10:30 - 12:00 | WKS-222: Quantum Computing — Transitioning from scientific research to a quantum technology industry (Part 1)QCTI at Hall A Chair(s): Hausi Müller University of Victoria | ||
10:30 10mTalk | Opening Words QCTI Hausi Müller University of Victoria | ||
10:40 20mTalk | Quantum Computing for Bio-Discovery QCTI Steven Rayan quanTA Centre / University of Saskatchewan | ||
11:00 20mTalk | Quantum Computing and Artificial Intelligence for Decision Optimization (QAI4DO) QCTI Sharareh Taghipour Toronto Metropolitan University | ||
11:20 20mTalk | Distributed Quantum Computing with Silicon Colour Centres QCTI Daniel Higginbottom Simon Fraser University | ||
11:40 20mTalk | Automated Design and Benchmarking for Fault-Tolerant Quantum Computer Architectures Using TopQAD QCTI Artur Scherer 1QBit | ||
10:30 - 12:00 | |||
10:30 90mPanel | Post-Quantum Security: Preparing for the Cryptographic Transition 3 Panels P: Atefeh (Atty) Mashatan Toronto Metropolitan University, Toronto, Canada, P: Walid Rjaibi IBM Canada Lab, C: Guy-Vincent Jourdan University of Ottawa, C: Vio Onut IBM Canada, P: Ken Giuliani Senior Cryptographic Consultant at CIBC | ||
10:30 - 12:00 | |||
10:30 90mOther | WKS-47: 5th Workshop on Software Techniques for Cyber-Physical Systems (Part 1) CyPress | ||
10:30 - 12:00 | TP:212:29:107:18: Code Analysis74 Technical Papers at Hall D Chair(s): Jose Nelson Amaral University of Alberta | ||
10:30 30mTalk | Efficient Pointer Analysis via Def-Use Graph Pruning 74 Technical Papers | ||
11:00 20mTalk | Efficient Compilation of Algorithms into Compact Linear ProgramsShort-Paper 74 Technical Papers Shermin Khosravi University of New Brunswick, Faculty of Computer Science, David Bremner University of New Brunswick | ||
11:20 20mTalk | Design, Implementation and Evaluation of a Novel Programming Language Topic Classification WorkflowShort-Paper 74 Technical Papers Jinye Zhang Queen's University, Yuan Tian Queen's University, Kingston, Ontario, Mariam Guizani Queen's University, Canada | ||
11:40 20mTalk | A Multi-Table Approach to Floating-Point Function ApproximationShort-Paper 74 Technical Papers Lucas Dutton McMaster University, Christopher Anand McMaster University, Robert Enenkel IBM Canada, Silvia M Mueller IBM | ||
10:30 - 12:00 | |||
10:30 90mTutorial | Multi-Agent Large Language Models for Code Intelligence: Opportunities, Challenges, and Research Directions 7 Tutorials Fatemeh Hendijani Fard University of British Columbia, Okanagan, Jie JW Wu University of British Columbia (UBC), Amirreza Esmaeili University of British Columbia | ||
10:30 - 12:00 | 2015-MIP & TP:59-105: Databases74 Technical Papers / Most Influential Paper at Room 344 Chair(s): Jeremy Bradbury Ontario Tech University | ||
10:30 30mPaper | Cardinality estimation using neural networks Most Influential Paper Henry Liu University of Waterloo, Mingbin Xu York University, Ziting Yu University of Waterloo, Vincent Corvinelli IBM Canada, Calisto Zuzarte IBM Link to publication | ||
11:00 30mTalk | Semantic Relational Types of SQL Queries and Applications to AI Agent Tool Selection 74 Technical Papers Ken Pu Ontario Tech University, Limin Ma Ontario Tech University, Ying Zhu Ontario Tech University, Bohdan Synytskyi Ontario Tech University | ||
11:30 30mTalk | Jackpine3D: a benchmark for evaluating 3D spatial database features 74 Technical Papers Mohammadmasoud Shabanijou University of New Brunswick, Zhuliang Jia University of New Brunswick, Suprio Ray University of New Brunswick, Rongxing Lu Queen’s University, Pulei Xiong National Research Council (NRC), Canada | ||
13:00 - 14:30 | |||
13:00 45mTalk | SCOOP: A Quantum-Computing Framework for Constrained Combinatorial Optimization QCTI Prashanti Priya Angara University of Victoria, Computer Science, Faculty of Engineering, Canada | ||
13:45 45mTalk | Scientific Computation with Quantum-centric Supercomputing: Solving Chemistry Problems QCTI Sean Wagner IBM | ||
13:00 - 14:30 | |||
13:00 90mPanel | The Future of Software Engineering in GenAI Era 3 Panels P: Foutse Khomh Polytechnique Montréal, P: Peter Rigby Concordia University; Meta, P: Ivey Chiu TELUS, P: Shin Hwei Tan Concordia University, P: Jie Zhang King's College London , C: Ying Zou Queen's University, Kingston, Ontario | ||
13:00 - 14:30 | |||
13:00 90mOther | WKS-47: 5th Workshop on Software Techniques for Cyber-Physical Systems (Part 2) CyPress | ||
13:00 - 14:30 | TP:218:49:83:200: Security II 74 Technical Papers at Hall D Chair(s): Chanchal K. Roy University of Saskatchewan | ||
13:00 30mTalk | Securing LLM-Generated Embedded Firmware through AI Agent-Driven Validation and Patching 74 Technical Papers | ||
13:30 20mTalk | An Empirical Evaluation of LLM-Based Approaches for Code Vulnerability Detection: RAG, SFT, and Dual-Agent SystemsIndustry 74 Technical Papers Md Hasan Saju Ontario Tech University, Maher Muhtadi Ontario Tech University, Akramul Azim Ontario Tech University | ||
13:50 20mTalk | SynRAG: A Large Language Model Framework for Executable Query Generation in Heterogeneous SIEM SystemsShort-Paper 74 Technical Papers Md Hasan Saju Ontario Tech University, Austin Page GlassHouse Systems, Akramul Azim Ontario Tech University, Jeff Gardiner GlassHouse Systems, Farzaneh Abazari GlassHouse Systems, Frank Eargle GlassHouse Systems | ||
14:10 20mTalk | Data Augmentation with RNN-Driven CGANs for RF Jamming Intrusion DetectionShort-Paper 74 Technical Papers | ||
13:00 - 14:30 | TP:220:108:125:217: Software Requirements II74 Technical Papers at Hall E Chair(s): Banani Roy University of Saskatchewan | ||
13:00 20mTalk | Reverse Engineering User Stories from Code using Large Language ModelsIndustry 74 Technical Papers Mohamed Ouf Queen's University, Haoyu Li Queen's University, Jinye Zhang Queen's University, Mariam Guizani Queen's University, Canada | ||
13:20 20mTalk | Towards Improving the Reliability of LLMs in Requirements Engineering with Structured Confidence and Tag GovernanceShort-Paper 74 Technical Papers | ||
13:40 20mTalk | From Requirements to Models: A Case Study of Large Language Models on Epidemiological ModelingShort-Paper 74 Technical Papers | ||
14:00 30mTalk | Supervised Semantic Similarity-based Conflict Detection Algorithm: S3CDA 74 Technical Papers Garima Malik Toronto Metropolitan University, Mucahit Cevik Toronto Metropolitan University, Toronto, Canada, Ayse Basar Toronto Metropolitan University, Toronto, Canada, Devang Parikh IBM | ||
13:00 - 14:30 | TP:93:199:110: Software Development I74 Technical Papers at Room 344 Chair(s): Hafedh Mili Université du Québec à Montréal | ||
13:00 30mTalk | Issue Prioritization in Agile Development through the Lens of Constraint Solving 74 Technical Papers Tianna-Lee Salmon Department of Computer Science, University of New Brunswick, Dawn MacIsaac Department of Computer Science, University of New Brunswick, Francis Palma University of New Brunswick | ||
13:30 30mTalk | An insight into the technical debt-fix trade off in software backporting 74 Technical Papers Jarin Tasnim University of Saskatchewan, Debasish Chakroborti University of Saskatchewan, Chanchal K. Roy University of Saskatchewan, Kevin Schneider University of Saskatchewan | ||
14:00 30mTalk | Pushing Feelings: Emotion and Sentiment in Software Commit Messages 74 Technical Papers Krishno Dey University of New Brunswick, Jagannath Singh Kalinga Institute of Industrial Technology, Hung Cao University of New Brunswick, Francis Palma University of New Brunswick | ||
15:00 - 16:30 | |||
15:00 90mDemonstration | Introduction to the Qiskit SDK QCTI Mohammad Kashfi PINQ2 | ||
15:00 - 16:30 | |||
15:00 30mTalk | A-MARL: Agile Multi-Agent Reinforcement Learning for Soft Real-Time Task Scheduling in Edge Computing 74 Technical Papers Amin Avan Ontario Tech University, Akramul Azim Ontario Tech University, Qusay H. Mahmoud Ontario Tech University | ||
15:30 30mTalk | Detection and Prevention of Malicious Data Manipulation Attacks in Microgrids 74 Technical Papers Shabnam Saderi Oskouei University of New Brunswick, Nethmi Hettiarachchi University of New Brunswick, Arash Kariznovi Department of Computer Science, University of New Brunswick, Canada, Kalikinkar Mandal University of New Brunswick | ||
16:00 20mTalk | GrIIM: Graph-based IED Impact assessment using MCDMShort-Paper 74 Technical Papers Kishore Sreedharan University of New Brunswick, Kwasi Boakye-Boateng University of New Brunswick, Hossein Shokouhinejad University of New Brunswick, Mahdi Abrishami University of New Brunswick, Shabnam Saderi Oskouei University of New Brunswick | ||
15:00 - 16:30 | TP:94:116:196: Code Gen & Translation74 Technical Papers at Hall D Chair(s): Georgiy Krylov University of New Brunswick | ||
15:00 30mTalk | A Fully Automated Agent for End-to-End Code Translation and Validation 74 Technical Papers Eray Erer Boğaziçi University, Aysun Bozanta Bogazici University, Turgay Aytac Comunale Capital, Ayşe Başar Toronto Metropolitan University, Toronto, Canada | ||
15:30 30mTalk | Generating Data Engineering Code Using LLMs 74 Technical Papers Jialin Yang University of Calgary, Bart Maciszewski University of Calgary, Saviour Owolabi University of Calgary, Ahmad Abdellatif University of Calgary, Steve Drew University of Calgary, Henry Leung University of Calgary | ||
16:00 20mTalk | NL in the Middle: Code Translation with LLMs and Intermediate RepresentationsShort-Paper 74 Technical Papers Chi-En Tai University of Waterloo, Pengyu Nie University of Waterloo, Lukasz Golab University of Waterloo, Alexander Wong University of Waterloo | ||
15:00 - 16:30 | TP:149:133:33: Software Development II74 Technical Papers at Hall E Chair(s): Timothy Lethbridge University of Ottawa | ||
15:00 30mTalk | Workarounds in Software Forms: A User Study 74 Technical Papers MohammadAmin Zaheri Université de Montréal, Michalis Famelis Université de Montréal, Eugene Syriani Université de Montréal | ||
15:30 20mTalk | Revisiting Thread Disentanglement in Technical Chat with Fine-Tuned LLMs and Graph-Based ClusteringShort-Paper 74 Technical Papers | ||
15:50 30mTalk | Understanding the Issue Types in Open Source Blockchain-based Software Projects with the Transformer-based BERTopic 74 Technical Papers Md Nahidul Islam Opu University of Manitoba, Md Shahidul Islam University of Manitoba, Sara Rouhani University of Manitoba, Shaiful Chowdhury University of Manitoba | ||
15:00 - 16:30 | TP:22:5:215: Performance74 Technical Papers at Room 344 Chair(s): Jeremy Bradbury Ontario Tech University | ||
15:00 30mTalk | Leveraging Symbolic Encoding for Performance Anomaly Classification in Dynamic IoT Pipelines 74 Technical Papers Maanav Patel California Polytechnic State University, Sumona Mukhopadhyay California Polytechnic State University, Joydeep Mukherjee California Polytechnic State University | ||
15:30 30mTalk | User Acceptance Test case Generation using LLMs 74 Technical Papers Siddhesh Varpe Punjab Engineering College (Deemed to be University), Chandigarh, Uttam Mittal Punjab Engineering College (Deemed to be University), Chandigarh, Rajesh Bhatia Punjab Engineering College (Deemed to be University), Chandigarh, Ashpreet Kaur Punjab Engineering College (Deemed to be University), Chandigarh | ||
16:00 30mTalk | A Comparative Study of Feature Representations for CNN-Based Anomaly Detection in Microservices 74 Technical Papers Snehith Jonnaikode California Polytechnic State University, Sumona Mukhopadhyay California Polytechnic State University, Joydeep Mukherjee California Polytechnic State University | ||
16:45 - 18:00 | |||
16:45 15mTalk | CASCON 2025 IEEE TCSE Distinguished Best Paper Award Presentations 7 Keynotes | ||
17:00 60mKeynote | Towards ethically sourced code generation 7 Keynotes Shin Hwei Tan Concordia University | ||
18:00 - 20:30 | |||
18:00 2h30mSocial Event | Lightning Talks & Demos & Poster & Artifacts & Reception Catering | ||
Wed 12 NovDisplayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:30 90mMeeting | CS-CAN: Canadian CS Chairs Meeting (Part 1) Catering | ||
08:30 - 10:00 | |||
08:30 10mTalk | AI in Telecommunications: TELUS Perspective 7 Keynotes | ||
08:40 5mTalk | CASCON 2025 Best Short & Industry Papers Awards Presentations 7 Keynotes | ||
08:45 75mKeynote | AI for Software Engineering at Meta’s Scale 7 Keynotes Peter C Rigby Meta / Concordia University | ||
10:30 - 12:00 | WKS-68: Social Agentics: Situating Agentic AI Within Social & Organizational Contexts (part 1)SAI at Hall A 10:30 - 10:45 Opening remarks (Matt Ratto) 10:45 - 11:15 Invited Speaker: Towards design ontologies for social agentics (Eric Yu and Alexei Lapouchnian) 11:15 - 11:30 Paper 1: Mitigating Systematic Hallucinations in Large Language Models Using Dual-Process Cognitive Theory (Damla Senturk, Aysun Bozanta and Ayse Basar) 11:30 - 11:45 Paper 2: Am I Working with “Someone”: Psychological Ownership as a Lens for Designing Agentic GenAI (Yuxin Xu, Mengqiu Cheng and Anastasia Kuzminykh) 11:45 - 12:00 Questions | ||
10:30 90mOther | WKS-68: Social Agentics: Situating Agentic AI Within Social & Organizational Contexts (part 1) SAI | ||
10:30 - 12:00 | |||
10:30 90mMeeting | CS-CAN: Canadian CS Chairs Meeting (Part 2) Catering | ||
10:30 - 12:00 | |||
10:30 30mTalk | Enhancing Retrieval-Augmented Generation with Document Link Structure for Multi-hop Web Question Answering LMD | ||
11:00 30mTalk | Resilient LLM–DBMS Pipelines via Event-Driven Fallback Orchestration LMD Erfan Shahab Toronto Metropolitan University, Toronto, Canada, Sharareh Taghipour Toronto Metropolitan University | ||
11:30 30mTalk | DaMiT-SQL: Detecting and Mitigating Text-to-SQL Prompt Injection Attacks LMD | ||
10:30 - 12:00 | |||
10:30 90mTutorial | CHORUS: Automating Linear Programming Code Generation from Natural Language 7 Tutorials | ||
10:30 - 12:00 | TP:184:101:138:187: Quantum & Robotics74 Technical Papers at Hall E Chair(s): Kostas Kontogiannis York University | ||
10:30 30mTalk | Introducing UNIQuE: The Unconventional Noiseless Intermediate Quantum Emulator 74 Technical Papers | ||
11:00 20mTalk | A Proactive Approach for Detecting Post-Quantum Cryptographic Malware with Machine LearningShort-Paper 74 Technical Papers Michael O. Mills Canadian Institute for Cybersecurity - University of New Brunswick, Ali A. Ghorbani Canadian Institute for Cybersecurity - University of New Brunswick | ||
11:20 20mTalk | Coherent Optical Quantum Computing-Aided Resource Optimization for Transportation Digital Twin ConstructionShort-Paper 74 Technical Papers | ||
11:40 20mTalk | Towards a Small Behavioral Model for Theomorphic RobotsShort-Paper 74 Technical Papers Marco Tulio Silva Universidade Federal de Lavras, Rodrigo Duarte Universidade Federal de Lavras, Lucas Moreira Universidade Federal de Lavras, Andre Salgado Universidade Federal de Lavras, Young Yoon Hongik University, Patrick Hung Ontario Tech University | ||
10:30 - 12:00 | |||
10:30 20mTalk | Rule-Based Moral Principles for Explaining Uncertainty in Natural Language GenerationShort-Paper 74 Technical Papers Pre-print | ||
10:50 20mTalk | Improving Fairness by Debiasing Intersectional Biases in Contextual AI ModelsShort-PaperBest Short Paper Award 74 Technical Papers | ||
11:10 20mTalk | Enhancing Machine Learning in Abusive Language Detection with Dataset AggregationShort-Paper 74 Technical Papers Samaneh Moghaddam University of Torornto, Kelly Lyons University of Toronto, Frank Rudzicz Dalhousie University, Cheryl Regehr University of Toronto, Vivek Goel University of Waterloo, Kaitlyn Regehr University College London | ||
11:30 20mTalk | Beyond Monolithic LLMs: Modular AI for Online Harassment DetectionShort-Paper 74 Technical Papers Enas Altarawneh Toronto Metropolitan University, Kshitiz Pokhrel Toronto Metropolitan University, Deeksha Chandola Toronto Metropolitan University, Glaucia Melo Toronto Metropolitan University, Karen Soldatic Toronto Metropolitan University | ||
13:00 - 14:30 | WKS-68: Social Agentics: Situating Agentic AI Within Social & Organizational Contexts (part 2)SAI at Hall A 13:00 - 13:15 Paper 3: Evaluating Toxicity Understanding of LLM Agents (Ramaravind Kommiya Mothilal, Syed Ishtiaque Ahmed and Shion Guha) 13:15 - 13:30 Paper 4: Rethinking Psychological Ownership Over AI Agents (Mengqiu Cheng, Yuxin Xu and Anastasia Kuzminykh) 13:30 - 13:45 Paper 5: Human Autonomy VS AI Autonomy: Society Resists Against Tech Companies’ Desires in the Era of Autonomous Agents (Omid Veisi and Anastasia Kuzminykh) 13:45 - 14:00 Questions 14:00 - 14:30 Open Discussion | ||
13:00 90mOther | WKS-68: Social Agentics: Situating Agentic AI Within Social & Organizational Contexts (part 2) SAI | ||
13:00 - 14:30 | |||
13:00 90mMeeting | CS-CAN: Canadian CS Chairs Meeting (Part 3) Catering | ||
13:00 - 14:30 | WKS-13: LLMs Meet Databases: Next-Generation Data Systems (Part 2)LMD at Hall C Chair(s): Periklis Andritsos University of Toronto, Canada | ||
13:00 90mTalk | New challenges in LLM Routing LMD | ||
13:00 - 14:30 | |||
13:00 10mTalk | Workshop Introduction COGAI | ||
13:10 40mTalk | Continuous Operations using Generative AI COGAI | ||
13:50 40mTalk | GenAI-Driven Digital Twins for Continuous Software Operations COGAI | ||
13:00 - 14:30 | TP:86:91:230: Software Development III74 Technical Papers at Hall E Chair(s): Shayan Noei Queen's University | ||
13:00 30mTalk | Establishing Traceability Links between Release Notes & Software Artifacts: Practitioners' Perspectives 74 Technical Papers | ||
13:30 30mTalk | ChatGPT for Code Refactoring: Analyzing Topics, Interaction, and Effective Prompts 74 Technical Papers Eman Abdullah AlOmar Stevens Institute of Technology, USA, Luo Xu Stevens Institute of Technology, Sofia Martinez Stevens Institute of Technology, Anthony Peruma University of Hawai‘i at Mānoa, Mohamed Wiem Mkaouer University of Michigan - Flint, Christian Newman , Ali Ouni ETS Montreal, University of Quebec | ||
14:00 30mTalk | Can AI Build Systems? An Exploratory Study on Generating Software Architecture with LLMs 74 Technical Papers | ||
13:00 - 14:30 | TP:113:79:121: Applications of AI I74 Technical Papers at Room 344 Chair(s): Kelly Lyons University of Toronto | ||
13:00 20mPaper | Life Event Detection in Bank Conversations: An Industry Case StudyIndustryBest Industry Paper Award 74 Technical Papers Victoria Armstrong Queen's University, Pooya Sobhe Bidari , Rafal Orlowski , Christian Muise Queen's University | ||
13:20 20mTalk | Acoustic-based Vehicle Detection and Classification on Malaysian RoadsShort-Paper 74 Technical Papers Hafiz Haziq Amizi Electrical Engineering, Universiti Teknologi Malaysia, Johor Bahru, Malaysia., Muhammad Omair Butt Department of Electrical and Computer Engineering, Lakehead University, ON, Canada, Mokhtar Harun Faculty of Electrical Engineering, Universiti Teknologi Malaysia, Johor Bahru, Malaysia, Rozeha Binti A. Rashid Faculty of Electrical Engineering, Universiti Teknologi Malaysia, Johor Bahru, Malaysia, Waleed Ejaz Electrical and Computer Engineering, Lakehead University, ON, Canada. | ||
13:40 20mTalk | SynthLogAI: Generative AI for Synthetic Linux Log Generation and EvaluationIndustry 74 Technical Papers | ||
15:00 - 16:30 | |||
15:00 90mMeeting | CS-CAN: Canadian CS Chairs Meeting (Part 4) Catering | ||
15:00 - 16:30 | WKS-13: LLMs Meet Databases: Next-Generation Data Systems (Part 3)LMD at Hall C Chair(s): Anastasios Kementsietsidis Google DeepMind | ||
15:00 30mTalk | LLM-Driven Event Log Generation from Forensic Cases: A Comparative Study of ChatGPT, Claude, and Gemini LMD | ||
15:30 30mTalk | Task-Aware Reduction for Scalable LLM–Database Systems LMD Marcus Barnes University of Toronto, Taher A. Ghaleb Trent University, Safwat Hassan University of Toronto, Canada Pre-print | ||
16:00 30mTalk | ScenarioBench: Trace-Grounded Compliance Evaluation for Text-to-SQL and RAG LMD Pre-print | ||
15:00 - 16:30 | |||
15:00 40mTalk | Exploring the Boundary between Discriminative and Generative AI in Software Operations COGAI Gabriel Tamura Universidad Icesi | ||
15:40 50mPanel | GenAI as a Catalyst in Proactive Continuous Operations – Open Discussion COGAI Hausi Müller University of Victoria, Marin Litoiu York University, Canada, Ian Watts IBM Canada, Norha M. Villegas Universidad Icesi | ||
15:00 - 16:30 | |||
15:00 90mTutorial | Opportunities and Challenges of Adopting CI/CD Practices in Mobile Apps 7 Tutorials Safwat Hassan University of Toronto, Canada | ||
15:00 - 16:30 | TP:115:59:41: Data Analysis74 Technical Papers at Room 344 Chair(s): Ildar Akhmetov Northeastern University | ||
15:00 20mTalk | Benchmarking and Evaluation of Time Series Databases for Appliance-Level Energy Consumption DataShort-Paper 74 Technical Papers Simin Shehbaz University of New Brunswick, Mohammad Mehabadi University of New Brunswick, Kenneth Kent University of New Brunswick | ||
15:20 20mTalk | Optimizing the Data Migration Process Using Machine Learning TechniquesShort-Paper 74 Technical Papers Xingjian Mao York University, Xiaohui Yu York University, Aijun An York University, Dariusz Jania IBM Polska Sp. z o.o. | ||
15:40 20mTalk | A Transformer-Augmented TCN for Modeling Complex Patterns in Retail Sales DataShort-Paper 74 Technical Papers Md Robiuddin Applied Modelling & Quantitative Methods, Trent University, Peterborough, Ontario, Canada, Iftekher Muhammad Chowdhury Department of Computer Science, Western University, London, Ontario, Canada; Instacart, Canada, Quazi Abidur Rahman Department of Computer Science, Trent University, Peterborough, Ontario, Canada | ||
16:45 - 18:00 | Keynote by Guy-Vincent Jourdan7 Keynotes at Curtis Hall A Curtis Hall A is a 7-minute walk from the Second Student Centre. Click here for directions to Curtis Hall A | ||
16:45 15mTalk | CASCON 2025 Best Poster Award 7 Keynotes | ||
17:00 60mKeynote | When AI Breaks and Secures: Lessons from the uOttawa–IBM Cyber Range 7 Keynotes Guy-Vincent Jourdan University of Ottawa | ||
18:00 - 20:30 | |||
18:00 2h30mSocial Event | CASCON 2025 & CS-CAN | INFO-CAN Banquet & Awards Catering | ||
Thu 13 NovDisplayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:30 15mTalk | CASCON 2025 Patrons Telus & PwC Financial Co-Sponsors IEEE Computer Society, TCSE & CS-CAN | INFO-CAN 7 Keynotes | ||
08:45 75mKeynote | Literate Software: Crafting Intelligent Systems in the Age of AI 7 Keynotes Neel Sundaresan IBM | ||
10:30 - 12:00 | |||
10:30 90mOther | WKS-31: Navigating Generative AI in Higher Education: Exchanging Best Practices, Confronting Challenges, and Unlocking Transformative Opportunities (Part 1) GAIA | ||
10:30 - 12:00 | |||
10:30 90mPanel | GenAI Entrepreneurship: Opportunities, Challenges, and the Secret for Sustainable Success 3 Panels P: Hassan Jaferi Sr. Director, Myant Ventures, P: Sedef Akinli Kocak Vector Institute for AI, P: Timothy Lethbridge University of Ottawa, P: Madalin Mihailescu CTO, Georgian (Ventures), C: Marin Litoiu York University, Canada, C: Gias Uddin York University, Canada | ||
10:30 - 12:00 | |||
10:30 90mTutorial | Full-spectrum Energy Profiling: Methods, Challenges, and Applications 7 Tutorials | ||
10:30 - 12:00 | TP:22:89:139:143: Applications of AI II74 Technical Papers at Hall D Chair(s): Felipe Rivera University of Victoria | ||
10:30 20mTalk | ChatAcadien: A RAG-LLM-Based Chatbot for Exploring Acadian GenealogyIndustry 74 Technical Papers | ||
10:50 20mTalk | Designing Large Language Models for Specific Domains: A Case Study on Live Microbe Foods for Precision NutritionIndustry 74 Technical Papers Paraskevi Massara Department of Nutritional Sciences, University of Toronto, Stephanie Saab Department of Nutritional Sciences, University of Toronto, Baran Aghdasi Department of Nutritional Sciences, University of Toronto, Charles D.G. Keown-Stoneman Applied Health Research Centre, Li Ka Shing Knowledge Institute, St Michael’s Hospital, Jonathon L. Maguire Li Ka Shing Knowledge Institute, St Michael’s Hospital, Catherine Birken Child Health Evaluative Sciences, The Hospital for Sick Children, Mary L'Abbe Department of Nutritional Sciences, University of Toronto, Elena M Comelli Department of Nutritional Sciences, University of Toronto | ||
11:10 20mTalk | An Explainable Data Depth-Based Method in Anti-Money Laundering (AML) DomainShort-Paper 74 Technical Papers hanieh ghabelialla University of New Brunswick, David Bremner University of New Brunswick, Rasoul Shahsavarifar Faculty of computer science University of New Brunswick | ||
11:30 30mResearch paper | CARGO: A Framework for Confidence-Aware Routing of Large Language Models 74 Technical Papers Amine Barrak Oakland University, USA, Yosr Fourati Department of Computer Science and Engineering, Oakland University., Michael Olchawa Department of Computer Science and Engineering, Oakland University., Emna Ksontini University of North Carolina Wilmington, Khalil Zoghlami Department of Computer Science and Engineering, Oakland University. Pre-print | ||
10:30 - 12:00 | TP:224:126:202:142: The User & AI 74 Technical Papers at Hall E Chair(s): Jeremy Bradbury Ontario Tech University | ||
10:30 20mTalk | Teacher-Driven Selective Fine-Tuning for LLMsShort-Paper 74 Technical Papers Likhil Babu Pallati Toronto Metropolitan University, Richard Valenzano Toronto Metropolitan University, Glaucia Melo Toronto Metropolitan University | ||
10:50 20mTalk | Quiet Interaction: Designing a DHH Accessible Home Environment with Mixed Reality AI and IoTShort-Paper 74 Technical Papers | ||
11:10 30mTalk | Lumen: Developer Agency Through Transparent Context Control in AI-Assisted Programming 74 Technical Papers | ||
11:40 20mTalk | Can We Trust the AI Pair Programmer? Copilot for API Misuse Detection and CorrectionShort-Paper 74 Technical Papers Saikat Mondal University of Saskatchewan, Chanchal K. Roy University of Saskatchewan, Hong Wang University of Saskatchewan, Juan Arguello University of Saskatchewan, Samantha Mathan University of Saskatchewan Pre-print | ||
10:30 - 12:00 | TP:102:53: SW Testing & Bug Fixing74 Technical Papers at Room 344 Chair(s): Zhenhao Li York University | ||
10:30 30mTalk | Detecting and Fixing API Misuses of Data Science Libraries Using Large Language Models 74 Technical Papers Akalanka Galappaththi University of Alberta, Francisco Ribeiro New York University Abu Dhabi, Sarah Nadi New York University Abu Dhabi | ||
11:30 20mTalk | Optimizing Test Case Reduction in CI/CD Pipelines using Integer Linear ProgrammingShort-PaperBest Short Paper Award 74 Technical Papers Yara Q Mahmoud Ontario Tech University, Asma Fariha Ontario Tech University, Akramul Azim Ontario Tech University, Ramiro Liscano Ontario Tech University, Kevin Smith International Business Machines Corporation (IBM), Yee-Kang Chang International Business Machines Corporation (IBM), Gkerta Seferi International Business Machines Corporation (IBM), Qasim Tauseef International Business Machines Corporation (IBM) | ||
13:00 - 14:30 | |||
13:00 90mOther | WKS-31: Navigating Generative AI in Higher Education: Exchanging Best Practices, Confronting Challenges, and Unlocking Transformative Opportunities (Part 2) GAIA | ||
13:00 - 14:30 | WKS-19: The fifth workshop on the emerging applications of machine learning in modern data management (Part 1)ML4DM at Hall B Workshop agenda: 13:00-13:05: Welcome note (Verena Kantere, Prof. University of Ottawa) 13:05-13:30: Talk on: “Cost-Sensitive Data Acquisition for Incomplete Datasets” (Xiaohui Yu, Prof. York University) 13:30-13:50: Talk on “Robust and Explainable Cost Estimation” (Baoming Chang, PhD candidate University of Waterloo, MSc holder University of Ottawa) 13:50-14:10: Talk on: “Using Radial Basis Functions for Cardinality Estimation” (Nicholas Ostan, Researcher and Data Scientist IBM Db2; Calisto Zuzarte; Senior Technical Staff Member IBM Db2) 14:10-14:30: Talk on: “Robust Plan Evaluation Selection” (Amin Kamali, PhD holder University of Ottawa) | ||
13:00 90mOther | WKS-19: The fifth workshop on the emerging applications of machine learning in modern data management (Part 1) ML4DM | ||
13:00 - 14:30 | |||
13:00 90mOther | WKS-48: 3rd CASCON YTech STEM Outreach Workshop (Part 1) YTStem | ||
13:00 - 14:30 | |||
13:00 90mOther | WKS-283: Connected Minds × IVADO: Accelerating Socio-Technical Innovation Together (Part 1) ATI | ||
13:00 - 14:30 | WKS 15: Advancing Gender-Inclusive AI through the GEMinAI Program (Part 1)GEMinAI at Hall E Chair(s): Lori Akiyama Concordia University, Canada, Lindsay Rodgers Concordia University Panel Discussion: Effective Approaches to Gender Inclusivity in AI In this moderated discussion, panelists representing industry, academia, and non-profit will share novel approaches to advancing gender inclusivity within their domains. We will explore what is working, and where more effort is needed. A Q&A session will allow for ample audience participation and sharing of perspectives and experiences. Moderator: Lindsay Rodgers, Knowledge Mobilization Advisor, Applied AI Institute at Concordia University | ||
13:00 90mPanel | Effective Approaches to Gender Inclusivity in AI GEMinAI P: Eirene Seiradaki Director, Research Partnerships, RBC Borealis, P: Yasmine Djerbal Associate Director, Centre for Teaching and Learning, Queen's University, P: Jennifer Addison Mila, A: Atoosa Nasiri Senior Data Scientist, Telus | ||
15:00 - 16:30 | |||
15:00 90mOther | WKS-31: Navigating Generative AI in Higher Education: Exchanging Best Practices, Confronting Challenges, and Unlocking Transformative Opportunities (Part 3) GAIA | ||
15:00 - 16:30 | WKS-19: The fifth workshop on the emerging applications of machine learning in modern data management (Part 2)ML4DM at Hall B Workshop agenda: 15:00-15:25: Talk on: “Guiding Expert tuning with eXplainable AI” (Andrew Chai, Phd candidate York University; Jarek Szlichta Prof York University) 15:25-16:25: Panel discussion on “The future of ML-based Query Processing and Optimization”: (Calisto Zuzarte, Xiaohui Yu, Jarek Szlichta, Andrew Chai, Nicholas Ostan, Verena Kantere) 16:25-16:30: Conclusion note and farewell (Verena Kantere) | ||
15:00 90mOther | WKS-19: The fifth workshop on the emerging applications of machine learning in modern data management (Part 2) ML4DM | ||
15:00 - 16:30 | |||
15:00 90mOther | WKS-48: 3rd CASCON YTech STEM Outreach Workshop (Part 2) YTStem | ||
15:00 - 16:30 | |||
15:00 90mOther | WKS-283: Connected Minds × IVADO: Accelerating Socio-Technical Innovation Together (Part 2) ATI | ||
15:00 - 16:30 | WKS 15: Advancing Gender-Inclusive AI through the GEMinAI Program (Part 2)GEMinAI at Hall E Breakout Sessions In this interactive session facilitated by the panelists, workshop participants will delve into more in-depth, thematic discussions focusing on topics that correspond to the themes and initiatives presented in the panel discussion. Topics may include: · Gender-responsive AI education and training · Program evaluation and impact assessment tools · Recruitment, onboarding, and retention strategies · Inclusive policy frameworks · Feminist epistemologies in machine learning · Mentorship models · Etc. | ||
15:00 90mOther | WKS 15: Advancing Gender-Inclusive AI through the GEMinAI Program (Part 2) GEMinAI | ||