W. Kirkman-Moller. "Symbiotic Compilation: Bridging the Semantic Gap in LLVM via Explicit Programmer Contracts." arXiv preprint arXiv:XXXX.XXXXX (2026).
Academic Profile
Independent Systems Researcher
Compilers & Formal Methods
I am a systems researcher and undergraduate computer science student at [Your University] with a 94% cumulative average (First-Class Honours equivalent).
My research focuses on bridging the semantic gap in modern compilation through explicit programmer contracts.
I am the author of the X-Lang compiler, a formally verified symbiotic framework built on LLVM and Lean 4, designed to eliminate negative synergistic interference in high-performance execution.
01. Research Interests
Current Focus Areas
Formal Verification of Compilers
Applying interactive theorem provers (Lean 4, Coq) and translation validation (Alive2) to ensure the soundness of aggressive IR transformations.
Synergistic Compiler Optimization
Developing target-aware cost models to prevent non-orthogonal performance hazards (e.g., lock contention, branch misprediction) in parallel code generation.
Data-Oriented Systems Architecture
Automating memory layout transformations (AoS to SoA) to maximize cache locality and SIMD auto-vectorization.
02. Publications & Preprints
Selected Manuscript
03. Selected Systems Architecture
Curated Low-Level Portfolio
The X-Lang Symbiotic Compiler
A custom, AOT-compiled systems language and LLVM-based compiler. Features a synergistic cost model (x-advisor) and 10 semantic passes verified via a hybrid Lean 4 / Alive2 methodology, achieving a 1.70x geometric mean speedup over Clang -O3.
Hardware Emulation & Architecture Suite
Architected 9 bit-perfect hardware emulators (including Nintendo 64, PlayStation 1, and Game Boy Advance). Requires cycle-accurate PPU timing, DMA management, and deep proficiency in MIPS, ARM7TDMI, and MOS 6502 instruction sets.
Custom Operating System Kernel
Developed a from-scratch OS kernel demonstrating proficiency in ring-0 execution, virtual memory paging, hardware abstraction, and process scheduling.
04. Education
Academic Background
BSc Computer Science, [Your University] (Expected 202X)
Cumulative Average: 94%
Key Coursework
Advanced Algorithms - Computer Architecture - Theory of Computation - Operating Systems