Skip to content
View IntegralPilot's full-sized avatar

Highlights

  • Pro

Block or report IntegralPilot

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
IntegralPilot/README.md

Hey there! I'm Michael (aka IntegralPilot)

I'm passionate about low-level systems, security research, and compiler design.

I focus on identifying vulnerabilities in platforms like iOS and macOS, building compiler tooling, and contributing to core open-source infrastructure. My work ranges from kernel-level development to cross-platform application design.

Security Research & Disclosures

I participate in vulnerability research and responsible disclosure. Below are some of my recent findings:

CVE IDComponentVulnerability DetailReferencesCVSS
CVE-2025-43361Apple Audio SubsystemKernel Memory Disclosure. Out-of-bounds read in a kernel extension accessible from sandboxed applications.Vendor (iOS)
CVE.org
7.8 (HIGH)
CVE-2025-43539AppleJPEG
JPEG XL (JXL)
Memory Corruption in AppleJPEG during JPEG XL parsing. Zero-click remote vector.Vendor (iOS)
CVE.org
8.8 (HIGH)
CVE-2025-43482Apple CoreAudio
coreaudiod
Denial of Service. Improper input validation in the system audio daemon. Co-credited with Jex Amro.Vendor (macOS)
CVE.org
5.5 (MEDIUM)

About Me

  • High school student (Year 11) based in Australia
  • Deep interest in systems programming, hardware design, and applied security
  • Exploring computational neuroscience and bioinformatics
  • Focused on building fast, safe, and deeply understood systems

Open Source Contributions

I actively contribute to upstream open-source projects, focusing on kernels, runtimes, and core web infrastructure.

Linux Kernel (Asahi Linux)

ComponentContribution SummaryLinks
Mac SMC power driversRefactored and upstreamed the macsmc-power driver, enabling battery telemetry, AC adapter monitoring, and charge control on Apple Silicon.v7 Patchset (shipped in v7.1)
Mac DockChannel HID driversCo-authored the apple-dockchannel mailbox driver and apple-hid transport driver to support built-in keyboards on M2 and M3 MacBooks.v1 Patchset (WIP)

OpenJDK

I contribute to the HotSpot C2 compiler to study optimisation techniques in managed runtimes.

My most impactful change was probably the 128-bit Multiplication optimisation (x86_64), which mproved performance of 128-bit multiplication operations by approximately 1.85x on x86 platforms.

The PR is here: OpenJDK PR #30174. Note: The PR is marked as "Closed" on GitHub due to OpenJDK's Skara bot workflow, but the change was accepted and integrated into mainline, after really useful feedback that I am super grateful for.

MediaWiki

ProjectContribution SummaryLinks
Nuke ExtensionImplemented min/max page size filtering in Special:Nuke with UI validation and non-fatal warning messages.Change 1116491
Nuke ExtensionEnabled non-administrators (e.g., patrollers) to list pages, introducing permission-aware UI and localizations.Change 1116493
AbuseFilterAdded support for suppressing filters containing PII, restricting access to oversighters.Change 1115319

Featured Personal Projects

Software

Here are some of my various hobby/experimenting projects on GitHub. They projects span operating systems, compiler internals, hardware, and computational science.

ProjectDescriptionKey Technologies
rustc_codegen_jvmCustom Rust compiler backend targeting JVM bytecode. Compiles Rust to runnable .jar files.
- Supports: Control flow, ADTs, generics, closures, traits, and dynamic dispatch.
- Tooling: Custom Python-based build/test system with Java interop.
Rust, Compilers, JVM
WasmOSExperimental x86_64 unikernel OS written in Rust, designed to run WebAssembly-based userspace apps.
- Features: Custom libc/libstd++, ABI design, and a virtual file system (VFS).
Rust, WASM, x86_64
GammaCPUA 32-bit, stack-based CPU in VHDL executing a subset of the WASM instruction set. Includes a custom ALU and integration testing suite. Developed with aellul27.VHDL, WASM, Hardware
DynamicSNNC++ simulator for learning in Spiking Neural Networks, modeling synergy in plasticity mechanisms. Features a modern C++17 design with a Python wrapper API.C++, Neuroscience, Python

Hardware

I also made a hardware project, CryoFlow, which was a FPGA to accelerate Cryo-EM data processing. Cryo-EM is important for researching diseases like Alzheimer's but currently bottlenecked by GPUs which waste excess energy and water for cooling, and are expensive to obtain nowadays with the LLM boom.

I implemented a custom FPGA pipeline using a mix of VHDL and HLS C++, and took some inspiration from Apple Unified Memory and Systolic Arrays in Google TPUs. I achieved an ~8.6x improvement in performance per Watt compared to the RTX 3080. The project involved a custom system architecture I designed, including a WebSerial (over USB-UART) dashboard to enable easy use and custom Rust-based firmware running on the Arm cores.

I presented it at ISEF 2026 and was very grateful to come 2nd in my category of Embedded Systems and recieved special awards from the International Council on Systems Engineering and Society for Science Alumni Association.

You can see my poster here.

Applications

I also design applications aimed at education, accessibility, and assistive healthcare.

App NameDescriptionTech StackLinks
MelodyRexA music practice companion for students and teachers. Built in 8th grade and currently utilized in educational programs.TypeScript, Vite, Firebase, SwiftWebsite | App Store
ClarityScreenConcept application and backend for clear, accessible rendering of Alzheimer’s genetic test results.Flutter, Dart, FirebaseWebsite
4SightAI-powered assistant for low-vision users. Describes environments, parses text/maps, and handles visual queries.Flutter, Dart, Azure, GeminiWebsite | App Store

Skills

Languages

  • Advanced: Rust, C++, Python, ARM Assembly (including ARM64e with PAC)
  • Proficient: VHDL, C, x86_64 Assembly, Java, Kotlin, TypeScript, Dart (Flutter)
  • Learning: Lean (for formal verification and mathematical proofs)

Tooling & Environments

  • Systems/Low-Level: QEMU, LLDB, LLVM, Vivado, GHDL
  • Security & Analysis: Ghidra, Frida, Jackalope, TinyInst

Get in Touch

  • Email: linux479 [at] duck [dot] com
  • Discord: dna_codon
  • Reddit: u/IntegralPilot
  • Twitter/X: @IntegralPilot
  • Bluesky: @integralpilot.bsky.social

Pinned Loading

  1. rustc_codegen_jvmrustc_codegen_jvmPublic

    Compile Rust to Java bytecode and runnable JARs.

    Rust 420 14

  2. DynamicSNNDynamicSNNPublic

    A high-performance C++ simulator for biologically-inspired Spiking Neural Networks (SNNs)

    C++ 1

  3. wasm_oswasm_osPublic

    Experimental x86_64 operating system designed to run userspace applications compiled to WebAssembly.

    Rust 44 5

  4. GammaCPUGammaCPUPublic

    VHDL-based CPU which supports running raw WASM instructions.

    VHDL 14 2

  5. GateslamGateslamPublic

    Easily discover the current VPNGate egress IP addresses. Intended for webhosts to manage abuse.

    Rust 1

  6. breadcrumbs-rsbreadcrumbs-rsPublic

    A beautiful, tiny traceback and logging library supporting #![no_std] rust.

    Rust 25