The comp.compilers article index for May 2026

| Previous month | Next month | Month index|

Paper: LLM Translation of Compiler Intermediate Representation johnl@taugh.com (John R Levine) (2026-05-12)

Paper: Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code johnl@taugh.com (John R Levine) (2026-05-05)

| Previous month | Next month | Month index|

Return to the comp.compilers page.
Search the comp.compilers archives.