Working(*) - could use more explanation in places. (*) We don't check generalized types for escaped type variables! See algorithm-j for a more complete example of type inference. This compiler is a ...

Minimal example of an issue with the UPER encoding of ASN.1 extensible bitstrings in the open source asn1c compiler. A real world example of this issue was seen in the 2024 edition of the J2735 ...

This paper reports on the development and formal verification (proof of semantic preservation) of CompCert, a compiler from Clight (a large subset of the C programming language) to PowerPC assembly ...

Security devs forced to hide Boolean logic from overeager optimizer FOSDEM 2026 The creators of security software have ...

We present a perspective on the past contributions, current status, and future directions of compiler technology and make four main recommendations in support of a vibrant compiler field in the years ...

While there have been considerable advances in compiler technology targeting CPU platforms, many of the optimizations performed automatically are limited to single-threaded execution, thus missing out ...

Java compilers take center stage in this second article in the JVM performance optimization series. Eva Andreasson introduces the different breeds of compiler and compares performance results from ...

A statement written in the source code of a program that lets the programmer instruct the compiler to perform a specific operation within the compilation phase. For example, the #include directive ...