Sat 23 Apr 2022
Innopolis, Kazan, Russia
The Second International Conference on Code Quality (ICCQ) is a one-day computer science event focused on static analysis, program verification, bug detection, and software maintenance.
This year there is also a Student Research Competition with monetary rewards.
Last year we were hosted by HSE in Moscow: ICCQ 2021.
The general research interest of Dr. Zhang centers around the use of both static and dynamic programming analysis techniques for making complex software systems more secure and reliable. Dr. Zhang is an Associate Professor and director of the Cybersecurity Lab at HKUST. His research received an ICSE and a PLDI distinguished paper award, as well as the ACM SIGSOFT Doctoral Dissertation Award, and IBM PhD fellowships. He co-founded and served as the chairman of Sourcebrella, a static analysis tool vendor.
Director of Huawei MRC
Rector of Innopolis University
Giancarlo Succi (Chair)
And in alphabetical order:
University of Alberta
Politecnico di Milano
Carl Friedrich Bolz-Tereick
William J. Bowman
University of British Columbia
Laura M. Castro
Universidade da Coruña
University of Tokyo
University of Passau
University of Minnesota
University of Potsdam
David H. Lorenz
Open University of Israel
Tokyo Institute of Technology
Hausi A. Müller
University of Victoria
University of Toronto
University of Technology Sydney
Eindhoven University of Technology
North Carolina State University
University of Florida
If you want to join, please email us.
18 Dec 2021 (anywhere on Earth)
1 Mar 2022
25 Mar 2022
23 Apr 2022
Keynotes and Invited Talks
Enterprise-scale static analysis: A Pinpoint experience Charles Zhang
Despite years of research and practice, modern static analysis techniques still cannot detect oldest and extremely well understood software bugs such as the Heartbleed, one of the most “spectacular” security flaws of the recent decade. A remedy, as what we have attempted through the successful commercialization of the Pinpoint platform (PLDI 18), is to make static program analysis aware of the basic characteristics of the modern enterprise-scale software system. The talk focuses on discussing these characteristics and how Pinpoint addresses them pragmatically as well as its future directions. Pinpoint is a LLVM-based cross-language static analysis platform and deployed in major Chinese tech companies such as Tencent, Baidu, Huawei, and Alibaba.
Call for Papers
Papers will be published in the Proceedings of ICCQ.
Publishing fee is
$699 free, thanks to our sponsors.
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.
A PDF version of the CFP can be found here.
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).
Compile it with this header:
Submitted papers must be at least 4 and at most 16 pages long, including bibliographical references and appendices.
Submissions that do not meet the above requirements will be rejected without review.
Click here to submit via EasyChair.
Higher School of Economics
Yandex, a Russian intelligent technology company
Huawei, a global provider of ICT infrastructure and smart devices
B.TECH, a Center of Excellence for Electronic Markets technology of BNP Paribas CIB
Interested in joining and helping us make ICCQ even better? Click here.
Student Research Competition
The competition provides visibility and exposes up-and-coming researchers to the computer science community. On top of that, the competition gives students an opportunity to receive a monetary support from a leading tech company, motivating them to continue the study.
This year the competition is sponsored by Huawei RRI.
You must be BSc, MSc, or PhD student in any university in Russia:
You pick a research question from the list below;
You research it and publish your results in any conference or a journal sponsored by ACM or IEEE;
You email us a link to your published paper before the 15th of March, 2022;
We let our judges appraise it;
We announce winners on the day of the conference;
Best papers get monetary rewards from our prize fund, which is $30,000 this year.
Here is a non-exhaustive list of research questions we expect you to try finding answers for:
Can computers write code better than humans?
How source code can be refactored automatically (maybe using Machine Learning)?
How existing static analysis methods and tools can be improved?
How the process of coding via IDE can be optimized to increase the quality of code?
Can new programming techniques decrease the number of bugs humans make in the code?
Is it possible to objectively measure software quality?
Can some coding practices be formally proved to be harmful?
These people are the judges:
- Giancarlo Succi, Innopolis University
We are still building the committee, the list will be extended soon.
If any questions about the SRC, just email us.
These people are making ICCQ:
If you are interested in helping us and joining the team of organizers, please email email@example.com.
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 our speakers.
$199 free, thanks to our sponsors.