PROMISE 2026
Sun 5 Jul 2026 Montreal, Canada
co-located with FSE 2026

Authorship verification of source code seeks to determine whether two programs were written by the same programmer, a task with applications in software forensics, plagiarism detection, and cybersecurity. Most recent deep learning approaches rely on embedding similarity and fixed decision thresholds, producing binary outcomes without probabilistic interpretation and offering limited support for combining evidence across multiple code fragments. This extended abstract presents ongoing work on ProbCLAVE, a probabilistic, set-based framework for source code authorship verification. Rather than proposing a new embedding model, ProbCLAVE reframes verification as probabilistic inference by calibrating similarity scores into posterior probabilities, transforming them into log-likelihood ratios, and aggregating evidence across multiple code samples per author. Preliminary results on a controlled Python dataset indicate substantial improvements in probability calibration, robustness to prior shifts, and verification accuracy compared to threshold-based baselines. We discuss the current status of the framework, initial empirical findings, limitations, and planned extensions toward multilingual, adversarial, and open-world scenarios.

Sun 5 Jul

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

16:00 - 18:00
Session 4: Security, Trust, and Verification of LLM-Generated CodePROMISE 2026 at MB 3.430
Chair(s): Zhijie Wang Concordia University
16:00
15m
Talk
Model-Driven Automation of Cyber-Physical Systems via AADL and LLMs
PROMISE 2026
Abdul Wahab Ontario Tech University, Akramul Azim Ontario Tech University
16:15
15m
Talk
MAS-SRE: A Multi-Agent System for Security Requirements Engineering
PROMISE 2026
Savvas Mantzouranidis Blekinge Institute of Technology, Ricardo Britto Ericsson / Blekinge Institute of Technology
16:30
15m
Talk
Detecting Malicious Intents in Smart Contracts with Pre-trained Programming Language Models
PROMISE 2026
Youwei Huang Independent Researcher, Jianwen Li Carnegie Mellon University, Silicon Valley, Sen Fang North Carolina State University, Yao Li Macau University of Science and Technology, Peng Yang Institute of Intelligent Computing Technology, Suzhou, CAS, Bin Hu Institute of Computing Technology, Chinese Academy of Sciences
16:45
10m
Talk
Probabilistic Evidence Aggregation for Source Code Authorship Verification: An Ongoing Set-Based Approach
PROMISE 2026
Francisco Ortin University of Oviedo, David Álvarez-Fidalgo University of Oviedo
16:55
5m
Day closing
Closing
PROMISE 2026
Lili Wei McGill University, Xiaoyu Sun Australian National University, Australia, Csaba Nagy PONTUM Software GmbH