Aryan Wadhwani

Systems Software Engineer · Apple

Developing high-performance simulation models for Apple SoCs in C++ and Python, collaborating with OS and firmware teams to support pre-silicon bringup.

Software Engineer Intern · Meta

Created new infrastructure for continuous testing, staging, and releases of Meta's LLVM fork. Accelerated test builds by 26% and reduced time to access build artifacts from 10 minutes to 20 seconds. Contributed to LLVM upstream by fixing a missed optimization in the SROA pass.

iOS Engineer Intern · Angi

Shipped features for the Angi Pro iOS app using Swift and Objective-C to improve user experience and customer retention.

Teaching Assistant · Purdue University

Teaching Assistant for Software Engineering, Analysis of Algorithms, and Systems Programming. Also worked on Course Development for Introductory CS courses.

MBTA Train Tracker PCB

A four-layer MBTA map with 319 individually controlled LEDs, showing current subway, Mattapan, and Silver Line vehicle positions.

• View Demo
• Express Interest

Coroutines for Linear Type Systems

Defined formal semantics for a Rust-like language in K, including linear types, reference/ownership semantics with enforced borrowing rules, and asymmetric stackful coroutines with runtime type- and ownership-safety checks.

• Read Paper
• Slides
• View Source

Heavy Imp

An interpreter for a simple imperative language written in Rust using heap allocations, with static type-checking.

• Read Post
• View Source

GQL Server

An SQL database server with integrated version control, written using Rust and Protocol Buffers/gRPC. Supports standard SQL operations alongside git-like version control features.

• Read Post
• Slides
• View Source

VirtuCards

Mobile game for groups to play card games with desktop shared screen. Features leaderboards, custom avatars, private messaging, and animated reactions.

• Watch Demo
• Download
• View Source