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 having fun with an awesome team, building out the back end for Akita.

• Avenir: Managing Data Plane Diversity with Control Plane Synthesis
  NSDI 2021
  • talk (Eric Campbell)
  18^th USENIX Symposium on Networked Systems Design and Implementation, pp. 133–153, April 2021. Eric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soulé, Nate Foster.
• Efficient, Consistent Distributed Computation with Predictive Treaties
  EuroSys 2019
  • talk (Tom Magrino)
  ACM SIGOPS/EuroSys European Conference on Computer Systems, pp. 36:1–36:16, Dresden, Germany, March 2019. Tom Magrino, Jed Liu, Nate Foster, Johannes Gehrke, Andrew C. Myers.
• Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control
  CPS-SPC 2018
  • best paper award
  • slides (pptx)
  • slides (pdf)
  • demo video
  2018 ACM Workshop on Cyber-Physical Systems Security and PrivaCy, pp. 48–59, Toronto, ON, Canada, October 2018. Jed Liu, Joe Corbett-Davies, Andrew Ferraiuolo, Alexander Ivanov, Mulong Luo, G. Edward Suh, Andrew C. Myers, Mark Campbell.
• p4v: Practical Verification for Programmable Data Planes
  SIGCOMM 2018
  • talk
  • slides (Google)
  • slides (pdf)
  2018 ACM SIGCOMM Conference, pp. 490–503, Budapest, Hungary, August 2018. Jed Liu, William Hallahan, Cole Schlesinger, Milad Sharif, Jeongkeun Lee, Robert Soulé, Han Wang, Călin Caşcaval, Nick McKeown, Nate Foster.
• Fabric: Building Open Distributed Systems Securely by Construction
  JCS 2017
  Journal of Computer Security, May 2017, Vol. 25 Issue 4/5, pp. 367–426. Jed Liu, Owen Arden, Michael D. George, Andrew C. Myers.
• Safe Serializable Secure Scheduling: Transactions and the fundamental trade-off between security and consistency
  CCS 2016
  • talk (Isaac Sheff)
  23^rd ACM Conference on Computer and Communications Security, pp. 229–241, Vienna, Austria, October 2016. Isaac Sheff, Tom Magrino, Jed Liu, Andrew C. Myers, Robbert van Renesse.
• Flow-Limited Authorization
  CSF 2015
  • Coq proof
  28^th IEEE Computer Security Foundations Symposium, pp. 569–583, Verona, Italy, July 2015. Owen Arden, Jed Liu, Andrew C. Myers.
• Defining and Enforcing Referential Security
  POST 2014
  • slides (pptx)
  • slides (pdf)
  3^rd Conference on Principles of Security and Trust, pp. 199–219, Grenoble, France, April 2014. Lecture Notes in Computer Science (LNCS) 8414. Jed Liu, Andrew C. Myers.
• Warranties for Faster Strong Consistency
  NSDI 2014
  • software
  • slides (pptx)
  • slides (pdf)
  11^th USENIX Symposium on Networked Systems Design and Implementation, pp. 503–517, Seattle, WA, USA, April 2014. Jed Liu, Tom Magrino, Owen Arden, Michael D. George, Andrew C. Myers.
• Sharing Mobile Code Securely with Information Flow Control
  Oakland 2012
  • software
  33^rd IEEE Symposium on Security and Privacy, pp. 191–205, San Francisco, CA, USA, May 2012. Owen Arden, Michael D. George, Jed Liu, K. Vikram, Aslan Askarov, Andrew C. Myers.
• Fabric: A Platform for Secure Distributed Computation and Storage
  SOSP 2009
  • software
  • slides (pptx)
  • slides (pdf)
  22^nd ACM Symposium on Operating Systems Principles, pp. 321–334, Big Sky, MT, USA, October 2009. Jed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, Andrew C. Myers.
• Secure Web Applications via Automatic Partitioning
  SOSP 2007
  • best paper award
  • software
  21^st ACM Symposium on Operating Systems Principles, pp. 31–44, Stevenson, WA, USA, October 2007. Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng.
• Interruptible Iterators
  POPL 2006
  • software
  • slides
  33^rd ACM Symposium on Principles of Programming Languages, pp. 283–294, Charleston, SC, USA, January 2006. Jed Liu, Aaron Kimball, Andrew C. Myers.
• JMatch: Iterable Abstract Pattern Matching for Java
  (PADL 2003)
  • software
  5^th International Symposium on Practical Aspects of Declarative Languages, pp. 110–127, New Orleans, LA, USA, January 2003. Lecture Notes in Computer Science (LNCS) 2562. Jed Liu, Andrew C. Myers.

• P4Testgen: An extensible test oracle for P4
  arXiv:2211.15300, November 2022. Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtěch Havel, Rob Sherwood, Vlad Dubina, Volodymyr Peschanenko, Nate Foster, Anirudh Sivaraman.
• Safe Serializable Secure Scheduling: Transactions and the fundamental trade-off between security and consistency
  arXiv:1608.04841, August 2016. Isaac Sheff, Tom Magrino, Jed Liu, Andrew C. Myers, Robbert van Renesse.
• Flow-Limited Authorization: Technical Report
  Cornell University Computing and Information Science Technical Report 1813-40138, May 2015. Owen Arden, Jed Liu, Andrew C. Myers.
• A Language for Securely Referencing Persistent Information in a Federated System
  Cornell University Computing and Information Science Technical Report 1813-35150, January 2014. Jed Liu, Andrew C. Myers.
• Towards a Secure Federated Information System
  Ph.D. dissertation, Cornell University, Ithaca, NY, USA, August 2012. Jed Liu.
• JMatch: Java plus Pattern Matching
  Cornell University Computer Science Technical Report TR2002-1878, October 2002. Jed Liu, Andrew C. Myers.

• SOSR 2020, Technical Program Committee
• PLDI 2019, Artifact Evaluation Committee
• SIGCOMM 2018, Artifact Evaluation Committee
• PLDI 2016, External Review Committee
• POPL 2015, Artifact Evaluation Committee
• Reviewed papers for T-IFS 2018, Euro S&P 2016, Oakland 2015, CSF 2015, CCS 2014, EuroSys 2013, CCS 2013, PLAS 2011, PLDI 2010, CSF 2010, SOSP 2009, Oakland 2008, ECOOP 2008, SOSP 2007, TISSEC 2006, OOPSLA 2006, ESOP 2006, POPL 2005.