Tuesday / CS Seminar

October 6 / 11:00 AM

Hybrid / Tech F281

Speaker

Harry Wang, Columbia University

Talk Title

Houston, We Have a Problem: Systems Challenges of Large Scale Spacecraft Deployments

Abstract

The collapsing cost of space launches has disrupted the way satellites are deployed, shifting the industry from a model of a few expensive fault-tolerant high-orbit satellites to arrays of commodity low-cost SmallSats in low-Earth orbit. However, satellite software hasn't kept up with the hardware trends, and missions are still using the ad-hoc flight software infrastructure built for expensive one-off missions in high-altitude orbits, even as constellations of tens or even hundreds of SmallSats come online. This motivates new approaches rooted in verification and language design.

In this talk, I present Orbital, which extends eBPF's symbolic execution to derive tight worst-case execution time bounds for hard real-time multi-tenant scheduling on SmallSats, and Radshield, a programming model that efficiently replicates execution and protects commodity hardware from radiation-induced silent data corruption. I'll also discuss ongoing work with NASA-JPL to adapt WebAssembly as the onboard command DSL for their flight software framework, and open problems at the intersection of software systems and space that this community is well-positioned to tackle.

Biography

Haoda Wang is a PhD candidate at Columbia University developing software systems for spacecraft. Previously, he has worked on flight software for the Mars Perseverance rover, and developed mission-critical tools that run onboard commodity chips in the high-radiation environment. He is also a 2024 NSF GRFP fellow and a 2022 DoD NDSEG fellow.

Research Interests: software systems, programming languages