JMatch: Iterable Abstract Pattern Matching for Java. - Jed Liu; Andrew C. Myers (PADL, 2003)

Interruptible iterators. - Jed Liu; Aaron Kimball; Andrew C. Myers (POPL, 2006)

Secure web application via automatic partitioning. - Stephen Chong; Jed Liu; Andrew C. Myers; Xin Qi 012; K. Vikram; Lantian Zheng; Xin Zheng (SOSP, 2007)

Fabric: a platform for secure distributed computation and storage. - Jed Liu; Michael D. George; K. Vikram; Xin Qi 012; Lucas Waye; Andrew C. Myers (SOSP, 2009)

Building secure web applications with automatic partitioning. - Stephen Chong; Jed Liu; Andrew C. Myers; Xin Qi 012; K. Vikram; Lantian Zheng; Xin Zheng (Commun. ACM, 2009)

Sharing Mobile Code Securely with Information Flow Control. - Owen Arden; Michael D. George; Jed Liu; K. Vikram; Aslan Askarov; Andrew C. Myers (IEEE Symposium on Security and Privacy, 2012)

Warranties for Faster Strong Consistency. - Jed Liu; Tom Magrino; Owen Arden; Michael D. George; Andrew C. Myers (NSDI, 2014)

Defining and Enforcing Referential Security. - Jed Liu; Andrew C. Myers (POST, 2014)

Flow-Limited Authorization. - Owen Arden; Jed Liu; Andrew C. Myers (CSF, 2015)

Safe Serializable Secure Scheduling: Transactions and the Trade-Off Between Security and Consistency. - Isaac C. Sheff; Tom Magrino; Jed Liu; Andrew C. Myers; Robbert van Renesse (CCS, 2016)

Fabric: Building open distributed systems securely by construction. - Jed Liu; Owen Arden; Michael D. George; Andrew C. Myers (J. Comput. Secur., 2017)

Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control. - Jed Liu; Joe Corbett-Davies; Andrew Ferraiuolo; Alexander Ivanov 002; Mulong Luo; G. Edward Suh; Andrew C. Myers; Mark E. Campbell (CPS-SPC@CCS, 2018)

p4v: practical verification for programmable data planes. - Jed Liu; William T. Hallahan; Cole Schlesinger; Milad Sharif; Jeongkeun Lee; Robert Soulé; Han Wang 009; Calin Cascaval; Nick McKeown; Nate Foster (SIGCOMM, 2018)

Efficient, Consistent Distributed Computation with Predictive Treaties. - Tom Magrino; Jed Liu; Nate Foster; Johannes Gehrke; Andrew C. Myers (EuroSys, 2019)

Avenir: Managing Data Plane Diversity with Control Plane Synthesis. - Eric Hayden Campbell; William T. Hallahan; Priya Srikumar; Carmelo Cascone; Jed Liu; Vignesh Ramamurthy; Hossein Hojjat; Ruzica Piskac; Robert Soulé; Nate Foster (NSDI, 2021)

P4Testgen: An Extensible Test Oracle For P4. - Fabian Ruffy; Jed Liu; Prathima Kotikalapudi; Vojtech Havel; Rob Sherwood; Vlad Dubina; Volodymyr Peschanenko; Nate Foster; Anirudh Sivaraman (CoRR, 2022)

P4Testgen: An Extensible Test Oracle For P4-16. - Fabian Ruffy; Jed Liu; Prathima Kotikalapudi; Vojtech Havel; Hanneli Tavante; Rob Sherwood; Vladyslav Dubina; Volodymyr Peschanenko; Anirudh Sivaraman; Nate Foster (SIGCOMM, 2023)