Jed Liu

According to our database, Jed Liu authored at least 17 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the ACM SIGCOMM 2023 Conference, 2023

2022

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

2021

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

Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021

2019

Efficient, Consistent Distributed Computation with Predictive Treaties.

Tom Magrino, Jed Liu, Nate Foster, Johannes Gehrke, Andrew C. Myers

Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

2018

p4v: practical verification for programmable data planes.

Jed Liu, William T. Hallahan, Cole Schlesinger, Milad Sharif, Jeongkeun Lee, Robert Soulé, Han Wang, Calin Cascaval, Nick McKeown, Nate Foster

Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018

Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control.

Jed Liu, Joe Corbett-Davies, Andrew Ferraiuolo, Alexander Ivanov, Mulong Luo, G. Edward Suh, Andrew C. Myers, Mark E. Campbell

Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy, 2018

2017

Fabric: Building open distributed systems securely by construction.

Jed Liu, Owen Arden, Michael D. George, Andrew C. Myers

J. Comput. Secur., 2017

2016

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

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

Flow-Limited Authorization.

Owen Arden, Jed Liu, Andrew C. Myers

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014

Defining and Enforcing Referential Security.

Jed Liu, Andrew C. Myers

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Warranties for Faster Strong Consistency.

Jed Liu, Tom Magrino, Owen Arden, Michael D. George, Andrew C. Myers

Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, 2014

2012

Sharing Mobile Code Securely with Information Flow Control.

Owen Arden, Michael D. George, Jed Liu, K. Vikram, Aslan Askarov, Andrew C. Myers

Proceedings of the IEEE Symposium on Security and Privacy, 2012

2009

Building secure web applications with automatic partitioning.

Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng

Commun. ACM, 2009

Fabric: a platform for secure distributed computation and storage.

Jed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, Andrew C. Myers

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

2007

Secure web application via automatic partitioning.

Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng

Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

2006

Interruptible iterators.

Jed Liu, Aaron Kimball, Andrew C. Myers

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

2003

JMatch: Iterable Abstract Pattern Matching for Java.

Jed Liu, Andrew C. Myers

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003