MB 3.435 - AIware 2026

VenueConcordia SGW Campus @Downtown Montreal

Room nameMB 3.435

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

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

09:00 - 10:30

Opening and KeynoteACM SecDev Research Papers at MB 3.435

Sunday, July 5th, 2026

Opening — 09:00–09:30


Room	MB 3.435

Keynote by Dr. Rod Chapman — 09:30–10:30


Keynote Title	Formal is Fast - Cryptographic code in the age of AI
Session Chair	Raghudeep Kannavara
Room	MB 3.435

Abstract

This talk will go over our approach to the development and verification of post-quantum cryptographic code at AWS. It will cover our approach to assembly-language verification, and how we are verifying C code within AWS LibCrypto. Proof also enables “fearless optimization” of crypto code, where proofs of correctness and/or equivalence preserve functional behaviour while allowing and inspiring non-trivial performance improvements. We’ll go on to talk about how AI agents are transforming our productivity and developer engagement without compromising our stratospheric quality bar. Our approach combines automated reasoning guardrails that constrain AI behaviour to known-good outcomes with aggressive use of agents to find proofs and optimizations of our most critical code.

Speaker Bio

Dr. Rod Chapman is a senior principal applied scientist within the Cryptography group of Amazon Web Services. He specializes in the design, development and verification of cryptographic software, and has particular experience with programming language design and automated reasoning technologies. He also coaches development teams and leadership in high-assurance software development disciplines, technologies, and processes. He is a Fellow of the IET and an honorary visiting professor at the University of York.

Coffee Break — 10:30–11:00

11:00 - 12:30

Paper Session: Program Analysis, Design, and EvaluationACM SecDev Research Papers at MB 3.435

Paper Session: Program Analysis, Design, and Evaluation — 11:00–12:30


Session Chair	Gabriel Negreira Barbosa
Room	MB 3.435

#	Paper
1	Reality Check: Independent Evaluation of Modern Grey-Box Fuzzing Techniques Pavel Frolikov
2	Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation Priscilla Kyei Danso, Mohammad Saqib Hasan, Niranjan Balasubramanian, and Omar Chowdhury
3	CFIghter: Automated Control-Flow Integrity Enablement and Evaluation for Legacy C/C++ Systems Sabine Houy, Bruno Kreyssig, and Alexandre Bartel
4	SoK: A Modularized Framework for Symbolic Execution and Application for Usable Tool Design James Mattei, Andrew Lin, Jasper Geer, Jie Hu, Moritz Schloegel, Tiffany Bao, and Daniel Votipka

Lunch — 12:30–14:00


Room	TBD

14:00 - 15:30

PanelACM SecDev Research Papers at MB 3.435

Panel: Trust, Autonomy, and Supply Chain Risk in Agentic Software Development — 14:00–15:00


Session Chair	TBD
Room	MB 3.435

Panelists

#	Panelist
1	Dr. Rod Chapman, Senior Principal Applied Scientist, Amazon Web Services
2	Dr. Roland Yap Hock Chuan, Associate Professor, Computer Science, School of Computing, National University of Singapore
3	Dr. Amin Milani Fard, Associate Professor, Computer Science, College of Engineering & Computing Sciences, New York Institute of Technology – Vancouver Campus
4	Dr. Venkat Sai Suman Lamba Karanam, Assistant Professor, Computer Science, College of Arts and Sciences, Bowling Green State University
5	Marcelo Garcia, Cyber Security Policy and Strategy Specialist, Brazil Federal Fluminense University

Poster Session and Coffee Break — 15:00–16:00

#	Poster Title	Presenters
1	Read the Room: LLM-Based Filesystem Intelligence for Targeted Compliance Scanning	Adhithya Rajasekaran
2	Auditing MCP Servers for Over-Privileged Tool Capabilities	Charoes Huang, Xin Huang, Amin Milani Fard
3	Nyx: A Distributed Performance Benchmark Framework for PSI	Wout Ceulemans, Pieter Philippaerts, Dimitri Van Landuyt, Wouter Joosen
4	Are AI-assisted Development Tools Immune to Prompt Injection?	Charoes Huang, Xin Huang, Amin Milani Fard
5	From Vulnerability to Resilience: Enhancing SDN-Based False Data Detection for In-Vehicle Networks Against DeepFool	Long Dang, Thushari Hapuarachchi, Kaiqi Xiong, Yi Li
6	Evaluating Retrieval-Augmented Generation for Explainable Malware Analysis	Jayson Ng, Amin Milani Fard
7	Automating Software Supply Chain Security: AI-Powered Threat Detection in DevSecOps	Marlon Brenes Rojas, Sara Khanchi
8	Secure Local CI/CD Pipelines: Reducing Security Risk from Premature Code Integration	Vinodkumar Kakarla, Sara Khanchi

16:00 - 18:00

Paper Session: Software Security and Vulnerability AnalysisACM SecDev Research Papers at MB 3.435

Paper Session: Software Security and Vulnerability Analysis — 16:00–18:00


Session Chair	Dr. Dimitri Van Landuyt
Room	MB 3.435

#	Paper
1	Origin Story: A Comprehensive Lifecycle Analysis of Same-Origin Policy Bugs Jakub Szymsza, Gertjan Franken, Vik Vanderlinden, Tom Van Goethem, Mathy Vanhoef, and Lieven Desmet
2	ASN1spect: Uncovering ASN.1 Compiler-Generated Vulnerabilities in Critical Infrastructure Seaver Thorn, Nathaniel Bennett, Kevin Butler, Patrick Traynor, and William Enck
3	On the Variability of Source Code in Maven Package Rebuilds Jens Dietrich and Behnaz Hassanshahi
4	RepliGuard: Policy-Driven Replica Management Framework for Protecting against Acoustic Attacks Jennifer Sheldon, Yungwoo Ko, Sri Hrushikesh Varma Bhupathiraju, Sara Osmanovic, Weidong Zhu, Md Jahidul Islam, and Sara Rampazzi
5	At the Precipice of Integrity Protection using Pointer Authentication Viorel Preoteasa, Carlos Chinea Pérez, Hans Liljestrand, and Jan-Erik Ekberg
6	Cloud Safety: A Hardware Perspective Raghudeep Kannavara, Matthew Dickinson, and Monty Wiseman

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

09:00 - 10:30

Opening and KeynoteACM SecDev Research Papers at MB 3.435

Monday, July 6th, 2026

Keynote by Dr. Sergey L. Bratus — 09:30–10:30


Keynote Title	Mapping and Bridging the Software Understanding Gap
Session Chair	Raghudeep Kannavara
Room	MB 3.435

Abstract

The gap between our capabilities to build software and to understand what we’ve built, reason about it, and anticipate its emergent behaviors, is tremendous. The joint “Closing the Software Understanding Gap” memorandum by US Government agencies recognized addressing this gap as a national priority. I will argue that the keys to bridging this gap lie in rethinking ostensibly mere-engineering tasks as truly first-class computer science challenges; changing the formats in which code and data are delivered based on this new understanding; and applying strong predictive theories of software’s emergent behaviors (typically witnessed via ‘hacking’ or exploitation) to all stages of software construction, delivery, and operation.

Speaker Bio


Dr. Sergey L. Bratus is the Dartmouth College Distinguished Professor in Cyber Security, Technology, and Society and an Associate Professor of Computer Science. In 2018–2024 he served as a Program Manager at DARPA’s Information Innovation Office (I2O), where he created multiple fundamental research programs in cybersecurity, resilience, and sustainment of critical software.

Coffee Break — 10:30–11:00

11:00 - 12:30

Paper Session: Security Analysis and DesignACM SecDev Research Papers at MB 3.435

Paper Session: AI and Security — 11:00–12:30


Session Chair	Dr. Venkat Sai Suman Lamba Karanam
Room	MB 3.435

#	Paper
1	OpenClaw RedTeam Recon: A Local OSS-LLM-Powered Autonomous Reconnaissance Agent Marcelo Garcia and Robson de Oliveira Albuquerque
2	SafeAIMerge: A Tool for Integrating DAST and LLM-Generated Security Feedback into GitHub Actions Workflows Arpit Thool, Justin Smith, and Chris Brown
3	A CNN-LSTM Security Model for SCADA Network Olga Dye and Brian Dye
4	SoK: A Comprehensive Analysis of the Current Status of Neural Tangent Generalization Attacks with Research Directions Thushari Hapuarachchi and Kaiqi Xiong

Lunch — 12:30–14:00


Room	TBD

14:00 - 15:30

Award Session and Paper Session: Security Analysis and DesignACM SecDev Research Papers at MB 3.435

Award Session — 14:00–14:10


Room	MB 3.435

Distinguished Reviewer & Paper Awards


Chair	Dr. Dimitri Van Landuyt

Paper Session: Security Analysis and Design — 14:10–15:30


Session Chair	Dr. Gertjan Franken
Room	MB 3.435

#	Paper
1	SGX-MB: A Secure Framework for Middleboxes Leveraging Intel SGX Mahmoud Hofny, Lianying Zhao, and Amr Youssef
2	A Technology-Readiness Evaluation of Private Set Intersection Wout Ceulemans, Pieter Philippaerts, Dimitri Van Landuyt, and Wouter Joosen
3	Augment Mutual TLS Authentication with HW Rooted Identity: Simplified Device Lifecycle and Interoperability Dhananjay Phadke and Xiling Sun
4	Adversarially Mixed Secret Key Generation for Side-Channel Defense for the Cloud Venkat Sai Suman Lamba Karanam, Zahmeeth Sayed Sakkaff, and Pasindu Balasooriya

Coffee Break — 15:30–16:00

16:00 - 18:00

Closing Remarks and Business Meeting ACM SecDev Research Papers at MB 3.435

Closing Remarks and Business Meeting — 16:00–17:00


Room	MB 3.435

OC Private Meeting — 17:00–18:00


Room	MB 3.435

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

11:00 - 12:30	Fairness, Green and SustainabilityFSE Research Papers / FSE Ideas, Visions and Reflections / FSE Industry Papers at MB 3.435 Chair(s): Mohamad Kassab Boston University

11:00 20m Research paper		Carbon-Taxed Transformers: A Green Compression Pipeline for Overgrown Language Models FSE Research Papers Ajmain Inqiad Alam University of Saskatchewan, Palash Ranjan Roy University of Saskatchewan, Chanchal K. Roy University of Saskatchewan, Banani Roy University of Saskatchewan, Kevin Schneider University of Saskatchewan Pre-print
11:20 10m Talk		Advancing Evidence-Based Social Sustainability in Software Engineering: A Research Roadmap FSE Ideas, Visions and Reflections Bimpe Ayoola Dalhousie University, Anielle Andrade Federal University of Pampa, Paul Ralph Dalhousie University, Ronnie de Souza Santos University of Calgary
11:30 20m Talk		Practical Feasibility of Sustainable Software Engineering Tools and Techniques FSE Industry Papers Satwik Ghanta University of Glasgow, Peggy Gregory University of Glasgow, UK, Gül Calikli University of Glasgow
11:50 20m Talk		Adopting Concepts for Sustainable Improvement of the Developer Experience within a Medium-sized Corporation FSE Industry Papers Jannik Lange Munich University of Applied Sciences, Axel Böttcher Munich University of Applied Sciences
12:10 20m Talk		Fairness Testing of Large Language Models in Role-Playing FSE Research Papers Xinyue Li Peking University, Zhenpeng Chen Tsinghua University, Jie M. Zhang Mistral AI and King's College London, Ying Xiao , Li Tianlin , Weisong Sun Nanyang Technological University, Yang Liu Nanyang Technological University, Yiling Lou University of Illinois at Urbana-Champaign, Xuanzhe Liu Peking University Pre-print

14:00 - 15:30	Test generation 1FSE Industry Papers / FSE Research Papers / FSE Journal-First Paper / FSE Tool Demonstrations at MB 3.435 Chair(s): Fabrizio Pastore University of Luxembourg

14:00 10m Talk		TestAgent: A Multi-Agent LLM Framework for Repository-Level Unit Test Generation FSE Tool Demonstrations ye shang Nanjing University, Quanjun Zhang Nanjing University of Science and Technology, Zhengyu Zhan Nanjing University, Ke Huang Nanjing University, Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University
14:10 20m Talk		Just-in-Time Catching Test Generation at Meta FSE Industry Papers Mark Harman Meta Platforms, Inc. and UCL, Matthew Becker Meta, Yifei Chen Meta, Nicholas Cochran Meta, Pouyan Ghasemi Meta, Abhishek Gulati Meta platforms, Mehrdad Honarkhah Meta, Hervé Robert Meta platforms, Jiacheng Liu Meta, Weini Liu Meta, Sreeja Thummala Meta, Xiaoning Yang Meta, Rui Xin Meta, Sophie Zeng Meta, Zac Haluza Meta Pre-print
14:30 20m Talk		Understanding and Mitigating Hallucinations in Industrial LLM-based Unit Test Generation FSE Industry Papers Yanlun Tu Ant Group, Ziyue Zhou University of Electronic Science and Technology of China, Cheng Xu Ant Group, Jingling Sun University of Electronic Science and Technology of China, Shuai Feng Ant Group, Chengyu Zhang Loughborough University
14:50 20m Talk		Directed Grammar-Based Test Generation FSE Journal-First Paper Lukas Kirschner Saarland University, Ezekiel Soremekun Singapore University of Technology and Design Link to publication DOI Pre-print
15:10 20m Talk		iCoRe: An Iterative Correlation-Aware Retriever for Bug Reproduction Test Generation FSE Research Papers JunyiWang Zhejiang University, Jialun Cao Hong Kong University of Science and Technology, Zhongxin Liu Zhejiang University Pre-print

16:00 - 17:20	Code similarity and searchFSE Research Papers at MB 3.435 Chair(s): Ying Zou Queen's University, Kingston, Ontario

16:00 20m Talk		Understanding Code Similarity across Instruction Set Architectures: An Empirical Study FSE Research Papers Haonan Yu Institute of Software Chinese Academy of Sciences, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, Yingying Zheng Institute of Software at Chinese Academy of Sciences, Yuwei Zhang Institute of Software Chinese Academy of Sciences, Wei Wang Institute of Software at Chinese Academy of Sciences, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Tao Huang Institute of Software at Chinese Academy of Sciences Pre-print
16:20 20m Talk		SBridge: Identifying Source-to-Binary Function Similarity via Cross-Domain Control Block Matching FSE Research Papers Heedong Yang Korea University, Jeongwoo Lee Korea University, Hajin Yun Korea University, Seunghoon Woo Korea University Pre-print
16:40 20m Talk		Understanding Binary Code Similarity for Real-World Vulnerability Detection: A Large-Scale Empirical Study FSE Research Papers Jingdong Guo Institute of Information Engineering, CAS; School of Cyber Security, UCAS, Chaopeng Dong School of Cyberspace, Hangzhou Dianzi University, Yimo Ren Institute of Information Engineering Chinese Academy of Sciences & University of Chinese Academy of Sciences, China, Siyuan Li University of Chinese Academy of Sciences & Institute of Information Engineering Chinese Academy of Sciences, China, Jie Liu Institute of Software, Chinese Academy of Sciences, Hong Li Institute of Information Engineering at Chinese Academy of Sciences, Hongsong Zhu Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences Pre-print
17:00 20m Talk		Project-Level C-to-Rust Translation via Pointer Knowledge Graphs FSE Research Papers Zhiqiang Yuan Fudan University, Wenjun Mao Fudan University, Zhou , Xiyue Shang Fudan University, Chong Wang Nanyang Technological University, Yiling Lou University of Illinois at Urbana-Champaign, Xin Peng Fudan University

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

10:30 - 12:30	Security 2FSE Research Papers / FSE Industry Papers at MB 3.435 Chair(s): Amin Milani Fard New York Institute of Technology

10:30 20m Talk		YASA: Scalable Multi-Language Taint Analysis on the Unified AST at Ant Group FSE Industry Papers Yayi Wang Ant Group, Shenao Wang Huazhong University of Science and Technology, Jian Zhao Huazhong University of Science and Technology, Shaosen Shi Ant Group, Ting Li Ant Group, Yan Cheng Ant Group, Lizhong Bian Ant Group, Kan Yu Ant Group, Yanjie Zhao Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology
10:50 20m Talk		InDe-LLM: Defending Against Jailbreak Attacks in LLM-Powered Systems via Intention Disentangling FSE Research Papers YujueWang Tsinghua University, Quan Zhang East China Normal University, Chijin Zhou East China Normal University, Gwihwan Go Tsinghua University, Dalong Shi AVIC International Digital Network Technology Co., Ltd., Yu Jiang Tsinghua University
11:10 20m Talk		Characterizing Trust Boundary Vulnerabilities in TEE Container Systems: An Empirical Study FSE Research Papers Weijie Liu Nankai University, Hongbo Chen Indiana University Bloomington, Shuo Huai Nankai University, Zhen Xu Nanyang Technological University, Wenhao Wang Institute of Information Engineering, CAS, XiaoFeng Wang Nanyang Technological University, Danfeng Zhang Duke University, Zhi Li Huazhong University of Science and Technology, Haixu Tang Indiana University Bloomington, Zheli Liu Nankai University DOI Pre-print
11:30 20m Talk		GadgetHunter: Region-Based Neuro-Symbolic Detection of Java Deserialization Vulnerabilities FSE Research Papers Kaixuan Li Nanyang Technological University, Jian Zhang Beihang University, Chong Wang Nanyang Technological University, Sen Chen Nankai University, Zong Cao Imperial Global Singapore, Min Zhang East China Normal University, Yang Liu Nanyang Technological University Pre-print
11:50 20m Talk		ReGA: Model-based Safeguard for LLMs via Representation-Guided Abstraction FSE Research Papers Zeming Wei Peking University, Chengcan Wu Peking University, Meng Sun Peking University Pre-print
12:10 20m Talk		Two-Level Adaptation for Budget-Constrained Continuous Dynamic Dependence Analysis FSE Research Papers Xiaoqin Fu Washington State University, Haipeng Cai University at Buffalo, SUNY Link to publication Pre-print

14:00 - 15:30	Performance and energyFSE Tool Demonstrations / FSE Research Papers / FSE Ideas, Visions and Reflections / FSE Journal-First Paper at MB 3.435 Chair(s): Gias Uddin York University, Canada

14:00 20m Talk		Impact of extensions on browser performance: An empirical study on google chrome FSE Journal-First Paper Bihui Jin University of Waterloo, Heng Li Polytechnique Montréal, Ying Zou Queen's University, Kingston, Ontario DOI Pre-print
14:20 20m Talk		Evaluating Risk and Confidence in Performance Bounds of Configuration Sampling Strategies FSE Research Papers Kallistos Weis Saarland University, Martina Maggio Saarland University, Germany / Lund University, Sweden, Norbert Siegmund Leipzig University, Sven Apel Saarland University Pre-print
14:40 20m Talk		Unleashing HPC Application Performance through Software Deployment: A Joint Model of Software Parallelism and Co-location FSE Research Papers Yuxin Ren Huawei Technologies, li zhou Huawei Technologies, Chumin Sun Huawei Technologies, Rui Fan Huawei Technologies, Jie Sun Huawei Technologies, Ning Jia Huawei Technologies, Xinwei Hu Huawei Technologies
15:00 10m Talk		Rethinking Performance Debugging: From Optimization to Collaborative Reasoning FSE Ideas, Visions and Reflections Mahsa Panahandeh Postdoctoral Fellow, School of Electrical Engineering and Computer Science, University of Ottawa, Naser Ezzati-Jivan Brock University, Abdelwahab Hamou-Lhadj Concordia University, Montreal, Canada
15:10 10m Talk		Energy Flow Graph: Modeling Software Energy Consumption FSE Ideas, Visions and Reflections Saurabhsingh Rajput Dalhousie University, Tushar Sharma Dalhousie University
15:20 10m Talk		CodeGreen: Towards Improving Precision and Portability in Software Energy Measurement FSE Tool Demonstrations Saurabhsingh Rajput Dalhousie University, Tushar Sharma Dalhousie University

16:00 - 17:00	CompilerFSE Ideas, Visions and Reflections / FSE Research Papers / FSE Tool Demonstrations at MB 3.435 Chair(s): Julia Lawall Inria

16:00 20m Talk		Cost-Effective Testing of MPC Compilers FSE Research Papers Sebastian Watzinger TU Wien, Valentin Wüstholz ConsenSys, Deepak Garg MPI-SWS, Maria Christakis TU Wien Pre-print
16:20 10m Talk		Compilomorphic Fuzzing: Turning a Compiler Against Itself FSE Ideas, Visions and Reflections Vasileios Klimis Queen Mary University of London
16:30 10m Talk		PYURIFY: Purifying Python Tests for Precise Fault Localization FSE Tool Demonstrations Marius Smytzek CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security DOI Pre-print
16:40 20m Talk		Detecting Bugs in Rust Compiler Fix Suggestions via Constraint-Violation-Guided Mutation FSE Research Papers Zixi Liu Nanjing University, Yang Feng Nanjing University, Jialiang Jiang Nanjing University, Baowen Xu Nanjing University

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

10:30 - 12:30	Software SecurityFSE Industry Papers / FSE Tool Demonstrations / FSE Ideas, Visions and Reflections / FSE Research Papers at MB 3.435 Chair(s): Kevin Leach Vanderbilt University

10:30 10m Talk		FISTS: A Field-based Security Testing Tool for Updates in Software-Defined Networks FSE Tool Demonstrations Jahanzaib MALIK University of Luxembourg, Fabrizio Pastore University of Luxembourg DOI Pre-print Media Attached File Attached
10:40 20m Talk		Enabling Security Champions With Breakout Action Groups (BAGs) – A Longitudinal Case Study FSE Industry Papers Jens Christian Opdenbusch Ruhr University Bochum, Sangavi Shanthakumar Ruhr University Bochum, Martina Angela Sasse Ruhr University Bochum, Marco Gutfleisch LMU Munich
11:00 20m Talk		An Empirical Evaluation of Generative AI in Security Requirements Engineering and Threat Modeling FSE Industry Papers Francis Martins UNB, Elaine Venson University of Brasilia
11:20 20m Talk		Uncovering Similar but Different Packages in PyPI and Potential Security Threats FSE Research Papers Sunha Park Korea University, Soojin Han Dongduk Women's University, Seunghoon Woo Korea University Pre-print
11:40 20m Talk		BackportBench: A Multilingual Benchmark for Automated Patch Backporting FSE Research Papers Zhiqing Zhong The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen), Jiaming Huang The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen), Pinjia He Chinese University of Hong Kong, Shenzhen Pre-print
12:00 10m Talk		BackportCheck: An Open-Source Tool to Support Backport Decisions in Large Software Ecosystems FSE Tool Demonstrations Salma Sghaier ENSI, Mannouba University, Mohamed Anas Daoud ENSI, Mannouba University, Marouene Chaieb National School of Computer Science, Moataz Chouchen Concordia University, Mohammad Hamdaqa Polytechnique Montreal, Mohamed Wiem Mkaouer University of Michigan-Flint
12:10 10m Short-paper		Towards Predicting Multi-Vulnerability Attack Chains in Software Supply Chains from Software Bill of Materials Graphs FSE Ideas, Visions and Reflections Laura Baird University of Colorado Colorado Springs (UCCS), Armin Moin Purdue University DOI

14:00 - 15:30	Verification 2FSE Tool Demonstrations / FSE Ideas, Visions and Reflections / FSE Research Papers at MB 3.435 Chair(s): Shiva Nejati University of Ottawa

14:00 20m Talk		Agentic Verification of Software Systems FSE Research Papers Haoxin Tu National University of Singapore, Huan Zhao National University of Singapore, Yahui Song Standard Chartered Bank, Mehtab Zafar National University of Singapore, Ruijie Meng CISPA Helmholtz Center for Information Security, Abhik Roychoudhury National University of Singapore Pre-print
14:20 20m Talk		DiverFPS: Generating Diverse Solutions for Floating-Point SMT Formulas FSE Research Papers Shuangyu Lyu Beihang University, Chuan Luo Beihang University, Ruizhi Shi Beihang University, Zhuo Su Beihang University, Chunming Hu Beihang University
14:40 10m Talk		The Watermark Paradox: How Provenance Verification Paves the Road to Camouflaged Backdoors FSE Ideas, Visions and Reflections Haoyi Zhang Xi’an Jiaotong-Liverpool University, Huaijin Ran Xi’an Jiaotong-Liverpool University, Kisub Kim DGIST, Xunzhu Tang University of Luxembourg DOI
14:50 10m Talk		HarnessForge: Automated Extraction of Verification Tasks from Industry-Scale Software Projects FSE Tool Demonstrations Dirk Beyer LMU Munich, Po-Chun Chien LMU Munich, Bo-Yuan Huang Intel, USA, Nian-Ze Lee National Taiwan University, Taiwan, Thomas Lemberger LMU Munich Pre-print Media Attached
15:00 10m Talk		PyMOP: A Runtime Verification Tool for Python FSE Tool Demonstrations Zhuohang Shen Cornell University, Mohammed S. Yaseen Independent Researcher, Kevin Guan Cornell University, Denini Silva Federal University of Pernambuco, Marcelo d'Amorim North Carolina State University, Owolabi Legunsen Cornell University
15:10 20m Talk		Property Refinement in Linear Temporal Logic: Formal Semantics and Algorithms for Software Verification FSE Research Papers Luca Brodo Hochschule Hamm-Lippstadt, Giuseppe Scalora Hamm-Lippstadt University of Applied Sciences, Stefan Henkler Hochschule Hamm-Lippstadt File Attached

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
MB 3.435	ACM SecDev Research Papers Opening and Keynote																								ACM SecDev Research Papers Paper Session: Program Analysis, Design, and Evaluation																																				ACM SecDev Research Papers Panel																								ACM SecDev Research Papers Paper Session: Software Security and Vulnerability Analysis

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
MB 3.435	ACM SecDev Research Papers Opening and Keynote																								ACM SecDev Research Papers Paper Session: Security Analysis and Design																																				ACM SecDev Research Papers Award Session and Paper Session: Security Analysis and Design																								ACM SecDev Research Papers Closing Remarks and Business Meeting

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
MB 3.435	FSE Research Papers + FSE Ideas, Visions and Reflections + FSE Industry Papers Fairness, Green and Sustainability																																				FSE Industry Papers + FSE Research Papers + FSE Journal-First Paper + FSE Tool Demonstrations Test generation 1																								FSE Research Papers Code similarity and search

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
MB 3.435							FSE Research Papers + FSE Industry Papers Security 2																																										FSE Tool Demonstrations + FSE Research Papers + FSE Ideas, Visions and Reflections + FSE Journal-First Paper Performance and energy																								FSE Ideas, Visions and Reflections + FSE Research Papers + FSE Tool Demonstrations Compiler

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
MB 3.435							FSE Industry Papers + FSE Tool Demonstrations + FSE Ideas, Visions and Reflections + FSE Research Papers Software Security																																										FSE Tool Demonstrations + FSE Ideas, Visions and Reflections + FSE Research Papers Verification 2

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


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
MB 3.435	FSE Research Papers Carbon-Taxed Transformers: A Green Compression Pipeline for Overgrown L ... 11:00 - 11:20				FSE Ideas, Visions and Reflections Advancing Evidence-Based Social Sustainability in Software Engineering: ... 11:20 - 11:30		FSE Industry Papers Practical Feasibility of Sustainable Software Engineering Tools and Tec ... 11:30 - 11:50				FSE Industry Papers Adopting Concepts for Sustainable Improvement of the Developer Experien ... 11:50 - 12:10				FSE Research Papers Fairness Testing of Large Language Models in Role-Playing 12:10 - 12:30																						FSE Tool Demonstrations TestAgent: A Multi-Agent LLM Framework for Repository-Level Unit Test G ... 14:00 - 14:10		FSE Industry Papers Just-in-Time Catching Test Generation at Meta 14:10 - 14:30				FSE Industry Papers Understanding and Mitigating Hallucinations in Industrial LLM-based Uni ... 14:30 - 14:50				FSE Journal-First Paper Directed Grammar-Based Test Generation 14:50 - 15:10				FSE Research Papers iCoRe: An Iterative Correlation-Aware Retriever for Bug Reproduction Te ... 15:10 - 15:30										FSE Research Papers Understanding Code Similarity across Instruction Set Architectures: An ... 16:00 - 16:20				FSE Research Papers SBridge: Identifying Source-to-Binary Function Similarity via Cross-Dom ... 16:20 - 16:40				FSE Research Papers Understanding Binary Code Similarity for Real-World Vulnerability Detec ... 16:40 - 17:00				FSE Research Papers Project-Level C-to-Rust Translation via Pointer Knowledge Graphs 17:00 - 17:20

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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
MB 3.435							FSE Industry Papers YASA: Scalable Multi-Language Taint Analysis on the Unified AST at Ant ... 10:30 - 10:50				FSE Research Papers InDe-LLM: Defending Against Jailbreak Attacks in LLM-Powered Systems vi ... 10:50 - 11:10				FSE Research Papers Characterizing Trust Boundary Vulnerabilities in TEE Container Systems: ... 11:10 - 11:30				FSE Research Papers GadgetHunter: Region-Based Neuro-Symbolic Detection of Java Deserializa ... 11:30 - 11:50				FSE Research Papers ReGA: Model-based Safeguard for LLMs via Representation-Guided Abstraction 11:50 - 12:10				FSE Research Papers Two-Level Adaptation for Budget-Constrained Continuous Dynamic Dependen ... 12:10 - 12:30																						FSE Journal-First Paper Impact of extensions on browser performance: An empirical study on goog ... 14:00 - 14:20				FSE Research Papers Evaluating Risk and Confidence in Performance Bounds of Configuration S ... 14:20 - 14:40				FSE Research Papers Unleashing HPC Application Performance through Software Deployment: A J ... 14:40 - 15:00				FSE Ideas, Visions and Reflections Rethinking Performance Debugging: From Optimization to Collaborative Re ... 15:00 - 15:10		FSE Ideas, Visions and Reflections Energy Flow Graph: Modeling Software Energy Consumption 15:10 - 15:20		FSE Tool Demonstrations CodeGreen: Towards Improving Precision and Portability in Software Ener ... 15:20 - 15:30								FSE Research Papers Cost-Effective Testing of MPC Compilers 16:00 - 16:20				FSE Ideas, Visions and Reflections Compilomorphic Fuzzing: Turning a Compiler Against Itself 16:20 - 16:30		FSE Tool Demonstrations PYURIFY: Purifying Python Tests for Precise Fault Localization 16:30 - 16:40		FSE Research Papers Detecting Bugs in Rust Compiler Fix Suggestions via Constraint-Violatio ... 16:40 - 17:00

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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
MB 3.435							FSE Tool Demonstrations FISTS: A Field-based Security Testing Tool for Updates in Software-Defi ... 10:30 - 10:40		FSE Industry Papers Enabling Security Champions With Breakout Action Groups (BAGs) – A Long ... 10:40 - 11:00				FSE Industry Papers An Empirical Evaluation of Generative AI in Security Requirements Engin ... 11:00 - 11:20				FSE Research Papers Uncovering Similar but Different Packages in PyPI and Potential Securit ... 11:20 - 11:40				FSE Research Papers BackportBench: A Multilingual Benchmark for Automated Patch Backporting 11:40 - 12:00				FSE Tool Demonstrations BackportCheck: An Open-Source Tool to Support Backport Decisions in Lar ... 12:00 - 12:10		FSE Ideas, Visions and Reflections Towards Predicting Multi-Vulnerability Attack Chains in Software Supply ... 12:10 - 12:20																						FSE Research Papers Agentic Verification of Software Systems 14:00 - 14:20				FSE Research Papers DiverFPS: Generating Diverse Solutions for Floating-Point SMT Formulas 14:20 - 14:40				FSE Ideas, Visions and Reflections The Watermark Paradox: How Provenance Verification Paves the Road to Ca ... 14:40 - 14:50		FSE Tool Demonstrations HarnessForge: Automated Extraction of Verification Tasks from Industry- ... 14:50 - 15:00		FSE Tool Demonstrations PyMOP: A Runtime Verification Tool for Python 15:00 - 15:10		FSE Research Papers Property Refinement in Linear Temporal Logic: Formal Semantics and Algo ... 15:10 - 15:30

Room information: MB 3.435

Program Display Configuration

Sun 5 JulDisplayed time zone: Eastern Time (US & Canada) change

Mon 6 JulDisplayed time zone: Eastern Time (US & Canada) change

Tue 7 JulDisplayed time zone: Eastern Time (US & Canada) change

Wed 8 JulDisplayed time zone: Eastern Time (US & Canada) change

Thu 9 JulDisplayed time zone: Eastern Time (US & Canada) change

Sun 5 JulDisplayed time zone: Eastern Time (US & Canada) change

ACM SecDev Research Papers

ACM SecDev Research Papers

ACM SecDev Research Papers

ACM SecDev Research Papers

Mon 6 JulDisplayed time zone: Eastern Time (US & Canada) change

ACM SecDev Research Papers

ACM SecDev Research Papers

ACM SecDev Research Papers

ACM SecDev Research Papers

Tue 7 JulDisplayed time zone: Eastern Time (US & Canada) change

FSE Research Papers + FSE Ideas, Visions and Reflections + FSE Industry Papers

FSE Industry Papers + FSE Research Papers + FSE Journal-First Paper + FSE Tool Demonstrations

FSE Research Papers

Wed 8 JulDisplayed time zone: Eastern Time (US & Canada) change

FSE Research Papers + FSE Industry Papers

FSE Tool Demonstrations + FSE Research Papers + FSE Ideas, Visions and Reflections + FSE Journal-First Paper

FSE Ideas, Visions and Reflections + FSE Research Papers + FSE Tool Demonstrations

Thu 9 JulDisplayed time zone: Eastern Time (US & Canada) change

FSE Industry Papers + FSE Tool Demonstrations + FSE Ideas, Visions and Reflections + FSE Research Papers

FSE Tool Demonstrations + FSE Ideas, Visions and Reflections + FSE Research Papers

Tue 7 JulDisplayed time zone: Eastern Time (US & Canada) change

Wed 8 JulDisplayed time zone: Eastern Time (US & Canada) change

Thu 9 JulDisplayed time zone: Eastern Time (US & Canada) change

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

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

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

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

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

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

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

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

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

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

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

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

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