CASCON 2025
Mon 10 - Thu 13 November 2025
Dates
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 10 Nov

Displayed time zone: Eastern Time (US & Canada) change

12:00 - 13:00
Lunch & Posters - CASCON SC MeetingCatering at Break
13:00 - 14:30
TP:112:134:221: Software Requirements I 74 Technical Papers at Room 5
13:00
30m
Talk
Multi-Label Ambiguity Detection in Software Requirements using Language ModelsBest Paper Award
74 Technical Papers
Paniz Oghabi Carleton University, Nafiseh Kahani Carleton University
13:30
30m
Talk
Automated Non-Functional Requirements Generation in Software Engineering with Large Language Models: A Comparative StudyResearch Object ReviewedOpen Research Object
74 Technical Papers
Jomar Thomas Almonte The Pennsylvania State University, Santhosh AB Pennsylvania State University, Nathalia Nascimento Pennsylvania State University
14:00
30m
Talk
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
TP:90:117:229:119: Energy & Vehicles 74 Technical Papers at Room 6
13:00
30m
Talk
Energy Consumption Analysis of Large Language Models Across CPU and GPU with Diverse Metric Types
74 Technical Papers
Tong Zhang Department of Computer Science, Brock University, St. Catharines, ON, Canada, Leila Tahmooresnejad Brock University, Naser Ezzati Jivan
13:30
20m
Talk
Pattern-Driven and Stochastic Generation of Energy Time Series via Differentiable SimulationShort-Paper
74 Technical Papers
Mohammad Mehabadi University of New Brunswick, Simin Shehbaz University of New Brunswick, Bhavani Sai Prasad Addala Faculty of Computer Science, University of New Brunswick, Kenneth Kent University of New Brunswick
13:50
20m
Talk
Energy Load Forecasting for OCPP-Compliant EV Charging Infrastructure Using Machine LearningShort-Paper
74 Technical Papers
Hyon Lee OntarioTech University, Akramul Azim Ontario Tech University
14:10
20m
Talk
JETROS: A Scalable Robotic Testbed for Experimental Evaluation of Algorithms for Cooperative Vehicle PlatooningShort-Paper
74 Technical Papers
Francisca Donoso Universidad Técnica Federico Santa María, Nelson Salvador Universidad Técnica Federico Santa María, Gonzalo Carvajal Universidad Técnica Federico Santa María, Akramul Azim Ontario Tech University
14:30 - 15:00
Afternoon breakCatering at Break
15:00 - 16:30
TP:207:213:37: CS Education74 Technical Papers at Room 6
15:00
30m
Talk
Detecting Explicit and Implicit Gender Bias in Software Engineering Education
74 Technical Papers
Fatemeh Sadat Mirshafiee Carleton University, Nafiseh Kahani Carleton University
15:30
30m
Talk
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
20m
Talk
Evaluating Generative AI for CS1 Code Grading: Direct vs Reverse MethodsShort-Paper
74 Technical Papers
Ahmad Memon University of British Columbia, Abdallah Mohamed University of British Columbia

Tue 11 Nov

Displayed time zone: Eastern Time (US & Canada) change

10:00 - 10:30
Morining breakCatering at Break
10:30 - 12:00
TP:212:29:107:18: Code Analysis74 Technical Papers at Room 4
10:30
30m
Talk
Efficient Pointer Analysis via Def-Use Graph Pruning
74 Technical Papers
Jiaqi He University of Alberta, Karim Ali NYU Abu Dhabi
11:00
20m
Talk
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
20m
Talk
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
20m
Talk
A Multi-Table Approach to Floating-Point Function ApproximationShort-PaperResearch Object ReviewedOpen Research Object
74 Technical Papers
Lucas Dutton McMaster University, Christopher Anand McMaster University, Robert Enenkel IBM Canada, Silvia M Mueller IBM
10:30 - 12:00
2015-MIP & TP:59-105: Databases74 Technical Papers / Most Influential Paper at Room 5
10:30
30m
Paper
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
30m
Talk
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
30m
Talk
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
12:00 - 13:00
Lunch and PostersCatering at Break
13:00 - 14:30
TP:220:108:125:217: Software Requirements II74 Technical Papers at Room 2
13:00
30m
Talk
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:30
20m
Talk
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:50
20m
Talk
Towards Improving the Reliability of LLMs in Requirements Engineering with Structured Confidence and Tag GovernanceShort-PaperResearch Object ReviewedOpen Research Object
74 Technical Papers
Dvip Patel Ontario Tech University, Sanaa Alwidian
14:10
20m
Talk
From Requirements to Models: A Case Study of Large Language Models on Epidemiological ModelingShort-Paper
74 Technical Papers
13:00 - 14:30
TP:218:49:83:200: Security II 74 Technical Papers at Room 4
13:00
30m
Talk
Securing LLM-Generated Embedded Firmware through AI Agent-Driven Validation and Patching
74 Technical Papers
Seyed Moein Abtahi Ontario Tech University, Akramul Azim Ontario Tech University
13:30
20m
Talk
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
20m
Talk
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
20m
Talk
Data Augmentation with RNN-Driven CGANs for RF Jamming Intrusion DetectionShort-Paper
74 Technical Papers
Brandon Fernandez Ling Brock University, Glaucio Silva de Carvalho Brock University
13:00 - 14:30
TP:93:199:110: Software Development I74 Technical Papers at Room 5
13:00
30m
Talk
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
30m
Talk
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
30m
Talk
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
14:30 - 15:00
Afternoon breakCatering at Break
15:00 - 16:30
TP:149:133:33: Software Development II74 Technical Papers at Room 2
15:00
30m
Talk
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
20m
Talk
Revisiting Thread Disentanglement in Technical Chat with Fine-Tuned LLMs and Graph-Based ClusteringShort-Paper
74 Technical Papers
Alex Aselstyne Queen's University, Canada, Mariam El Mezouar Royal Military College
15:50
30m
Talk
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:141:227:216: Edge Comp & CPS74 Technical Papers at Room 3
15:00
30m
Talk
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
30m
Talk
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
20m
Talk
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 Room 4
15:00
30m
Talk
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
30m
Talk
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
20m
Talk
NL in the Middle: Code Translation with LLMs and Intermediate RepresentationsShort-PaperResearch Object Reviewed
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:225:135:40: Cloud & Microservices74 Technical Papers at Room 5
15:00
30m
Talk
GRASP: A Graph-Based Proactive Framework for SLA-breach Prediction in Cloud-Native MicroservicesBest Paper Award
74 Technical Papers
Sara fehresti York University, Farhoud Jafari Kaleibar York University, Marin Litoiu York University, Canada
15:30
20m
Talk
Key Considerations for Auto-Scaling: Lessons from Benchmark MicroservicesShort-Paper
74 Technical Papers
Majid Dashtbani University of Waterloo, Ladan Tahvildari University of Waterloo
Pre-print
15:50
30m
Talk
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
15:00 - 16:30
TP:88:204:177: Performance74 Technical Papers at Room 6
15:00
20m
Talk
AttentiveDRL: Fair and Efficient GPU Job Scheduling via Dual-Agent RLShort-Paper
74 Technical Papers
Yiming Shao York University, Aijun An York University, Hajer Ayadi York University, Hao Zhou IBM, Michael Feiman IBM
15:20
20m
Talk
Anomaly Detection in Time Series Data: A Comparative Study of Time-Series Clustering and Recurring Neural NetworksIndustry
74 Technical Papers
15:40
20m
Talk
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
16:00
20m
Talk
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

Wed 12 Nov

Displayed time zone: Eastern Time (US & Canada) change

10:00 - 10:30
Morining breakCatering at Break
10:30 - 12:00
TP:184:101:138:187: Quantum & Robotics74 Technical Papers at Room 5
10:30
30m
Talk
Introducing UNIQuE: The Unconventional Noiseless Intermediate Quantum EmulatorResearch Object Reviewed
74 Technical Papers
Reece Robertson University of Maryland, Baltimore County, Dan Ventura Brigham Young University
11:00
20m
Talk
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
20m
Talk
Coherent Optical Quantum Computing-Aided Resource Optimization for Transportation Digital Twin ConstructionShort-Paper
74 Technical Papers
Huixiang Zhang Lakehead University, Mahzabeen Emu Memorial University of Newfoundland
11:40
20m
Talk
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
TP:194:21:46:195: AI & Society74 Technical Papers at Room 6
10:30
20m
Talk
Rule-Based Moral Principles for Explaining Uncertainty in Natural Language GenerationShort-Paper
74 Technical Papers
Zahra Atf Ontario Tech University, Peter Lewis Ontario Tech University
Pre-print
10:50
20m
Talk
Improving Fairness by Debiasing Intersectional Biases in Contextual AI ModelsShort-PaperBest Short Paper Award
74 Technical Papers
Nicolas Abule Toronto Metropolitan University, Glaucia Melo Toronto Metropolitan University
11:10
20m
Talk
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
20m
Talk
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
12:00 - 13:00
Lunch and PostersCatering at Break
13:00 - 14:30
TP:86:91:230: Software Development III74 Technical Papers at Room 5
13:00
30m
Talk
Establishing Traceability Links between Release Notes & Software Artifacts: Practitioners' Perspectives
74 Technical Papers
Sristy Sumana Nath University of Saskatchewan, Banani Roy University of Saskatchewan, Munima Jahan
13:30
30m
Talk
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
30m
Talk
Can AI Build Systems? An Exploratory Study on Generating Software Architecture with LLMs
74 Technical Papers
13:00 - 14:30
TP:113:84:79:121: Applications of AI II 74 Technical Papers at Room 6
13:00
20m
Paper
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
30m
Talk
A Bayesian Incentive Mechanism for Poison-Resilient Federated LearningBest Paper Award
74 Technical Papers
Daniel Commey Texas A&M University, Rebecca A. Sarpong Kwame Nkrumah University of Science and Technology, Griffith S. Klogo Kwame Nkrumah University of Science and Technology, Winful Bagyl-Bac George Washington University, Garth V. Crosby Texas A&M University
13:50
20m
Talk
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.
14:10
20m
Talk
SynthLogAI: Generative AI for Synthetic Linux Log Generation and EvaluationIndustry
74 Technical Papers
Hridoy Rahman Brock University, Blessing Ogbuokiri Brock University, Naser Ezzati Jivan
14:30 - 15:00
Afternoon breakCatering at Break
15:00 - 16:30
TP:115:59:41: Data Analysis74 Technical Papers at Room 6
15:00
20m
Talk
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
20m
Talk
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
20m
Talk
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

Thu 13 Nov

Displayed time zone: Eastern Time (US & Canada) change

10:00 - 10:30
Morining breakCatering at Break
10:30 - 12:00
TP:22:89:139:143: Applications of AI I 74 Technical Papers at Room 4
10:30
20m
Talk
ChatAcadien: A RAG-LLM-Based Chatbot for Exploring Acadian GenealogyIndustry
74 Technical Papers
Rayen Ghali University of Moncton, Sid Ahmed Selouani University of Moncton
10:50
20m
Talk
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
20m
Talk
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
30m
Research 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 Room 5
10:30
20m
Talk
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
20m
Talk
Quiet Interaction: Designing a DHH Accessible Home Environment with Mixed Reality AI and IoTShort-Paper
74 Technical Papers
Wentian Zhu OCAD University, Alexis Morris OCAD University, Haru Hyunkyung Ji OCAD University
11:10
30m
Talk
Lumen: Developer Agency Through Transparent Context Control in AI-Assisted ProgrammingOpen Research Object
74 Technical Papers
Nakul Goel Toronto Metropolitan University, Glaucia Melo Toronto Metropolitan University
11:40
20m
Talk
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:151:53: SW Testing & Bug Fixing74 Technical Papers at Room 6
10:30
30m
Talk
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
20m
Talk
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)
12:00 - 13:00
Lunch and PostersCatering at Break

Accepted Papers

Title
A Bayesian Incentive Mechanism for Poison-Resilient Federated LearningBest Paper Award
74 Technical Papers
A Comparative Study of Feature Representations for CNN-Based Anomaly Detection in Microservices
74 Technical Papers
Acoustic-based Vehicle Detection and Classification on Malaysian RoadsShort-Paper
74 Technical Papers
Adaptive Fine-tuning for Multiclass Classification over Software Requirement Data
74 Technical Papers
A Fully Automated Agent for End-to-End Code Translation and Validation
74 Technical Papers
A-MARL: Agile Multi-Agent Reinforcement Learning for Soft Real-Time Task Scheduling in Edge Computing
74 Technical Papers
A Multi-Table Approach to Floating-Point Function ApproximationShort-PaperResearch Object ReviewedOpen Research Object
74 Technical Papers
An Empirical Evaluation of LLM-Based Approaches for Code Vulnerability Detection: RAG, SFT, and Dual-Agent SystemsIndustry
74 Technical Papers
An Explainable Data Depth-Based Method in Anti-Money Laundering (AML) DomainShort-Paper
74 Technical Papers
An insight into the technical debt-fix trade off in software backporting
74 Technical Papers
Anomaly Detection in Time Series Data: A Comparative Study of Time-Series Clustering and Recurring Neural NetworksIndustry
74 Technical Papers
A Proactive Approach for Detecting Post-Quantum Cryptographic Malware with Machine LearningShort-Paper
74 Technical Papers
A Transformer-Augmented TCN for Modeling Complex Patterns in Retail Sales DataShort-Paper
74 Technical Papers
AttentiveDRL: Fair and Efficient GPU Job Scheduling via Dual-Agent RLShort-Paper
74 Technical Papers
Automated Non-Functional Requirements Generation in Software Engineering with Large Language Models: A Comparative StudyResearch Object ReviewedOpen Research Object
74 Technical Papers
Benchmarking and Evaluation of Time Series Databases for Appliance-Level Energy Consumption DataShort-Paper
74 Technical Papers
Beyond Monolithic LLMs: Modular AI for Online Harassment DetectionShort-Paper
74 Technical Papers
Breaking Robustness: Free-rider Attacks Against Contribution Evaluation in Federated LearningShort-PaperBest Short Paper Award
74 Technical Papers
Can AI Build Systems? An Exploratory Study on Generating Software Architecture with LLMs
74 Technical Papers
Can We Trust the AI Pair Programmer? Copilot for API Misuse Detection and CorrectionShort-Paper
74 Technical Papers
Pre-print
CARGO: A Framework for Confidence-Aware Routing of Large Language Models
74 Technical Papers
Pre-print
ChatAcadien: A RAG-LLM-Based Chatbot for Exploring Acadian GenealogyIndustry
74 Technical Papers
ChatGPT for Code Refactoring: Analyzing Topics, Interaction, and Effective Prompts
74 Technical Papers
Coherent Optical Quantum Computing-Aided Resource Optimization for Transportation Digital Twin ConstructionShort-Paper
74 Technical Papers
Data Augmentation with RNN-Driven CGANs for RF Jamming Intrusion DetectionShort-Paper
74 Technical Papers
Design, Implementation and Evaluation of a Novel Programming Language Topic Classification WorkflowShort-Paper
74 Technical Papers
Designing Large Language Models for Specific Domains: A Case Study on Live Microbe Foods for Precision NutritionIndustry
74 Technical Papers
Detecting and Fixing API Misuses of Data Science Libraries Using Large Language Models
74 Technical Papers
Detecting Explicit and Implicit Gender Bias in Software Engineering Education
74 Technical Papers
Detection and Prevention of Malicious Data Manipulation Attacks in Microgrids
74 Technical Papers
Efficient Compilation of Algorithms into Compact Linear ProgramsShort-Paper
74 Technical Papers
Efficient Pointer Analysis via Def-Use Graph Pruning
74 Technical Papers
Energy Consumption Analysis of Large Language Models Across CPU and GPU with Diverse Metric Types
74 Technical Papers
Energy Load Forecasting for OCPP-Compliant EV Charging Infrastructure Using Machine LearningShort-Paper
74 Technical Papers
Enhancing Machine Learning in Abusive Language Detection with Dataset AggregationShort-Paper
74 Technical Papers
Establishing Traceability Links between Release Notes & Software Artifacts: Practitioners' Perspectives
74 Technical Papers
Evaluating Generative AI for CS1 Code Grading: Direct vs Reverse MethodsShort-Paper
74 Technical Papers
From Requirements to Models: A Case Study of Large Language Models on Epidemiological ModelingShort-Paper
74 Technical Papers
Generating Data Engineering Code Using LLMs
74 Technical Papers
GRASP: A Graph-Based Proactive Framework for SLA-breach Prediction in Cloud-Native MicroservicesBest Paper Award
74 Technical Papers
GrIIM: Graph-based IED Impact assessment using MCDMShort-Paper
74 Technical Papers
Improving Fairness by Debiasing Intersectional Biases in Contextual AI ModelsShort-PaperBest Short Paper Award
74 Technical Papers
Intrinsic Defenses Against Backdoor Attacks in High-Order Graph Neural Networks via Semantic and Outlier-Guided Subgraph PoliciesResearch Object ReviewedOpen Research Object
74 Technical Papers
Introducing UNIQuE: The Unconventional Noiseless Intermediate Quantum EmulatorResearch Object Reviewed
74 Technical Papers
Issue Prioritization in Agile Development through the Lens of Constraint Solving
74 Technical Papers
Jackpine3D: a benchmark for evaluating 3D spatial database features
74 Technical Papers
JETROS: A Scalable Robotic Testbed for Experimental Evaluation of Algorithms for Cooperative Vehicle PlatooningShort-Paper
74 Technical Papers
Key Considerations for Auto-Scaling: Lessons from Benchmark MicroservicesShort-Paper
74 Technical Papers
Pre-print
Leveraging Symbolic Encoding for Performance Anomaly Classification in Dynamic IoT Pipelines
74 Technical Papers
Life Event Detection in Bank Conversations: An Industry Case StudyIndustryBest Industry Paper Award
74 Technical Papers
Lumen: Developer Agency Through Transparent Context Control in AI-Assisted ProgrammingOpen Research Object
74 Technical Papers
Multi-Label Ambiguity Detection in Software Requirements using Language ModelsBest Paper Award
74 Technical Papers
NL in the Middle: Code Translation with LLMs and Intermediate RepresentationsShort-PaperResearch Object Reviewed
74 Technical Papers
Optimizing Test Case Reduction in CI/CD Pipelines using Integer Linear ProgrammingShort-PaperBest Short Paper Award
74 Technical Papers
Optimizing the Data Migration Process Using Machine Learning TechniquesShort-Paper
74 Technical Papers
Pattern-Driven and Stochastic Generation of Energy Time Series via Differentiable SimulationShort-Paper
74 Technical Papers
Performance and Cost Analysis in Domain-Specific Essay Scoring with Large Language Models
74 Technical Papers
Pushing Feelings: Emotion and Sentiment in Software Commit Messages
74 Technical Papers
Quiet Interaction: Designing a DHH Accessible Home Environment with Mixed Reality AI and IoTShort-Paper
74 Technical Papers
Reverse Engineering User Stories from Code using Large Language ModelsIndustry
74 Technical Papers
Revisiting Thread Disentanglement in Technical Chat with Fine-Tuned LLMs and Graph-Based ClusteringShort-Paper
74 Technical Papers
Rule-Based Moral Principles for Explaining Uncertainty in Natural Language GenerationShort-Paper
74 Technical Papers
Pre-print
Securing LLM-Generated Embedded Firmware through AI Agent-Driven Validation and Patching
74 Technical Papers
Semantic Relational Types of SQL Queries and Applications to AI Agent Tool Selection
74 Technical Papers
Supervised Semantic Similarity-based Conflict Detection Algorithm: S3CDA
74 Technical Papers
Survey on Kubernetes Misconfiguration Vulnerabilities and Best Practices
74 Technical Papers
SynRAG: A Large Language Model Framework for Executable Query Generation in Heterogeneous SIEM SystemsShort-Paper
74 Technical Papers
SynthLogAI: Generative AI for Synthetic Linux Log Generation and EvaluationIndustry
74 Technical Papers
Teacher-Driven Selective Fine-Tuning for LLMsShort-Paper
74 Technical Papers
Towards a Small Behavioral Model for Theomorphic RobotsShort-Paper
74 Technical Papers
Towards Improving the Reliability of LLMs in Requirements Engineering with Structured Confidence and Tag GovernanceShort-PaperResearch Object ReviewedOpen Research Object
74 Technical Papers
Understanding the Issue Types in Open Source Blockchain-based Software Projects with the Transformer-based BERTopic
74 Technical Papers
User Acceptance Test case Generation using LLMs
74 Technical Papers
Workarounds in Software Forms: A User Study
74 Technical Papers

Call for Papers

Reviewer Guidelines

We invite you to contribute original, unpublished, high-quality manuscripts for the technical paper track. We also invite proposals for workforce-building tutorials, community-building workshops, innovative posters, and stimulating panels accessible to a broad and diverse audience of software practitioners, developers, researchers, industry leaders, and policymakers. We encourage contributions with a mix of authors from industry, academia, and government offering innovative solutions and real-world insights.

Submissions should address challenges and opportunities spanning the full spectrum of computing and software, including but not limited to:

Emerging Software Systems & Architectures

  • Generative Artificial Intelligence (AI) & Large Language Models (LLMs): Exploring prompt engineering, retrieval augmented generation (RAG) techniques, and novel applications of AI.
  • Cloud, Edge, Accelerated Computing: Advances in cloud-native architectures, microservices, and serverless paradigms, especially in modern accelerated and heterogeneous hardware architectures like GPU, NPU, and DPU.
  • Big Data & Real-Time Analytics: Next-generation platforms for processing and deriving insights from massive and/or real-time datasets.
  • Autonomous and Adaptive Systems: Digital twins, self-healing networks, and systems that learn and evolve in real time and over extended periods.
  • Software-Enabled Healthcare & Bioinformatics: AI-driven diagnostics, remote monitoring, and personalized medicine applications.
  • Internet of Things (IoT) & Cyber-Physical Systems (CPS): Smart cities, Industry 4.0 innovations, and connected ecosystems.
  • Quantum Computing: Hybrid quantum-classical approaches, distributed quantum computing, quantum software engineering, quantum algorithms, and practical quantum development.
  • Trustworthy & Transparent AI Systems: Ensuring robustness, explainability, fairness, and accountability in AI-driven systems.
  • Novel Programming Models for Data-Oriented Accelerated Computing: Emerging programming models to cope with the end of Moore’s Law as well as high-performance computing in the context of embedded, AI and classic scientific computing.

Evolving Software Engineering Practices

  • AI-Driven Development: Generative AI, automated code generation, intelligent debugging, and machine learning-powered quality assurance.
  • Agentic Software & Intelligent Agents: Investigations into self-governing, context-aware software that autonomously adapts to changing environments and user needs.
  • Modern DevOps & Continuous Delivery: Innovations in microservices, containerization, and rapid deployment strategies, genAI-driven and agent-driven automation and toolchains.
  • Software Analytics: Mining software repositories, software supply chains, and data-driven decision-making in software engineering.
  • Secure Software Lifecycle: Integrating security best practices into agile and DevOps pipelines, including zero trust architectures.
  • Innovations in Compiler Design: Novel compiler optimizations, domain-specific languages, just-in-time compilation techniques, and tools that enhance developer productivity and system performance.
  • Compile-time and Run-time Software Quality Assurance: Software vulnerabilities, software testing, and verification.
  • Open Source Engineering: Innovation and policies to enable and nourish open source for large-scale projects and initiatives like open source LLMs as well as best practices for establishing open source program offices.

Innovations in AI

  • Next-Generation AI Techniques: Advances in deep learning, reinforcement learning, diffusion models, and beyond.
  • Explainable & Responsible AI: Research for ensuring transparency, ethical considerations, fairness, and societal accountability.
  • Federated and Edge AI: Distributed AI approaches that preserve data privacy while harnessing edge computing capabilities.
  • AI for Social Impact: Applications addressing environmental sustainability, disaster response, public health, and social equity.

Cybersecurity & Digital Privacy

  • Zero Trust Security Models: Novel frameworks and strategies for threat detection, intrusion prevention, and risk mitigation.
  • Privacy-Enhancing Technologies: Innovations in differential privacy, homomorphic encryption, and secure multi-party computation.
  • Blockchain & Decentralized Systems: Emerging trends in decentralized finance (DeFi), trustless systems, and secure distributed ledgers.

Human-Computer Interaction (HCI) & Immersive Experiences

  • Immersive & Extended Reality: Advances in augmented reality (AR), virtual reality (VR), and mixed reality for next-gen user experiences.
  • Next-Gen User Interfaces: Designing intuitive, multimodal interfaces for smart devices, wearables, and mobile ecosystems.
  • Digital Collaboration & Social Media Analytics: Enhancing interaction and productivity in hybrid work environments, enhancing understanding of online engagement.

Sustainable and Responsible Computing

  • Green Computing & Sustainability: Energy-efficient algorithms, sustainable system designs, and eco-friendly computing practices.
  • Responsible AI: low resource models, energy-efficient training strategies and practices that reduce the energy footprint of Foundation Models like Large Language Models (LLMs).
  • Digital Transformation for Smart Ecosystems: Leveraging technology to build sustainable smart cities and transformative digital platforms.

Submission Types

CASCON 2025 calls for the following types of  submissions:

  1. Regular Papers: Novel and mature research work (up to 10 pages including references).
  2. Short Papers: Work in progress with some validation results, experience reports, new ideas and visionary papers based on supporting theory or evidence, and application papers (up to 6 pages including references).
  3. Applications/Industrial Papers: Practical case studies, benchmark tools, and empirical studies addressing real-world industrial challenges (up to 6 pages, including references).

Paper Instructions

Each technical paper must conform at the time of submission to the IEEE Formatting Instructions (i.e., title in 24pt font and full text in 10pt type, LaTEX users must use \documentclass[10pt,conference] {IEEEtran} without including the compsoc nor the compsocconf options).

CASCON 2025 will not accept submissions that have been previously published, are in press, or have been submitted elsewhere. Any article that includes AI-generated content (e.g., text, figures or algorithms) must disclose this in the acknowledgements section. The paper sections containing AI-generated content must include a citation to the used AI system for its generation. Additional submission guidelines are available at Submission Policies - IEEE Author Center Conferences.

Accepted papers will be included in the conference proceedings published in IEEE Xplore. One of the authors of the accepted papers must register and present the paper at the conference. Failure to attend and present the paper at the conference will result in the withdrawal of the paper from the IEEE Xplore proceedings.

Best Paper Awards

Best Paper and Best Student Paper awards will be given to recognize the best technical contributions of the event in terms of originality, clarity, and potential impact. To be eligible for the Best Student Paper award, the primary author(s) of the paper and contributor(s) of the work must have been a student(s) at the time the work was done.

Submission Deadlines

  • Technical paper abstract submission: July 7, 2025
  • Full technical paper submission: July 14, 2025
  • Acceptance notification: Aug 11, 2025
  • Technical paper presentation dates: Nov 10-13, 2025

Initial Manuscript Submission Instructions

Submissions are made via EasyChair and must be in the double-column standard IEEE format for conference proceedings. All types of papers should strictly follow the page limit constraint to be considered as eligible for review. The defined page limit should include the paper, figures, tables, and references. The steps for submitting a paper are as follows:

CASCON 2025 will employ a double-anonymous review process. Therefore, submissions may not reveal the identity of their authors. The authors must make every effort to honour the double-anonymous review process. In particular:

  • Authors’ names must be omitted from the submission.
  • All references to the author’s prior work should be in the third person.
  • While authors can upload preprints on ArXiV or similar sites, they should avoid specifying that the manuscript was submitted to CASCON.
  • Authors should not publicly use the submission title during the review (e.g., in social media posts).

We look forward to your submissions that push the boundaries of research and tackle today’s most pressing technology challenges and trends. Join us at CASCON 2025 to drive innovation, foster knowledge exchange, and bridge the gap between groundbreaking research and industrial application.

Camera-Ready Submission Instructions

  • Instructions for camera-ready manuscript submission will be sent to accepted contribution authors with the notification messages.
  • Submission of camera-ready manuscripts will be through IEEE Publication Services.