Paper-Conference

A Cryptographic Look at Multi-party Channels
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
Boosting Scalable Data Analytics with Modern Programmable Networks
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
Co-Design and Verification of an Available File System
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
A Programmable Buffer Management Platform
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
Dependable Cloud Resources with Guardian
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
Detecting Abnormalities in IoT Program Executions through Control-Flow-Based Features: Poster Abstract
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
NVthreads: Practical Persistence for Multi-threaded Applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
PAD: Programming Third-party Web Advertisement Censorship
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
Programmable Elasticity for Actor-based Cloud Applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL