Michio Honda

According to our database, Michio Honda authored at least 37 papers between 1977 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

The Case for Transport-Level Encryption in Datacenter Networks.

Tianyi Gao, Xinshu Ma, Suhas Narreddy, Eugenio Luo, Steven W. D. Chien, Michio Honda

CoRR, 2024

Accelerating Scientific Application through Transparent I/O Interposition.

Steven Wei Der Chien, Kento Sato, Artur Podobas, Niclas Jansson, Stefano Markidis, Michio Honda

CoRR, 2024

2023

Improving Cloud Storage Network Bandwidth Utilization of Scientific Applications.

Steven Wei Der Chien, Kento Sato, Artur Podobas, Niclas Jansson, Stefano Markidis, Michio Honda

Proceedings of the 7th Asia-Pacific Workshop on Networking, 2023

2022

FlexPort: transport scale-out with modern NICs.

Shuo Li, Steven Wei Der Chien, Michio Honda

Proceedings of the 3rd International CoNEXT Student Workshop, 2022

Towards portable end-to-end network performance characterization of SmartNICs.

Tong Xing, Hesam Tajbakhsh, Israat Haque, Michio Honda, Antonio Barbalace

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.

Yutaro Hayakawa, Michio Honda, Douglas Santry, Lars Eggert

Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021

Packets as Persistent In-Memory Data Structures.

Michio Honda

Proceedings of the HotNets '21: The 20th ACM Workshop on Hot Topics in Networks, 2021

2020

Designing a Storage Software Stack for Accelerators.

Shinichi Awamoto, Erich Focht, Michio Honda

Proceedings of the 12th USENIX Workshop on Hot Topics in Storage and File Systems, 2020

2019

Resilient Edge: A Scalable, Robust Network Function Backend.

Yutaro Hayakawa, Kenichi Yasukata, Jin Nakazawa, Michio Honda

IEICE Trans. Inf. Syst., 2019

FlowBlaze: Stateful Packet Processing in Hardware.

Salvatore Pontarelli, Roberto Bifulco, Marco Bonola, Carmelo Cascone, Marco Spaziani Brunella, Valerio Bruschi, Davide Sanvito, Giuseppe Siracusano, Antonio Capone, Michio Honda, Felipe Huici

Proceedings of the 16th USENIX Symposium on Networked Systems Design and Implementation, 2019

SPEICHER: Securing LSM-based Key-Value Stores using Shielded Execution.

Maurice Bailleu, Jörg Thalheim, Pramod Bhatotia, Christof Fetzer, Michio Honda, Kapil Vaswani

Proceedings of the 17th USENIX Conference on File and Storage Technologies, 2019

2018

PASTE: A Network Programming Interface for Non-Volatile Main Memory.

Michio Honda, Giuseppe Lettieri, Lars Eggert, Douglas Santry

Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

2017

Unikernels Everywhere: The Case for Elastic CDNs.

Simon Kuenzer, Anton Ivanov, Filipe Manco, Jose Mendes, Yuri Volchkov, Florian Schmidt, Kenichi Yasukata, Michio Honda, Felipe Huici

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.

Kenichi Yasukata, Felipe Huici, Vincenzo Maffione, Giuseppe Lettieri, Michio Honda

Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

Prism: a proxy architecture for datacenter networks.

Yutaro Hayakawa, Lars Eggert, Michio Honda, Douglas Santry

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.

Kenichi Yasukata, Michio Honda, Douglas Santry, Lars Eggert

Proceedings of the 2016 USENIX Annual Technical Conference, 2016

PASTE: Network Stacks Must Integrate with NVMM Abstractions.

Michio Honda, Lars Eggert, Douglas Santry

Proceedings of the 15th ACM Workshop on Hot Topics in Networks, 2016

2015

mSwitch: a highly-scalable, modular software switch.

Michio Honda, Felipe Huici, Giuseppe Lettieri, Luigi Rizzo

Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, 2015

2014

Rekindling network protocol innovation with user-level stacks.

Michio Honda, Felipe Huici, Costin Raiciu, João Araújo, Luigi Rizzo

Comput. Commun. Rev., 2014

ClickOS and the Art of Network Function Virtualization.

João Martins, Mohamed Ahmed, Costin Raiciu, Vladimir Andrei Olteanu, Michio Honda, Roberto Bifulco, Felipe Huici

Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, 2014

2012

Reducing energy consumption with batched task executions.

Kenichi Yasukata, Tetsuro Horikawa, Michio Honda, Hideyuki Tokuda

Proceedings of the 10th ACM Conference on Embedded Network Sensor Systems, 2012

Monitoring the Dynamics of Network Traffic by Recursive Multi-Dimensional Aggregation.

Midori Kato, Kenjiro Cho, Michio Honda, Hideyuki Tokuda

Proceedings of the 2012 Workshop on Managing Systems Automatically and Dynamically, 2012

How Hard Can It Be? Designing and Implementing a Deployable Multipath TCP.

Costin Raiciu, Christoph Paasch, Sébastien Barré, Alan Ford, Michio Honda, Fabien Duchene, Olivier Bonaventure, Mark Handley

Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, 2012

Extending TFWC towards higher throughput.

Midori Kato, Michio Honda, Hideyuki Tokuda

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.

Masato Mori, Michio Honda, Jin Nakazawa, Hideyuki Tokuda

Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, 2011

Is it still possible to extend TCP?

Michio Honda, Yoshifumi Nishida, Costin Raiciu, Adam Greenhalgh, Mark Handley, Hideyuki Tokuda

Proceedings of the 11th ACM SIGCOMM Internet Measurement Conference, 2011

PACUE: Processor Allocator Considering User Experience.

Tetsuro Horikawa, Michio Honda, Jin Nakazawa, Kazunori Takashio, Hideyuki Tokuda

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.

Michio Honda, Jin Nakazawa, Yoshifumi Nishida, Hideyuki Tokuda

Proceedings of the LCN 2008, 2008

A Connectivity-Driven Retransmission Scheme Based On Transport Layer Readdressing.

Michio Honda, Jin Nakazawa, Yoshifumi Nishida, Masahiro Kozuka, Hideyuki Tokuda

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.

Michio Honda, Yoshifumi Nishida, Jin Nakazawa, Hideyuki Tokuda

IEICE Trans. Commun., 2007

SmSCTP: A Fast Transport Layer Handover Method Using Single Wireless Interface.

Michio Honda, Hiroshi Sakakibara, Yoshifumi Nishida, Hideyuki Tokuda

Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007

1983

Strategies and Techniques for Interactive Proof.

Michio Honda, Reiji Nakajima

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

Proof System.

Michio Honda, Tatsuya Hagino, Etsuya Shibayama

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

KWIC Example.

Tatsuya Hagino, Michio Honda, Akihiko Koga, Reiji Nakajima, Etsuya Shibayama, Taiichi Yuasa

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

1980

Hierarchical Program Specification and Verification - a Many-sorted Logical Approach.

Reiji Nakajima, Michio Honda, Hayao Nakahara

Acta Informatica, 1980

1979

Interactive Theorem Proving on Hierarchically and Modularly Structured Set of Very Many Axioms.

Michio Honda, Reiji Nakajima

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1977

Describing and Verifying Programs with Abstract Data Types.

Reiji Nakajima, Michio Honda, Hayao Nakahara

Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977