Michio Honda

Publication Activity (10 Years)

Years Active: 1977-2024
Publications (10 Years): 17

Top Topics

Elastic Matching

Programming Interface

Top Venues

Publications

Steven Wei Der Chien, Kento Sato, Artur Podobas, Niclas Jansson, Stefano Markidis, Michio Honda
Accelerating Scientific Application through Transparent I/O Interposition. CoRR (2024)
Steven Wei Der Chien, Kento Sato, Artur Podobas, Niclas Jansson, Stefano Markidis, Michio Honda
Improving Cloud Storage Network Bandwidth Utilization of Scientific Applications. APNet (2023)
Shuo Li, Steven Wei Der Chien, Michio Honda
FlexPort: transport scale-out with modern NICs. StudentWorkshop@CoNEXT (2022)
Tong Xing, Hesam Tajbakhsh, Israat Haque, Michio Honda, Antonio Barbalace
Towards portable end-to-end network performance characterization of SmartNICs. APSys (2022)
Yutaro Hayakawa, Michio Honda, Douglas Santry, Lars Eggert
Prism: Proxies without the Pain. NSDI (2021)
Michio Honda
Packets as Persistent In-Memory Data Structures. HotNets (2021)
Shinichi Awamoto, Erich Focht, Michio Honda
Designing a Storage Software Stack for Accelerators. HotStorage (2020)
Maurice Bailleu, Jörg Thalheim, Pramod Bhatotia, Christof Fetzer, Michio Honda, Kapil Vaswani
SPEICHER: Securing LSM-based Key-Value Stores using Shielded Execution. FAST (2019)
Yutaro Hayakawa, Kenichi Yasukata, Jin Nakazawa, Michio Honda
Resilient Edge: A Scalable, Robust Network Function Backend. IEICE Trans. Inf. Syst. (3) (2019)
Salvatore Pontarelli, Roberto Bifulco, Marco Bonola, Carmelo Cascone, Marco Spaziani, Valerio Bruschi, Davide Sanvito, Giuseppe Siracusano, Antonio Capone, Michio Honda, Felipe Huici
FlowBlaze: Stateful Packet Processing in Hardware. NSDI (2019)
Michio Honda, Giuseppe Lettieri, Lars Eggert, Douglas Santry
PASTE: A Network Programming Interface for Non-Volatile Main Memory. NSDI (2018)
Kenichi Yasukata, Felipe Huici, Vincenzo Maffione, Giuseppe Lettieri, Michio Honda
HyperNF: building a high performance, high utilization and fair NFV platform. SoCC (2017)
Yutaro Hayakawa, Lars Eggert, Michio Honda, Douglas Santry
Prism: a proxy architecture for datacenter networks. SoCC (2017)
Simon Kuenzer, Anton Ivanov, Filipe Manco, Jose Mendes, Yuri Volchkov, Florian Schmidt, Kenichi Yasukata, Michio Honda, Felipe Huici
Unikernels Everywhere: The Case for Elastic CDNs. VEE (2017)
Kenichi Yasukata, Michio Honda, Douglas Santry, Lars Eggert
StackMap: Low-Latency Networking with the OS Stack and Dedicated NICs. USENIX Annual Technical Conference (2016)
Michio Honda, Lars Eggert, Douglas Santry
PASTE: Network Stacks Must Integrate with NVMM Abstractions. HotNets (2016)
Michio Honda, Felipe Huici, Giuseppe Lettieri, Luigi Rizzo
mSwitch: a highly-scalable, modular software switch. SOSR (2015)
Michio Honda, Felipe Huici, Costin Raiciu, João Araújo, Luigi Rizzo
Rekindling network protocol innovation with user-level stacks. Comput. Commun. Rev. 44 (2) (2014)
João Martins, Mohamed Ahmed, Costin Raiciu, Vladimir Andrei Olteanu, Michio Honda, Roberto Bifulco, Felipe Huici
ClickOS and the Art of Network Function Virtualization. NSDI (2014)
Kenichi Yasukata, Tetsuro Horikawa, Michio Honda, Hideyuki Tokuda
Reducing energy consumption with batched task executions. SenSys (2012)
Midori Kato, Kenjiro Cho, Michio Honda, Hideyuki Tokuda
Monitoring the Dynamics of Network Traffic by Recursive Multi-Dimensional Aggregation. MAD (2012)
Costin Raiciu, Christoph Paasch, Sébastien Barré, Alan Ford, Michio Honda, Fabien Duchene, Olivier Bonaventure, Mark Handley
How Hard Can It Be? Designing and Implementing a Deployable Multipath TCP. NSDI (2012)
Midori Kato, Michio Honda, Hideyuki Tokuda
Extending TFWC towards higher throughput. CCNC (2012)
Tetsuro Horikawa, Michio Honda, Jin Nakazawa, Kazunori Takashio, Hideyuki Tokuda
PACUE: Processor Allocator Considering User Experience. Euro-Par Workshops (2) (2011)
Masato Mori, Michio Honda, Jin Nakazawa, Hideyuki Tokuda
pSurvive: A process lifetime reservation system with fine-grained energy monitoring for multifunctional mobile nodes. IWCMC (2011)
Michio Honda, Yoshifumi Nishida, Costin Raiciu, Adam Greenhalgh, Mark Handley, Hideyuki Tokuda
Is it still possible to extend TCP? Internet Measurement Conference (2011)
Michio Honda, Jin Nakazawa, Yoshifumi Nishida, Masahiro Kozuka, Hideyuki Tokuda
A Connectivity-Driven Retransmission Scheme Based On Transport Layer Readdressing. ICDCS (2008)
Michio Honda, Jin Nakazawa, Yoshifumi Nishida, Hideyuki Tokuda
Connectivity-driven flow recovery for time-sensitive transport services. LCN (2008)
Michio Honda, Hiroshi Sakakibara, Yoshifumi Nishida, Hideyuki Tokuda
SmSCTP: A Fast Transport Layer Handover Method Using Single Wireless Interface. ISCC (2007)
Michio Honda, Yoshifumi Nishida, Jin Nakazawa, Hideyuki Tokuda
Performance Enhancement of Transport Layer Handover on Single-Homed Mobile Nodes. IEICE Trans. Commun. (10) (2007)
Tatsuya Hagino, Michio Honda, Akihiko Koga, Reiji Nakajima, Etsuya Shibayama, Taiichi Yuasa
KWIC Example. The IOTA Programming System (1983)
Michio Honda, Reiji Nakajima
Strategies and Techniques for Interactive Proof. The IOTA Programming System (1983)
Michio Honda, Tatsuya Hagino, Etsuya Shibayama
Proof System. The IOTA Programming System (1983)
Reiji Nakajima, Michio Honda, Hayao Nakahara
Hierarchical Program Specification and Verification - a Many-sorted Logical Approach. Acta Informatica 14 (1980)
Michio Honda, Reiji Nakajima
Interactive Theorem Proving on Hierarchically and Modularly Structured Set of Very Many Axioms. IJCAI (1979)
Reiji Nakajima, Michio Honda, Hayao Nakahara
Describing and Verifying Programs with Abstract Data Types. Formal Description of Programming Concepts (1977)