2026-08-13 –, Room 5
JuliaCheck.jl is an extensible, rule-based static code analyzer for Julia, developed by TIOBE (in collaboration with ASML). Built on JuliaSyntax.jl, it enforces configurable coding standards (from style and structure to security) and integrates with TIOBE's TiCS quality framework, bringing enterprise-grade code quality measurement to Julia for the first time.
As Julia matures and finds adoption in safety-critical and industrial environments, the need for rigorous, automated code quality tooling grows accordingly. While the ecosystem offers excellent tools like JET.jl and Aqua.jl, there remains a clear gap: configurable, rule-driven static analysis that integrates with enterprise software quality frameworks.
A natural candidate for this role is semgrep, currently recommended by JuliaHub for Julia static analysis. However, semgrep relies on its own Julia parser, which is not always in sync with the latest JuliaSyntax developments, meaning it can silently fail or produce incorrect results on modern Julia code. JuliaCheck.jl takes a different approach: it is built entirely in Julia and uses JuliaSyntax.jl directly for AST traversal, ensuring it stays current with the language itself and benefits from the same parser that underpins Julia's own tooling ecosystem.
JuliaCheck.jl provides a dynamic rule engine where each check is a self-contained, selectively enableable unit. Beyond detecting violations, it lets users filter results and generate comprehensive violation reports (consumable as highlighted terminal text, structured JSON, or plain text) making it a natural fit for CI/CD pipelines.
The rule set at the core of JuliaCheck is being developed jointly by TIOBE and ASML. On top of this, users can define and load their own custom rules to enforce project-specific standards.
What further distinguishes JuliaCheck is its integration with TIOBE's TiCS framework, one of the most widely adopted software quality platforms in enterprise environments. Julia projects can now be measured against ISO/IEC 25010-aligned quality metrics alongside C++, Java, and Python — enabling organizations with mixed-language codebases to maintain consistent quality standards across their entire portfolio.
The talk will cover the architecture, the ASML/TIOBE rule catalog, custom rule authoring, violation filtering and reporting, TiCS integration, a live demo on a real Julia codebase, showing a roadmap for moving it to the Julia OpenSource registry and the upcoming features (e.g., bring JET.jl results directly into the TiCS dashboard).
I am Evangelos Paradas from Thessaloniki, Greece. I am physicist, holding a PhD in Particle Physics. The trip into the algorithms' world, started during my PhD, as I was responsible for a few algorithms of the High Level trigger of the CMS experiment at CERN.
In this context, the algorithms were written in C++. After a few years I moved to the Netherlands, working at ASML as Algorithm Deployment architect.
Paul Jansen (1967) graduated from the University of Amsterdam in computing science and philosophy (both cum laude). At Philips Research he was a computer scientist in the field of compiler construction and domain-specific languages. After a brief stay at Atos Origin and QA Systems, he founded TIOBE Software in 2000. Paul Jansen is the driving force behind the definition of the TIOBE Quality Indicator (TQI) and the famous TIOBE index that is published every month.