Paper-Conference

Towards an Algebraic Specification of Quantum Networks
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
Live in the Express Lane
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite URL
Switches for HIRE: Resource Scheduling for Data Center In-network Computing
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
Theory-Specific Proof Steps Witnessing Correctness of SMT Executions
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
Accurate Smart Contract Verification Through Direct Modelling
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
Consistent and Secure Network Updates Made Practical
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
Letting off STEAM: Distributed Runtime Traffic Scheduling for Service Function Chaining
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
PLASMA: Programmable Elasticity for Stateful Cloud Computing Applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
RoCC: Robust Congestion Control for RDMA
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
GRASS: Generic Reactive Application-specific Scheduling
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL