Jed Liu

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 9

Top Topics

Correctness Criterion

Information Flow

Read Only Transactions

Open Distributed Systems

Top Venues

Publications

Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtech Havel, Hanneli Tavante, Rob Sherwood, Vladyslav Dubina, Volodymyr Peschanenko, Anirudh Sivaraman, Nate Foster
P4Testgen: An Extensible Test Oracle For P4-16. SIGCOMM (2023)
Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtech Havel, Rob Sherwood, Vlad Dubina, Volodymyr Peschanenko, Nate Foster, Anirudh Sivaraman
P4Testgen: An Extensible Test Oracle For P4. CoRR (2022)
Eric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soulé, Nate Foster
Avenir: Managing Data Plane Diversity with Control Plane Synthesis. NSDI (2021)
Tom Magrino, Jed Liu, Nate Foster, Johannes Gehrke, Andrew C. Myers
Efficient, Consistent Distributed Computation with Predictive Treaties. EuroSys (2019)
Jed Liu, Joe Corbett-Davies, Andrew Ferraiuolo, Alexander Ivanov, Mulong Luo, G. Edward Suh, Andrew C. Myers, Mark E. Campbell
Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control. CPS-SPC@CCS (2018)
Jed Liu, William T. Hallahan, Cole Schlesinger, Milad Sharif, Jeongkeun Lee, Robert Soulé, Han Wang, Calin Cascaval, Nick McKeown, Nate Foster
p4v: practical verification for programmable data planes. SIGCOMM (2018)
Jed Liu, Owen Arden, Michael D. George, Andrew C. Myers
Fabric: Building open distributed systems securely by construction. J. Comput. Secur. 25 (4-5) (2017)
Isaac C. Sheff, Tom Magrino, Jed Liu, Andrew C. Myers, Robbert van Renesse
Safe Serializable Secure Scheduling: Transactions and the Trade-off Between Security and Consistency. CoRR (2016)
Isaac C. Sheff, Tom Magrino, Jed Liu, Andrew C. Myers, Robbert van Renesse
Safe Serializable Secure Scheduling: Transactions and the Trade-Off Between Security and Consistency. CCS (2016)
Owen Arden, Jed Liu, Andrew C. Myers
Flow-Limited Authorization. CSF (2015)
Jed Liu, Andrew C. Myers
Defining and Enforcing Referential Security. POST (2014)
Jed Liu, Tom Magrino, Owen Arden, Michael D. George, Andrew C. Myers
Warranties for Faster Strong Consistency. NSDI (2014)
Owen Arden, Michael D. George, Jed Liu, K. Vikram, Aslan Askarov, Andrew C. Myers
Sharing Mobile Code Securely with Information Flow Control. IEEE Symposium on Security and Privacy (2012)
Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng
Building secure web applications with automatic partitioning. Commun. ACM 52 (2) (2009)
Jed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, Andrew C. Myers
Fabric: a platform for secure distributed computation and storage. SOSP (2009)
Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng
Secure web application via automatic partitioning. SOSP (2007)
Jed Liu, Aaron Kimball, Andrew C. Myers
Interruptible iterators. POPL (2006)
Jed Liu, Andrew C. Myers
JMatch: Iterable Abstract Pattern Matching for Java. PADL (2003)