1

Theory-Specific Proof Steps Witnessing Correctness of SMT Executions
Cite DOI URL
Accurate Smart Contract Verification Through Direct Modelling
Cite DOI URL
Consistent and Secure Network Updates Made Practical
Cite DOI URL
Letting off STEAM: Distributed Runtime Traffic Scheduling for Service Function Chaining
Cite DOI URL
PLASMA: Programmable Elasticity for Stateful Cloud Computing Applications
Cite DOI URL
RoCC: Robust Congestion Control for RDMA
Cite DOI URL
GRASS: Generic Reactive Application-specific Scheduling
Cite DOI URL
A Cryptographic Look at Multi-party Channels
Cite DOI URL
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems
Cite DOI URL
Boosting Scalable Data Analytics with Modern Programmable Networks
Cite DOI URL