Jed Liu
Jed Liu
Jed Liu
Software Engineer PGP key
About me

I am a recovering academic who enjoys taking ideas from programming languages (type systems, semantics, logic, &c.) and applying them to distributed systems and security. To give a flavour, some previous projects are listed below. Nowadays, I am a back-end engineer at Postman, having been acquired via Akita.

  • p4testgen, an extensible tool for generating packet tests for P4 programs.
  • p4v, a tool for verifying P4 data planes.
  • Cyber–physical systems security, a collaboration between Cornell's CS, ECE, and MAE departments for developing verifiable security for collision avoidance in autonomous vehicles [ ECE project website ]
  • Fabric, a federated platform for securely storing and computing on shared information
  • Jif, a Java extension that protects data by controlling information flow
  • Swift, a framework for building secure web applications
  • JMatch, a Java extension with pattern matching and interruptible iterators
  • Polyglot, an extensible compiler framework
  • PolyJ, Java with bounded parametric polymorphism
Peer-reviewed publications
Technical reports and manuscripts
Professional activities