BEGIN:VCALENDAR
PRODID:-//planitpurple.northwestern.edu//iCalendar Event//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
CLASS:PUBLIC
BEGIN:VTIMEZONE
TZID:America/Chicago
TZURL:http://tzurl.org/zoneinfo-outlook/America/Chicago
X-LIC-LOCATION:America/Chicago
BEGIN:DAYLIGHT
TZOFFSETFROM:-0600
TZOFFSETTO:-0500
TZNAME:CDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0500
TZOFFSETTO:-0600
TZNAME:CST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
SEQUENCE:0
DTSTART;TZID=America/Chicago:20261006T110000
DTEND;TZID=America/Chicago:20261006T120000
DTSTAMP:20261004T004942Z
SUMMARY:CS Seminar: Houston\, We Have a Problem: Systems Challenges of Large Scale Spacecraft Deployments (Harry Wang)
UID:647185@northwestern.edu
TZID:America/Chicago
DESCRIPTION: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
LOCATION:Technological Institute\, Tech F281\, 2145 Sheridan Road\, Evanston\, IL 60208
TRANSP:OPAQUE
URL:https://planitpurple.northwestern.edu/event/647185
CREATED:20260622T050000Z
STATUS:CONFIRMED
LAST-MODIFIED:20261002T171850Z
PRIORITY:0
BEGIN:VALARM
TRIGGER:-PT10M
ACTION:DISPLAY
DESCRIPTION:Reminder
END:VALARM
END:VEVENT
END:VCALENDAR