Sat 12 December 2026
Novosibirsk, Russia
It’s a hybrid event, all speakers are welcome to either attend it in person or present their work remotely over Zoom.
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.
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
Important Dates
Paper/abstract submission:
1 Aug 2026
Author notification:
1 Nov 2026
Camera-ready submissions:
25 Nov 2026
Conference:
12 Dec 2026
Call for Papers
Publishing is free of charge.
We consider the following criteria when evaluating papers:
- Novelty: The paper presents new ideas and results and places them appropriately within the context established by previous research.
- Importance: The paper contributes to the advancement of knowledge in the field. We also welcome papers that diverge from the dominant trajectory of the field.
- Evidence: The paper presents sufficient evidence supporting its claims, such as proofs, implemented systems, experimental results, statistical analyses, case studies, and anecdotes.
- Clarity: The paper presents its contributions, methodology and results clearly.
Papers will be reviewed by at least three PC members using a double-blind review process.
This is our PDF version of the CfP.
Instructions for Authors
Submissions must be in PDF, printable in black and white on US Letter sized paper. All submissions must adhere to the acmart sigplan template (two columns, 11pt font size).
In LaTeX, compile it with this header:
\documentclass[sigplan,11pt,nonacm=true]{acmart}
\settopmatter{printfolios=false,printccs=false,printacmref=false}
Submitted papers must be at least 6 and at most 20 pages long, including bibliographical references and appendices.
All digital artifacts, like datasets, source code, and CSV spreadsheets with data, must be deployed to Zenodo.
Submissions that do not meet the above requirements will be rejected without review.
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.