Steve Hsu

Steve in front of the Royal Palace of Amsterdam
first-year PhD student at the University of Pennsylvania

Contact Information

stevehsu seas upenn edu

Research Interests


Research Experience


Verifying Autonomous Systems: September 2019–present with Rajeev Alur, Osbert Bastani, and Shaan Vaidya
Neural networks are widely used as autonomous agents, but they are computationally expensive to verify. We plan to train an automous agent that will be efficiently verifiable. Using an F1/10 car to test our approach, we intend to use Imitation-Projected Programmatic Reinforcement Learning to achieve our goal of a safe self-driving F1/10 car.


Verifying eBPF Programs: January–July 2019 with Santosh Nagarakatte and Srinivas Narayana
I wrote a translator that takes in eBPF programs written in an assembly-like syntax and outputs a Z3 query specifying the relationship between its inputs and outputs. This project studies the Linux kernel's eBPF verifier with the goal of proving its soundness (or finding a counterexample). Professors Nagarakatte and Narayana are continuing the project with a Facebook Networking Systems Research Award.
Verifying Assembly Implementations of Cryptographic Algorithms: September 2017–May 2018 with Jay Lim, Santosh Nagarakatte, and Mihai Andrei
I wrote some tests for an equivalence checker late in this project's development. The equivalence checker works on on loop-free programs written either in an assembly language or in a DSL designed to express cryptographic algorithms. The results of the project are published in the paper Automatic Equivalence Checking for Assembly Implementations of Cryptographic Algorithms.



Programming Languages


Industry Experience

internship at Amazon Connect (Amazon Web Services), summer 2018
I implemented a variation of a feature called least-cost routing, which sends an outgoing call through the cheapest available carrier.