SPLASH Workshop/Symposium Events 2026
2026 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Events 2026)
Powered by
Conference Publishing Consulting
2nd Workshop on Explainable and Reliable Software Systems (EXPRESS 2026), October 4–9, 2026, Oakland, CA, USA

EXPRESS 2026 – Proceedings

 Contents - Abstracts - Authors

2nd Workshop on Explainable and Reliable Software Systems (EXPRESS 2026)

Frontmatter

Title Page
Article: splashws26expressforeword-fm000-p (type: Frontmatter) doi:
Welcome from the Chairs
Article: splashws26expressforeword-fm001-p (type: Frontmatter) doi:
EXPRESS 2026 Organization
Article: splashws26expressforeword-fm002-p (type: Frontmatter) doi:

Papers

Passes Alone, Fails Together: Benchmarking Semantic Coordination in Parallel LLM-Agent Development
Haocheng Xia, Eugene Wu, and Yongjoo Park
(University of Illinois Urbana-Champaign, USA; Columbia University, USA)
Publisher's Version Article: splashws26expressmain-p4-p (type: Short Paper (4 pages, excluding references and appendices)) doi:10.1145/3842650.3843171
CoVerif: An Automated Contract Verifier for Java using Symbolic Execution
Aryan Kumar, Alex Toppo, and Sandip Ghosal
(Birla Institute of Technology, Mesra, India)
Publisher's Version Article: splashws26expressmain-p18-p (type: Short Paper (4 pages, excluding references and appendices)) doi:10.1145/3842650.3843173
Vulnerability Trends across Open-Source AI-Attributed Code
Clarisa Caballero-Ignacio, Lucas Stephens, Josiah Sage, Manish Motwani, and Zane Ma
(Oregon State University, USA)
Publisher's Version Article: splashws26expressmain-p25-p (type: Full Paper (8 pages, excluding references and appendices)) doi:10.1145/3842650.3843174
Towards Budget-Aware Early Candidate Selection for Vulnerability Analysis
Xinye Zhao and Joanna C. S. Santos
(University of Notre Dame, USA)
Publisher's Version Article: splashws26expressmain-p67-p (type: Short Paper (4 pages, excluding references and appendices)) doi:10.1145/3842650.3843175
Decomposing LLM-Based Testing with Agent Skills: A Case Study on Numerical Inconsistencies
Yutong Wang and Cindy Rubio-González
(University of California at Davis, USA)
Publisher's Version Article: splashws26expressmain-p75-p (type: Short Paper (4 pages, excluding references and appendices)) doi:10.1145/3842650.3843176
How Faithfully Do LLMs Implement Mutated Specifications? An Empirical Study of Grammar-Guided Protocol Testing
Polina Kozyreva and Endadul Hoque
(Syracuse University, USA)
Publisher's Version Article: splashws26expressmain-p91-p (type: Full Paper (8 pages, excluding references and appendices)) doi:10.1145/3842650.3843177

proc time: 0.02