jed-harvey@uma.litech.org
PGP key
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
-
2023 ACM SIGCOMM Conference, to appear, New York, NY, USA, September 2023. Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtěch Havel, Hanneli Tavante, Rob Sherwood, Vladyslav Dubina, Volodymyr Peschanenko, Anirudh Sivaraman, Nate Foster.
-
18th 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.
-
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.
-
- 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. -
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.
-
Journal of Computer Security, May 2017, Vol. 25 Issue 4/5, pp. 367–426. Jed Liu, Owen Arden, Michael D. George, Andrew C. Myers.
-
23rd 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.
-
28th IEEE Computer Security Foundations Symposium, pp. 569–583, Verona, Italy, July 2015. Owen Arden, Jed Liu, Andrew C. Myers.
-
3rd 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.
-
11th 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.
-
33rd 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.
-
22nd 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.
-
- best paper award
- software
21st 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. -
33rd ACM Symposium on Principles of Programming Languages, pp. 283–294, Charleston, SC, USA, January 2006. Jed Liu, Aaron Kimball, Andrew C. Myers.
-
(PADL 2003)
5th 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.
-
arXiv:2211.15300, November 2022. Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtěch Havel, Rob Sherwood, Vlad Dubina, Volodymyr Peschanenko, Nate Foster, Anirudh Sivaraman.
-
arXiv:1608.04841, August 2016. Isaac Sheff, Tom Magrino, Jed Liu, Andrew C. Myers, Robbert van Renesse.
-
Cornell University Computing and Information Science Technical Report 1813-40138, May 2015. Owen Arden, Jed Liu, Andrew C. Myers.
-
Cornell University Computing and Information Science Technical Report 1813-35150, January 2014. Jed Liu, Andrew C. Myers.
-
Ph.D. dissertation, Cornell University, Ithaca, NY, USA, August 2012. Jed Liu.
-
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.