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
-
- best paper award
- slides (pptx)
- slides (pdf)
- demo video
Proceedings of the 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. -
Proceedings of the 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.
-
Proceedings of the 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.
-
Proceedings of the 28th IEEE Computer Security Foundations Symposium, pp. 569–583, Verona, Italy, July 2015. Owen Arden, Jed Liu, Andrew C. Myers.
-
Proceedings of the 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.
-
Proceedings of the 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.
-
Proceedings of the 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.
-
Proceedings of the 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
Proceedings of the 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. -
Proceedings of the 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)
Proceedings of the 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.
- SIGCOMM 2018, Artifact Evaluation Committee
- PLDI 2016, External Review Committee
- POPL 2015, Artifact Evaluation Committee
- Reviewed papers for 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.