• Kronos: Soviet Processor Family for High-Level Languages (2006) [pdf] https://inria.hal.science/hal-01568396v1/document 14 comments 23/10/2024
• Bit-Stealing Made Legal https://inria.hal.science/hal-04165615/document 2 comments 26/7/2023

• A Modern Compiler for the French Tax Code https://inria.hal.science/hal-03002266 10 comments 29/1/2025 compilers
• Bit-Stealing Made Legal: Compilation for Custom Memory Representations Of Algebraic Data Types https://inria.hal.science/hal-04165615 9 comments 23/10/2023 compilers , compsci , plt

• Bit-Stealing Made Legal: Compilation for Custom Memory Representations Of Algebraic Data Types https://inria.hal.science/hal-04165615 4 comments 26/7/2023 programminglanguages