Michio Honda

According to our database1, Michio Honda
  • authored at least 22 papers between 1979 and 2017.
  • has a "Dijkstra number"2 of five.



In proceedings 
PhD thesis 


On csauthors.net:


Unikernels Everywhere: The Case for Elastic CDNs.
Proceedings of the 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2017

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

mSwitch: a highly-scalable, modular software switch.
Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, 2015

Rekindling network protocol innovation with user-level stacks.
Computer Communication Review, 2014

ClickOS and the Art of Network Function Virtualization.
Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, 2014

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

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

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

Performance Enhancement of Transport Layer Handover on Single-Homed Mobile Nodes.
IEICE Transactions, 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

Strategies and Techniques for Interactive Proof.
Proceedings of the IOTA Programming System, A Modular Programming Environment, 1983

Proof System.
Proceedings of the IOTA Programming System, A Modular Programming Environment, 1983

KWIC Example.
Proceedings of the IOTA Programming System, A Modular Programming Environment, 1983

Hierarchical Program Specification and Verification - a Many-sorted Logical Approach.
Acta Inf., 1980

Interactive Theorem Proving on Hierarchically and Modularly Structured Set of Very Many Axioms.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979