Back to IDE

Satvik Upadhyaya

Compiler Engineering Enthusiast

Computer Science student passionate about compiler internals, programming languages, and systems programming. GSoC 2026 contributor at MetaCall, working on Rust compiler internals and HIR-based extraction.

RustC++CTypeScriptHaskell

Experience

Google Summer of Code 2026

MetaCall

2026

Migrated Rust extraction logic toward modern compiler internals by implementing a HIR-based function extraction system for the MetaCall polyglot runtime.

Rustrustc_privateHIRFFI

Projects

MetaCall Rust Loader

GSoC 2026 / Open Source

Modernizing MetaCall's Rust loader around newer rustc internals, including HIR-based extraction and compiler compatibility work.

Rustrustc_privateHIRCMakeLLVM
✓Migrated 12+ breaking rustc API changes
✓Implemented HIR-based function extraction
✓Added support for generic/template functions
✓Built a patched Rust toolchain to remove a TLS blocker
✓Integrated the patched toolchain into CI
✓Passed all 6 MetaCall Rust integration tests locally

Deplay

Developer Infrastructure

A developer-focused pre-deployment sandbox that analyzes GitHub repositories and runs automated analysis before deployment.

RustAxumAWS BedrockAWS S3GitHub
✓Built the backend in Rust with Axum
✓Implemented repository ingestion pipelines
✓Integrated AWS Bedrock for AI-powered analysis
✓Used AWS S3 for execution artifacts

FerrumChat

Rust Backend

A real-time chat application built around a Rust backend and WebSocket communication.

RustAxumWebSocketsReact
✓Built backend services in Rust
✓Used Axum for HTTP routing
✓Implemented WebSocket communication
✓Connected the backend to a React frontend

KIIT Saathi

Student Developer / Web Team

A student-focused platform built to provide KIIT students with useful academic and campus information.

ReactTypeScriptSupabase
✓Built landing page and core web interfaces
✓Implemented society-related sections
✓Built course and faculty information interfaces
✓Worked with React, TypeScript and Supabase

Rust Compiler Contribution

Open Source Contribution

A contribution to rust-lang/rust fixing an internal compiler error involving unsafe binders inside extern "C" blocks.

RustrustcCompiler DiagnosticsFluent
✓Replaced an internal todo panic with a proper diagnostic
✓Added a UI regression test
✓Migrated the diagnostic to rustc's Fluent system

ICU4X Contributions

Open Source Contribution

Contributions to Unicode's ICU4X project across internationalization APIs, correctness fixes and test coverage.

RustICU4XUnicodeTesting
✓8+ PRs merged
✓Implemented CollatorBorrowed::new_root()
✓Fixed integer overflow in DateDuration
✓Added Klingon datagen fallback tests

Skills & Interests

Core Competencies

Compiler Design & Implementation
Rust Systems Programming
LLVM & Intermediate Representations
Language Interoperability (FFI)
Type Theory & Static Analysis

Research Interests

rustc internals
HIR
MIR
Programming Languages
Compiler Infrastructure
Systems Programming
Open Source

Education

Bachelor of Technology in Computer Science

KIIT University

2024 — 2028

Contact

Open to compiler engineering roles, open source collaborations, and research opportunities.

EmailGitHubLinkedInTwitter