Jed Liu

According to our database1, Jed Liu authored at least 15 papers between 2003 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Avenir: Managing Data Plane Diversity with Control Plane Synthesis.
Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021

2019
Efficient, Consistent Distributed Computation with Predictive Treaties.
Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

2018
p4v: practical verification for programmable data planes.
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.
Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy, 2018

2017
Fabric: Building open distributed systems securely by construction.
J. Comput. Secur., 2017

2016
Safe Serializable Secure Scheduling: Transactions and the Trade-Off Between Security and Consistency.
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015
Flow-Limited Authorization.
Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014
Defining and Enforcing Referential Security.
Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Warranties for Faster Strong Consistency.
Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, 2014

2012
Sharing Mobile Code Securely with Information Flow Control.
Proceedings of the IEEE Symposium on Security and Privacy, 2012

2009
Building secure web applications with automatic partitioning.
Commun. ACM, 2009

Fabric: a platform for secure distributed computation and storage.
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

2007
Secure web application via automatic partitioning.
Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

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

2003
JMatch: Iterable Abstract Pattern Matching for Java.
Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003


  Loading...