
jed-harvey@uma.litech.org
PGP key
My research interests span distributed systems, security, and programming languages. Some projects I have worked on:
- p4v, a tool for verifying P4 data planes (and a related tool for generating input/output tests).
- 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
-
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: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.
- 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.