2025
Opening Up Kernel-Bypass TCP Stacks.
Proceedings of the 2025 USENIX Annual Technical Conference, 2025
2024
The Case for Transport-Level Encryption in Datacenter Networks.
CoRR, 2024
Accelerating Scientific Application through Transparent I/O Interposition.
CoRR, 2024
2023
Improving Cloud Storage Network Bandwidth Utilization of Scientific Applications.
Proceedings of the 7th Asia-Pacific Workshop on Networking, 2023
2022
FlexPort: transport scale-out with modern NICs.
Proceedings of the 3rd International CoNEXT Student Workshop, 2022
Towards portable end-to-end network performance characterization of SmartNICs.
Proceedings of the APSys '22: 13th ACM SIGOPS Asia-Pacific Workshop on Systems, Virtual Event, Singapore, August 23, 2022
2021
Prism: Proxies without the Pain.
Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021
Packets as Persistent In-Memory Data Structures.
Proceedings of the HotNets '21: The 20th ACM Workshop on Hot Topics in Networks, 2021
2020
Designing a Storage Software Stack for Accelerators.
Proceedings of the 12th USENIX Workshop on Hot Topics in Storage and File Systems, 2020
2019
Resilient Edge: A Scalable, Robust Network Function Backend.
IEICE Trans. Inf. Syst., 2019
FlowBlaze: Stateful Packet Processing in Hardware.
,
,
,
,
,
,
,
,
,
,
Proceedings of the 16th USENIX Symposium on Networked Systems Design and Implementation, 2019
SPEICHER: Securing LSM-based Key-Value Stores using Shielded Execution.
Proceedings of the 17th USENIX Conference on File and Storage Technologies, 2019
2018
PASTE: A Network Programming Interface for Non-Volatile Main Memory.
Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018
2017
Unikernels Everywhere: The Case for Elastic CDNs.
Proceedings of the 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2017
HyperNF: building a high performance, high utilization and fair NFV platform.
Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017
Prism: a proxy architecture for datacenter networks.
Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017
2016
StackMap: Low-Latency Networking with the OS Stack and Dedicated NICs.
Proceedings of the 2016 USENIX Annual Technical Conference, 2016
PASTE: Network Stacks Must Integrate with NVMM Abstractions.
Proceedings of the 15th ACM Workshop on Hot Topics in Networks, 2016
2015
mSwitch: a highly-scalable, modular software switch.
Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, 2015
2014
Rekindling network protocol innovation with user-level stacks.
Comput. Commun. Rev., 2014
ClickOS and the Art of Network Function Virtualization.
Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, 2014
2012
Reducing energy consumption with batched task executions.
Proceedings of the 10th ACM Conference on Embedded Network Sensor Systems, 2012
Monitoring the Dynamics of Network Traffic by Recursive Multi-Dimensional Aggregation.
Proceedings of the 2012 Workshop on Managing Systems Automatically and Dynamically, 2012
How Hard Can It Be? Designing and Implementing a Deployable Multipath TCP.
Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, 2012
Extending TFWC towards higher throughput.
Proceedings of the 2012 IEEE Consumer Communications and Networking Conference (CCNC), 2012
2011
pSurvive: A process lifetime reservation system with fine-grained energy monitoring for multifunctional mobile nodes.
Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, 2011
Is it still possible to extend TCP?
Proceedings of the 11th ACM SIGCOMM Internet Measurement Conference, 2011
PACUE: Processor Allocator Considering User Experience.
Proceedings of the Euro-Par 2011: Parallel Processing Workshops - CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29, 2011
2008
Connectivity-driven flow recovery for time-sensitive transport services.
Proceedings of the LCN 2008, 2008
A Connectivity-Driven Retransmission Scheme Based On Transport Layer Readdressing.
Proceedings of the 28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), 2008
2007
Performance Enhancement of Transport Layer Handover on Single-Homed Mobile Nodes.
IEICE Trans. Commun., 2007
SmSCTP: A Fast Transport Layer Handover Method Using Single Wireless Interface.
Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007
1983
Strategies and Techniques for Interactive Proof.
Proceedings of the IOTA Programming System, A Modular Programming Environment, 1983
Proceedings of the IOTA Programming System, A Modular Programming Environment, 1983
Proceedings of the IOTA Programming System, A Modular Programming Environment, 1983
1980
Hierarchical Program Specification and Verification - a Many-sorted Logical Approach.
Acta Informatica, 1980
1979
Interactive Theorem Proving on Hierarchically and Modularly Structured Set of Very Many Axioms.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979
1977
Describing and Verifying Programs with Abstract Data Types.
Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977