default search action
Michio Honda
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i2]Steven Wei Der Chien, Kento Sato, Artur Podobas, Niclas Jansson, Stefano Markidis, Michio Honda:
Accelerating Scientific Application through Transparent I/O Interposition. CoRR abs/2401.14576 (2024) - [i1]Tianyi Gao, Xinshu Ma, Suhas Narreddy, Eugenio Luo, Steven W. D. Chien, Michio Honda:
The Case for Transport-Level Encryption in Datacenter Networks. CoRR abs/2406.15686 (2024) - 2023
- [c31]Steven Wei Der Chien
, Kento Sato
Improving Cloud Storage Network Bandwidth Utilization of Scientific Applications. APNet 2023: 172-173 - 2022
- [c30]Tong Xing, Hesam Tajbakhsh, Israat Haque, Michio Honda
Towards portable end-to-end network performance characterization of SmartNICs. APSys 2022: 46-52 - [c29]Shuo Li, Steven Wei Der Chien, Michio Honda
FlexPort: transport scale-out with modern NICs. StudentWorkshop@CoNEXT 2022: 15-16 - 2021
- [c28]Michio Honda
Packets as Persistent In-Memory Data Structures. HotNets 2021: 31-37 - [c27]Yutaro Hayakawa, Michio Honda, Douglas Santry, Lars Eggert:
Prism: Proxies without the Pain. NSDI 2021: 535-549 - 2020
- [c26]Shinichi Awamoto, Erich Focht, Michio Honda:
Designing a Storage Software Stack for Accelerators. HotStorage 2020
2010 – 2019
- 2019
- [j4]Yutaro Hayakawa, Kenichi Yasukata, Jin Nakazawa, Michio Honda:
Resilient Edge: A Scalable, Robust Network Function Backend. IEICE Trans. Inf. Syst. 102-D(3): 550-558 (2019) - [c25]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: 173-190 - [c24]Salvatore Pontarelli, Roberto Bifulco, Marco Bonola, Carmelo Cascone, Marco Spaziani Brunella, Valerio Bruschi, Davide Sanvito, Giuseppe Siracusano, Antonio Capone, Michio Honda, Felipe Huici:
FlowBlaze: Stateful Packet Processing in Hardware. NSDI 2019: 531-548 - 2018
- [c23]Michio Honda, Giuseppe Lettieri, Lars Eggert, Douglas Santry:
PASTE: A Network Programming Interface for Non-Volatile Main Memory. NSDI 2018: 17-33 - 2017
- [c22]Kenichi Yasukata
HyperNF: building a high performance, high utilization and fair NFV platform. SoCC 2017: 157-169 - [c21]Yutaro Hayakawa, Lars Eggert, Michio Honda, Douglas Santry:
Prism: a proxy architecture for datacenter networks. SoCC 2017: 181-188 - [c20]Simon Kuenzer, Anton Ivanov, Filipe Manco, Jose Mendes, Yuri Volchkov, Florian Schmidt
Unikernels Everywhere: The Case for Elastic CDNs. VEE 2017: 15-29 - 2016
- [c19]Michio Honda
PASTE: Network Stacks Must Integrate with NVMM Abstractions. HotNets 2016: 183-189 - [c18]Kenichi Yasukata, Michio Honda, Douglas Santry, Lars Eggert:
StackMap: Low-Latency Networking with the OS Stack and Dedicated NICs. USENIX ATC 2016: 43-56 - 2015
- [c17]Michio Honda
mSwitch: a highly-scalable, modular software switch. SOSR 2015: 1:1-1:13 - 2014
- [j3]Michio Honda
Rekindling network protocol innovation with user-level stacks. Comput. Commun. Rev. 44(2): 52-58 (2014) - [c16]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: 459-473 - 2012
- [c15]Midori Kato, Michio Honda, Hideyuki Tokuda:
Extending TFWC towards higher throughput. CCNC 2012: 79-83 - [c14]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: 399-412 - [c13]Midori Kato, Kenjiro Cho, Michio Honda, Hideyuki Tokuda:
Monitoring the Dynamics of Network Traffic by Recursive Multi-Dimensional Aggregation. MAD 2012 - [c12]Kenichi Yasukata, Tetsuro Horikawa, Michio Honda, Hideyuki Tokuda:
Reducing energy consumption with batched task executions. SenSys 2012: 343-344 - 2011
- [c11]Tetsuro Horikawa, Michio Honda, Jin Nakazawa, Kazunori Takashio, Hideyuki Tokuda:
PACUE: Processor Allocator Considering User Experience. Euro-Par Workshops (2) 2011: 335-344 - [c10]Michio Honda
Is it still possible to extend TCP? Internet Measurement Conference 2011: 181-194 - [c9]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: 1327-1332
2000 – 2009
- 2008
- [c8]Michio Honda
A Connectivity-Driven Retransmission Scheme Based On Transport Layer Readdressing. ICDCS 2008: 277-285 - [c7]Michio Honda, Jin Nakazawa, Yoshifumi Nishida, Hideyuki Tokuda:
Connectivity-driven flow recovery for time-sensitive transport services. LCN 2008: 555-556 - 2007
- [j2]Michio Honda, Yoshifumi Nishida, Jin Nakazawa, Hideyuki Tokuda:
Performance Enhancement of Transport Layer Handover on Single-Homed Mobile Nodes. IEICE Trans. Commun. 90-B(10): 2683-2692 (2007) - [c6]Michio Honda, Hiroshi Sakakibara, Yoshifumi Nishida, Hideyuki Tokuda:
SmSCTP: A Fast Transport Layer Handover Method Using Single Wireless Interface. ISCC 2007: 319-324
1980 – 1989
- 1983
- [c5]Michio Honda, Reiji Nakajima:
Strategies and Techniques for Interactive Proof. The IOTA Programming System 1983: 48-60 - [c4]Michio Honda, Tatsuya Hagino, Etsuya Shibayama:
Proof System. The IOTA Programming System 1983: 99-108 - [c3]Tatsuya Hagino, Michio Honda, Akihiko Koga, Reiji Nakajima, Etsuya Shibayama, Taiichi Yuasa:
KWIC Example. The IOTA Programming System 1983: 114-175 - 1980
- [j1]Reiji Nakajima, Michio Honda, Hayao Nakahara:
Hierarchical Program Specification and Verification - a Many-sorted Logical Approach. Acta Informatica 14: 135-155 (1980)
1970 – 1979
- 1979
- [c2]Michio Honda, Reiji Nakajima:
Interactive Theorem Proving on Hierarchically and Modularly Structured Set of Very Many Axioms. IJCAI 1979: 400-402 - 1977
- [c1]Reiji Nakajima, Michio Honda, Hayao Nakahara:
Describing and Verifying Programs with Abstract Data Types. Formal Description of Programming Concepts 1977: 527-556
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-17 21:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: