Sat 12 December 2026
Novosibirsk, Russia (Online)
The 6th International Conference on Code Quality (ICCQ) is a one-day computer science event focused on static and dynamic analysis, program verification, programming languages design, software bug detection, and software maintenance.
ICCQ is organized in cooperation with A.P. Ershov Institute of Informatics Systems and IEEE Siberian Section.
Keynote
Patrick Cousot
Courant Institute, NY University
Prof. Cousot holds the Silver Professorship at the Courant Institute of Mathematical Sciences,
having previously held a chair at École Normale Supérieure.
Together with Radhia Cousot,
he originated abstract interpretation,
a foundational theory of sound static program analysis.
He received
the ACM SIGPLAN Programming Languages Achievement Award in 2013,
the IEEE John von Neumann Medal in 2018,
and is an ACM Fellow.
He authored Principles of Abstract Interpretation (MIT Press, 2021)
and publishes regularly in POPL and PLDI.
A More Abstract Abstract Interpreter
Modern static analyzers are made of a structural (sometimes called compositional) abstract interpreter (which proceeds by induction on the program abstract syntax) and a abstract domain (defining program properties and transformers for basic commands). The structure facilitates soundness proofs, in that the program semantics is an instance of the abstract interpreter, it can be proved once for all than an abstraction of the abstract interpreter is another instance of this abstract interpreter, so that the proofs of soundness of a static analysis reduce to that of the abstract domain with respect to the domain of the semantics. In “The Best of Abstract Interpretations” (POPL 2024), Giacobazzi and Ranzato proved that this structuration of the static analysis cannot deliver the best (most precise) possible program analysis (even when the abstract domain is the best abstraction of the semantic domain, i.e. most precise sound abstraction of the semantic domain defined by a given abstraction function). We show that the problem simply disappears when we consider the correct structural abstract interpreter, in particular a more abstract abstract interpreter.
Program Committee
Vladimir Ivanov (Chair)
Innopolis University
And in alphabetical order:
Anastasios Antoniadis
University of Athens
Alexandre Bergel
University of Chile
Eduardo Fernandes
University of Southern Denmark
Bjoern Franke
University of Edinburgh
Rajiv Gupta
University of California, Riverside
Dongjie He
Chongqing University
Doug Lea
State Univ. of New York at Oswego
ACM Fellow
David H. Lorenz
Open University of Israel
Umang Mathur
National University of Singapore
Benjamin C. Pierce
University of Pennsylvania
ACM Fellow
Taro Sekiyama
National Institute of Informatics
Abhishek Kr Singh
IIIT Hyderabad
Yudai Tanabe
Tokyo Institute of Technology
Philip Wadler
University of Edinburgh
ACM Fellow
Enea Zaffanella
University of Parma
Vadim Zaytsev
University of Twente
Accepted Papers
We received 14 submissions. No papers were desk rejected. 4 papers were accepted. Each accepted paper received at least three reviews from PC members.
Does AI-Assisted Development Accelerate Architectural Drift? A Large-Scale Study of C++ Repositories Sergey Blekher
OSS-SOM: Open Source Software Survivability Ontology Model Olga Ataeva, Andrey Khalov, and Sergey Petrenko
Fine-Tuning Small Language Models for Real-World Java Vulnerability Detection Szolnoki Norbert Sándor and Gábor Antal
Measured Acceptance and Rollback as a Quality Gate for Agent-Generated SQL Maksim Radionov, Pavel Stepanov, Nikita Moskovchuk, Daria Lavitskaya, Andrey Balles, and Alexandra Shumailova
Important Dates
Paper/abstract submission:
1 27 Aug 2026
Author notification:
1 Nov 2026
Camera-ready submissions:
25 Nov 2026
Conference:
12 Dec 2026
Partners
A.P. Ershov Institute of Informatics Systems
Interested in joining and helping us make ICCQ even better? Click here.
Organizers
These people are making ICCQ 2026:
Yegor
Bugayenko (Chair)
If you are interested in helping us and joining the team of organizers, please email team@iccq.ru.
Registration
The conference will be streamed live on our YouTube channel and you will be able to watch it without registration. However, registration is mandatory if you want to attend the event and enjoy a tasty lunch with some of our speakers.
Registration is free of charge.