Steve Hsu

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

Contact Information

email
stevehsu seas upenn edu
GitHub
bnjw5jhyxn

Research Interests

Education

Research Experience

Current

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.

Previous

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.

Skills

Tools

Programming Languages

Other

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.