論文 - 河野　健二

Revisiting Memory Swapping for Big-Memory Applications

Kida S., Imamura S., Kono K.

Proceedings of International Conference on High Performance Computing in Asia-Pacific Region, HPC Asia 2025    33 - 42 2025年03月

　概要を見る

Big-memory applications which have huge memory footprints, such as machine learning and key-value store, are playing important roles in various real-world services. Compute Express Link-based memory (CXL memory) is nowadays attracting a lot of attention for such applications, because it can expand memory capacity on a single machine with fast memory semantic accesses to memory devices attached to PCIe slots. On the other hand, memory swapping is another traditional technique to expand memory capacity by using storage devices as a swap space. It is well known that memory swapping causes a large latency overhead to swap-in/out memory pages from/to storage devices, while it can efficiently utilize main memory when workloads have skewed memory access patterns.In this paper, we quantitatively compare the throughput of 14 macro-benchmarks between CXL memory emulated with a remote NUMA node and memory swapping with an NVMe SSD. Through this evaluation, the benchmarks are classified into three categories, where memory swapping achieves a comparable or higher throughput compared to emulated CXL memory for 9 benchmarks. This result reminds us that memory swapping with SSDs, which are much cheaper than CXL memory devices, is still a good option for memory capacity expansion. In addition, we conduct an in-depth analysis on the characteristics of emulated CXL memory and memory swapping using our synthetic benchmark. The analysis shows that memory swapping is not sensitive to the initial placement of hot data and achieves a comparable throughput to emulated CXL memory when hot data is accessed intensively.

• Access to Document (DOI)

PvCC: A vCPU Scheduling Policy for DPDK-applied Systems at Multi-Tenant Edge Data Centers

Tsujimoto Y., Sato Y., Yasukata K., Ishiguro K., Kono K.

Middleware 2024 - Proceedings of the 25th ACM International Middleware Conference    379 - 391 2024年12月

　概要を見る

This paper explores a practical means to employ Data Plane Development Kit (DPDK), a kernel-bypassing framework for packet processing, in resource-limited multi-tenant edge data centers. The problem is that the traditional virtual CPU (vCPU) schedulers are not well compatible with the event detection model of DPDK, which needs to monopolize a physical CPU (pCPU) for NIC register polling. Consequently, DPDK-applied systems running on consolidated Virtual Machines (VMs), a common setup at edges, fail to achieve low serving latencies regardless of the use of DPDK. Toward edge data center providers, this work presents a new vCPU scheduling policy named Polling vCPU Consolidation (PvCC) which runs DPDK-applied systems on dedicated pCPUs adopting microsecond-scale time slices. Along with this, we introduce a mechanism to determine an appropriate number of dedicated pCPUs according to customers’ demands represented through a newly introduced vCPU scaling API enabling customers to scale up/down the vCPUs of their VMs at runtime. Our experiments show that PvCC allows DPDK-applied systems running on consolidated VMs to achieve low serving latencies, and our vCPU scaling API enables customers to adjust CPU resource assignment according to the incoming request rate and providers to effectively assign spare pCPUs to VMs executing non-latency-sensitive best-effort tasks.

• Access to Document (DOI)

Balancing Analysis Time and Bug Detection: Daily Development-friendly Bug Detection in Linux

Suzuki K., Ishiguro K., Kono K.

Proceedings of the 2024 USENIX Annual Technical Conference, ATC 2024    493 - 508 2024年

　概要を見る

Linux, a battle-tested codebase, is known to suffer from many bugs despite its extensive testing mechanisms. While many of these bugs require domain-specific knowledge for detection, a significant portion matches well-known bug patterns. Even though these bugs can be found with existing tools, our simple check of Linux kernel patches suggests that these tools are not used much in the developer’s daily workflow. The lack of usage is probably due to the well-known trade-off between analysis time and bug detection capabilities: tools typically employ complex analysis to effectively and comprehensively find bugs in return for a long analysis time, or focus on a short analysis time by only employing elementary analyses and thus can only find a very limited number of bugs. Ideally, developers expect the tools to incur short analysis time, while still finding many bugs to use them in daily development. This paper explores an approach that balances this tradeoff by focusing on bugs that can be found with less computationally-complex analysis methods, and limiting the scope to each source code. To achieve this, we propose a combination of computationally lightweight analyses and demonstrate our claim by designing FiTx, a framework for generating daily development-friendly bug checkers that focus on well-known patterns. Despite its simplicity, FiTx successfully identified 47 new bugs in the Linux kernel version 5.15 within 2.5 hours, outperforming Clang Static Analyzer and CppCheck in both speed and bug detection. It demonstrates that focusing on less complex bug patterns can still significantly contribute to the improvement of codebase health. FiTx can be embedded into the daily development routine, enabling early bug detection without sacrificing developers’ time.

Revisiting VM-Agnostic KVM vCPU Scheduler for Mitigating Excessive vCPU Spinning

Ishiguro K., Yasuno N., Aublin P.L., Kono K.

IEEE Transactions on Parallel and Distributed Systems 34 （ 10 ） 2615 - 2628 2023年10月

ISSN  10459219

　概要を見る

In virtualized environments, virtual CPUs (vCPUs) are commonly oversubscribed on physical CPUs (pCPUs) to utilize CPU resources efficiently. However, excessive vCPU spinning, which occurs when a vCPU is waiting in a spin loop for an event from a descheduled vCPU, greatly degrades application performance in virtualized environments. VM-agnostic hypervisors aim to prevent excessive vCPU spinning by rescheduling vCPUs when an excessive spin is detected by hardware support for virtualization. We investigate the effectiveness of the KVM vCPU scheduler and show that it fails to avoid excessive vCPU spinning under various situations. We identify three problems: 1) scheduler mismatch, 2) aggressive limitation of candidate vCPUs, and 3) IPI context misuse. The first problem stems from the mismatch between the KVM vCPU scheduler and the Linux scheduler. The second and third problems come from failures in choosing candidate vCPUs to be scheduled next. Our in-depth analysis reveals simple modification to KVM (89 LoC) can mitigate excessive vCPU spinning. Our simple modification reduces excessive vCPU spinning by up to 96% and improves benchmark performance by up to 2.6×. Part of the proposed mitigation has been integrated with KVM from Linux KVM v5.13 onward.

• Access to Document (DOI)

Nioh-PT: Virtual I/O Filtering for Agile Protection against Vulnerability Windows

Senuki M., Ishiguro K., Kono K.

Proceedings of the ACM Symposium on Applied Computing    1293 - 1300 2023年03月

査読有り

　概要を見る

Hypervisor vulnerabilities cause severe security issues in multi-tenant cloud environments because hypervisors guarantee isolation among virtual machines (VMs). Unfortunately, hypervisor vulnerabilities are continuously reported, and device emulation in hypervisors is one of the hotbeds because of its complexity. Although applying patches to fix the vulnerabilities is a common way to protect hypervisors, it takes time to develop the patches because the internal knowledge on hypervisors is mandatory. The hypervisors are exposed to the threat of the vulnerabilities exploitation until the patches are released.This paper proposes Nioh-PT, a framework for filtering illegal I/O requests, which reduces the vulnerability windows of the device emulation. The key insight of Nioh-PT is that malicious I/O requests contain illegal I/O sequences, a series of I/O requests that are not issued during normal I/O operations. Nioh-PT filters out those illegal I/O sequences and protects device emulators against the exploitation. The filtering rules, which define illegal I/O sequences for virtual device exploits, can be specified without the knowledge on the internal implementation of hypervisors and virtual devices, because Nioh-PT is decoupled from hypervisors and the device emulators. We develop 11 filtering rules against four real-world vulnerabilities in device emulation, including CVE-2015-3456 (VENOM) and CVE-2016-7909. We demonstrate that Nioh-PT with these filtering rules protects against the virtual device exploits and introduces negligible overhead by up to 8% for filesystem and storage benchmarks.

• Access to Document (DOI)

Accelerating Multilingual Applications with In-memory Array Sharing

Nozawa M., Imamura S., Kono K.

Proceedings - 2023 IEEE International Conference on Big Data, BigData 2023    255 - 262 2023年

　概要を見る

Data analysis applications are recently developed by combining multiple programming languages to utilize the advantage of each of them. Such applications are called multilingual applications and can accelerate data-intensive tasks such as data preprocessing and machine learning. However, multilingual applications require time-consuming serialization and deserialization (S/D) processes to exchange data between different programming languages. Although state-of-the-art mechanisms have developed to reduce the time overheads of S/D processes, the overheads are still not trivial due to memory copy of shared data. In this paper, for multilingual applications combining Python and Julia, we propose an in-memory array sharing method that serializes/deserializes only lightweight metadata and directly shares heavy data arrays in a shared memory space. It completely eliminates memory copy of numeric arrays by using a common in-memory metadata format between Python and Julia. Our evaluation shows that the proposed method reduces the execution times of three multilingual machine learning applications by 40.8% to 44.5% compated to a state-of-the-art S/D mechanism. Consequently, it brings the benefit of combining Python and Julia to develop machine learning applications. In addition, we demonstrate that the proposed method has a high scalability to the larger amount of data.

• Access to Document (DOI)

Crash Injection to Persistent Memory for Recovery Code Validation

Sakamoto S., Suzuki K., Kono K.

Proceedings - 2022 IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2022    178 - 184 2022年10月

査読有り

　概要を見る

Persistent Memory(PM) has non-volatilability and byte-addressability, and it can be used in many situations due to its high reliability and high performance. However, the persis-tent nature of PM has great impact on 'rejuvenation'. Crash consistency bugs, which result in inconsistent data structures inside PM after system crashes, cannot be recovered by restarting the crashed program because the data structures in PM are not initialized with the restarts. Most of existing tools for detecting crash consistency bugs adopt static analysis that can explore a wider range of PM code regions and can detect bugs effectively, but it is hard for these tools to consider all the possible states because of the combinatorial explosion. In addition, PM programs usually have recovery code, which recovers PM data from inconsistent states, hence a crash consistency bug can be recovered to a correct state and it should not be reported as a bug. To simulate the execution of PM programs and detect crash consistency bugs dynamically, we propose PM Crash Injector, the first crash injection tool for PM programs to check the correctness of the recovery code. Like fault injection tools, PM Crash Injector injects system crashes into PM programs to cause crash consistency bugs intentionally. If the recovery code works correctly, inconsistent states in PM will be recovered, but if not, they will be left in PM regions and detected as unexpected behavior the program. PM Crash Injector has found 3 bugs in real-world PM systems and 6 manually inserted bugs in the sample programs of PMDK.

• Access to Document (DOI)

大規模 C++ プロジェクトにおけるビルド高速化手法について

窪田貴文，河野健二

コンピュータソフトウェア （岩波書店）  39 （ 3 ） 17 - 32 2022年08月

査読有り

A Survey on How to Improve Build Performance on Large C++ Projects

Kubota T., Kono K.

Computer Software 39 （ 3 ） 17 - 32 2022年

ISSN  02896540

　概要を見る

C++ has been widely used for developing various system software such as compilers, web browsers, and so on. However, as software is growing in size and complexity, long build times of the C++ projects has been problematic. This article introduces and discusses three effective methods to improve build times of the C++ projects (i.e., Unity Builds, Zapcc, and C++ Modules). First, we introduce the background of long build times in large C++ projects and analyze breakdowns of the build times to identify the bottleneck in the build processing. Then, we describe each method and indicate how much it can improve the build performance. We also discuss future work in this research area.

• Access to Document (DOI)

Alleviating file system journaling problem in containers for DBMS consolidation

Abdulrazak Ali Mardan A., Kono K.

IEICE Transactions on Information and Systems E104-D （ 7 ） 931 - 940 2021年07月

査読有り,  ISSN  09168532

　概要を見る

Containers offer a lightweight alternative over virtual machines and become a preferable choice for application consolidation in the clouds. However, the sharing of kernel components can violate the I/O performance and isolation in containers. It is widely recognized that file system journaling has terrible performance side effects in containers, especially when consolidating database management systems (DBMSs). The sharing of journaling modules among containers causes performance dependency among them. This dependency violates resource consumption enforced by the resource controller, and degrades I/O performance due to the contention of the journaling module. The operating system developers have been working on novel designs of file systems or new journaling mechanisms to solve the journaling problems. This paper shows that it is possible to overcome journaling problems without re-designing file systems or implementing a new journaling method. A careful configuration of containers in existing file systems can gracefully solve the problems. Our recommended configuration consists of 1) per-container journaling by presenting each container with a virtual block device to have its own journaling module, and 2) accounting journaling I/Os separately for each container. Our experimental results show that our configuration resolves journalingrelated problems, improves MySQL performance by 3.4x, and achieves reasonable performance isolation among containers.

• Access to Document (DOI)

Mitigating excessive vCPU spinning in VM-Agnostic KVM

Ishiguro K., Yasuno N., Aublin P.L., Kono K.

VEE 2021 - Proceedings of the 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments    139 - 152 2021年04月

査読有り

　概要を見る

In virtualized environments, oversubscribing virtual CPUs (vCPUs) on physical CPUs (pCPUs) is common to utilize CPU resources efficiently. Unfortunately, excessive vCPU spinning, which occurs when a vCPU is waiting in a spin loop for an event from a descheduled vCPU, causes serious performance degradation. Usually, the VM-Agnostic hypervisor tries to prevent excessive vCPU spinning by rescheduling vCPUs when an excessive spin is detected by hardware support for virtualization. This paper investigates the effectiveness of KVM vCPU scheduler and shows it fails to avoid excessive vCPU spinning in many opportunities. Our in-depth analysis reveals simple modifications to KVM (41 LOC) improve the mitigation of excessive vCPU spinning. We have identified three problems: 1) scheduler mismatch, 2) lost opportunity, and 3) overboost. The first problem comes from the mismatch between the KVM vCPU scheduler and the Linux scheduler. The second and third problems come from an inefficient algorithm for choosing the next candidate vCPU to be scheduled. Our simple modifications gracefully resolves the problems and the performance improves by up to 80 %. Our results imply the VM-Agnostic hypervisor can resolve excessive vCPU spinning more gracefully than previously believed.

• Access to Document (DOI)

Native build system for unity builds with sophisticated bundle strategies

Kubota T., Kono K.

IEICE Transactions on Information and Systems E104-D （ 1 ） 126 - 137 2021年01月

査読有り,  ISSN  09168532

　概要を見る

Build systems are essential tools for developing large software projects. Traditionally, build systems have been designed for high incremental-build performance. However, the longer build times of recent large C++ projects have imposed a requirement on build systems: i.e., unity builds. Unity builds are a build technique for speeding up sequential compilation of many source files by bundling multiple source files into one. Unity builds lead to a significant reduction in build time through removal of redundant parsing of shared header files. However, unity builds have a negative effect on incremental builds because each compiler task gets larger. Our previous study reported existing unity builds overlook many better bundle configurations that improve unity-build performance without increasing the incremental-build time. Motivated by the problem, we present a novel build system for better performance in unity builds. Our build system aims to achieve competitive unity-build performance in full builds with mitigating the negative effect on incremental builds. To accomplish this goal, our build system uses sophisticated bundle strategies developed on the basis of hints extracted from the preprocessed code of each source file. Thanks to the strategies, our build system finds better bundle configurations that improve both of the full-build performance and the incremental-build performance in unity builds. For example, in comparison with the state-of-the-art unity builds of WebKit, our build system improves build performance by 9% in full builds, by 39% in incremental builds, and by 23% in continuous builds that include both types of the builds.

• Access to Document (DOI)

Detecting Struct Member-Related Memory Leaks Using Error Code Analysis in Linux Kernel

Keita Suzuki, Takafumi Kubota, Kenji Kono

IEEE International Workshop on Software Aging and Rejuvenation (WoSAR)    329 - 335 2020年10月

査読有り

No More Slow Messages: Programmable Packet Handling in Hard IRQ

Ko Natori, Takafumi Kikuchi, Kenji Kono

IEEE International Symposium on Reliable Distributed Systems (SRDS)    329 - 331 2020年09月

Instruction Filters for Mitigating Attacks on Instruction Emulation in Hypervisors

Kenta Ishiguro, Kenji Kono

IEICE Trans. on Information and Systems E103-D （ 7 ） 1660 - 1671 2020年07月

査読有り

When the Virtual Machine Wins over the Container: DBMS Performance and Isolation in Virtualized Environments

Asraa Abdulrazak Ali Mardan, Kenji Kono

Journal of Information P rocessing 61 （ 7 ） 369 - 377 2020年07月

査読有り

Logging Inter-Thread Data Dependencies in Linux Kernel

Takafumi Kubota, Naohiro Aota, Kenji Kono

IEICE Trans. on Information and Systems E103-D （ 7 ） 1633 - 1646 2020年07月

査読有り

Detecting and Analyzing Year 2038 Problem Bugs in User-level Applications

Keita Suzuki, Takafumi Kubota, Kenji Kono

IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)    65 - 74 2019年12月

査読有り

A Framework for Building Linux-Based Single-Purpose Appliances Optimized for the Cloud

Atsutoshi Osuka, Kenji Kono

IEEE International Conference on Cloud Computing Technology and Seience (CloudCom)    305 - 308 2019年12月

査読有り

Short-Liveness of Error Propagation in Kernel Can Improve Operating Systems Availability

Manabu Sugimoto, Takafumi Kubota, Kenji Kono

IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (Supplements)    23 - 24 2019年06月

File Systems are Hard to Test --- Learning from xfstests

Naohiro Aota, Kenji Kono

IEICE Trans. on Information and Systems E102-D （ 2 ） 269 - 279 2019年02月

査読有り

To Unify or Not To Unify: A Case Study on Unified Builds (in WebKit)

Takafumi Kubota, Yusuke Suzuki, Kenji Kono

International Conference on Compiler Construction (CC)    42 - 52 2019年02月

査読有り

Cooperative GPGPU Scheduling for Consolidating Server Workloads

Yusuke Suzuki, Hiroshi Yamada, Shinpei Kato, Kenji Kono

IEICE Trans. on Information and Systems E101-D （ 12 ） 3019 - 3037 2018年12月

最終著者, 責任著者, 査読有り

An Application Framework for Migrating GPGPU Cloud Applications

Sho Yuhara, Yusuke Suzuki, Kenji Kono

IEEE International Conference on Cloud Computing Technology and Science (CloudCom)    62 - 66 2018年12月

査読有り

Hardening Hypervisors against Vulnerabilities in Instruction Emulators

Kenta Ishiguro, Kenji Kono

ACM European Workshop on Systems Security (EuroSec)    7:1 - 7:6 2018年04月

査読有り

Nioh : Hardening The Hypervisor by Filtering Illegal I/O Requests to Virtual Devices

Junya Ogasawara, Kenji Kono

Annual Computer Security Applications Conference (ACSAC)    542 - 552 2017年12月

査読有り

GLoop: An Event-driven Runtime for Consolidating GPGPU Applications

Yusuke Suzuki, Hiroshi Yamada, Shinpei Kato, Kenji Kono

ACM Symposium on Cloud Computing (SoCC)    80 - 93 2017年09月

査読有り

Containers or Hypervisors, Which is Better for Database Consolidation?

Asraa Abdulrazak Ali Mardan, Kenji Kono

International Workshop on Quality of Service Assurance in the Cloud （IEEE）  2016年12月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

GPUvm: GPU Virtualization at the Hypervisor

Yusuke Suzuki, Shinpei Kato, Hiroshi Yamada, Kenji Kono

IEEE Trans. on Computers 65 （ 5 ） 2752 - 2766 2016年09月

研究論文（学術雑誌）, 共著, 査読有り

• Access to Document (DOI)

メニーコアにおける派生データ型を用いたMPIノード内通信の高速化

島田明男，須藤敦之，堀敦史，石川裕，河野健二

IPSJ Trans. on Advanced Computing Systems 9 （ 2 ） 46 - 63 2016年07月

研究論文（学術雑誌）, 共著, 査読有り

Towards Multi-tenant GPGPU: Event-driven Programming Model for System-wide Scheduling on Shared GPUs

Yusuke Suzuki, Hiroshi Yamada, Shinpei Kato, Kenji Kono

ACM Workshop on Multicore and Rack-scale Systems (MaRS) 2016年04月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

A Case for Static Analysis of Linux to Find Faults in Interrupt Request Handlers

Takeshi Yoshimura, Kenji Kono

IPSJ Trans. on Advanced Computing Systems 9 （ 1 ）  2016年03月

研究論文（学術雑誌）, 共著, 査読有り

Detection of Visual Clickjacking Vulnerabilities in Incomplete Defenses", IPSJ Trans. on Advanced Computing Systems

Yusuke Takamatsu, Kenji Kono

IPSJ Trans. on Advanced Computing Systems 2015年

研究論文（学術雑誌）, 共著

データセンタ間通信による性能低下を抑えた広域分散型キーバリューストア構築手法

堀江光，浅原理人，山田浩史，河野健二

IPSJ Trans. on Advanced Computing Systems 2015年

研究論文（学術雑誌）, 共著, 査読有り

ディスク暗号化システムにおけるプリブート認証OSを用いたユーザ認証方式

平兮亮，関山友輝，峯博史，真矢讓，大島訓，猪口修史，河野健二

IPSJ Trans. on Advanced Computing Systems 7 （ 4 ） 34 - 44 2014年12月

研究論文（学術雑誌）, 共著, 査読有り

A Guideline for Selecting Live Migration Policies and Implementations in Clouds

Akane Koto, Kenji Kono, Hiroshi Yamada

IEEE International Conference on Cloud Computing Technology and Science (CloudCom)    226 - 233 2014年12月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

FoxyFeed: Forging Device-level Asynchronous Events for Kernel Development

Kenji Kono, Shunsuke Miyahara, Hiroshi Yamada, Takeshi Yoshimura

IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)    145 - 154 2014年11月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

Do Injected Faults Cause Real Failures? — A Case Study of Linux —

Nobuo Kikuchi, Takeshi Yoshimura, Ryo Sakuma, Kenji Kono

IEEE International Symposium on Software Reliability Engineering (ISSRE), Student Paper    174 - 179 2014年11月

研究論文（国際会議プロシーディングス）, 査読有り

A VMM-level Approach to Shortening Downtime of Operating Systems Reboots

Hiroshi Yamada, Kenji Kono

IEICE Trans. on Information and Systems E97-D （ 10 ） 2663 - 2675 2014年10月

研究論文（学術雑誌）, 共著, 査読有り

Who writes what checkers? --- Learning from bug repositories

Takeshi Yoshimura, KONO KENJI

USENIX Workshop on Hot Topics in System Dependability (HotDep 2014) 2014年10月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

Clickjuggler: Checking for Incomplete Defenses against Clickjacking

Yusuke Takamatsu, Kenji Kono

IEEE Annual Conference on Privacy, Security and Trust (PST)    224 - 231 2014年07月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

Minimizing WAN Communications in Inter-Datacenter Key-Value Stores

Hikaru Horie, Masato Asahara, Hiroshi Yamada, Kenji Kono

IEEE Int'l Conf. on Cloud Computing (CLOUD '14)    490 - 497 2014年06月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

GPUvm: Why Not Virtualizing GPUs at the Hypervisor?

Yusuke Suzuki, Shinpei Kato, Hiroshi Yamada, Kenji Kono

USENIX Annual Technical Conference (ATC)    109 - 120 2014年06月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

Efficient Update Activation for Virtual Machines in IaaS Cloud Computing Environments

Hiroshi Yamada, Shuntaro Tonosaki, Kenji Kono

IEICE Trans. on Information and Systems E97-D （ 3 ） 469 - 479 2014年03月

研究論文（学術雑誌）, 共著, 査読有り

Screening Legitimate and Fake/Crude Antivirus Software

Masaki Kasuya, Kenji Kono

IPSJ Trans. on Advanced Computing Systems 7 （ 1 ） 14 - 22 2014年03月

研究論文（学術雑誌）, 共著, 査読有り

Pangaea: A Single Key Space, Inter-Datacenter Key-Value Store

Hikaru Horie, Masato Asahara, Hiroshi Yamada and Kenji Kono

IEEE Int'l Conf. on Parallel and Distributed Systems (ICPADS '13)    434 - 435 2013年12月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

Request Dispatching for Cheap Energy Prices in Cloud Data Centers

Hiroshi Yamada, Takumi Sakamoto, Hikaru Horie, Kenji Kono

IEEE Conference on Cloud Networking (CloudNet)    210 - 213 2013年11月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

Honeyguide: A VM Migration-aware Network Topology for Saving Energy Consumption in Data Center Networks

Hiroki Shirayanagi, Hiroshi Yamada, Kenji Kono

IEICE Trans. on Information and Systems E96-D （ 9 ） 2055 - 2064 2013年09月

研究論文（学術雑誌）, 共著, 査読有り

Distinguishing Legitimate and Fake/Crude Antivirus Software

Masaki Kasuya, Kenji Kono

SECURWARE    109 - 116 2013年08月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

Using Fault Injection to Analyze the Scope of Error Propagation in Linux

Takeshi Yoshimura, Hiroshi Yamada, and Kenji Kono

IPSJ Trans. on Advanced Computing Systems (ACS42) 6 （ 2 ） 1-10 2013年04月

研究論文（学術雑誌）, 共著, 査読有り

Traveling Forward in Time to Newer Operating Systems using ShadowReboot

Hiroshi Yamada, Kenji Kono

ACM Conference on Virtual Execution Environments (VEE)    121 - 130 2013年03月

研究論文（学術雑誌）, 共著, 査読有り

Automatically Checking for Session Management Vulnerabilities in Web Applications

Yusuke Takamatsu, Yuji Kosuga, and Kenji Kono: Automatically Checking for Session Management Vulnerabilities in Web Applications

IPSJ Trans. on Advanced Computing Systems (ACS41) 6 （ 1 ） 45-55 2013年01月

研究論文（学術雑誌）, 共著, 査読有り

Honeyguide: A VM Migration-aware Network Topology for Saving Energy Consumption in Data Center Networks

Hiroki Shirayanagi, Hiroshi Yamada, and Kenji Kono

IEEE Symposium on Computers and Communication (ISCC '12) 2012年07月

研究論文（学術雑誌）, 共著, 査読有り

A Study on the Scope of Error Propagation in Linux

Takeshi Yoshimura, Hiroshi Yamada, Kenji Kono

IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012) 2012年06月

研究論文（学術雑誌）, 共著, 査読有り

Inter-Datacenter Elastic Key-value Storage

Hikaru Horie, Masato Asahara, Hiroshi Yamada, Kenji Kono

Proc. of 10th International Conference on Optical Internet (COIN2012) 2012年05月

研究論文（学術雑誌）, 共著, 査読有り

MashCache: Taming Flash Crowds by Using Their Good Features

堀江 光，浅原 理人，山田 浩史，河野 健二

IPSJ Trans. on Advanced Computing Systems (ACS 37) 5 （ 2 ） 10-22 2012年03月

研究論文（学術雑誌）, 共著, 査読有り

Lightweight Recovery from Kernel Failures using Phase-based Reboot

山木田 和哉，山田 浩史，河野 健二

IPSJ Trans. on Advanced Computing Systems (ACS 37) 5 （ 2 ） 121-132 2012年03月

研究論文（学術雑誌）, 共著, 査読有り

ネットワーク侵入検知システムの協調による性能と耐障害性の向上

花岡美幸，河野 健二

情報処理学会論文誌コンピューティングシステム 5 （ 1 ） 13-26 2012年01月

研究論文（学術雑誌）, 共著, 査読有り

Clustering Performance Anomalies Based on Similarity in Processing Time Changes

岩田 聡，河野 健二

IPSJ Trans. on Advanced Computing Systems 5 （ 1 ） 1-12 2012年01月

研究論文（学術雑誌）, 共著, 査読有り

Is Linux Kernel Oops Useful or Not?

Takeshi Yoshimura, Hiroshi Yamada, Kenji Kono

In Proc. of the 8th Workshop on Hot Topics in System Dependability (HotDep '12) 2012年

研究論文（学術雑誌）, 共著, 査読有り

Automated Detection of Session Management Vulnerabilities in Web Applications

Yusuke Takamatsu, Yuji Kosuga and Kono Kenji

In Proc. of Tenth Annual Conference on Privacy, Security and Trust (PST2012) 2012年

研究論文（学術雑誌）, 共著, 査読有り

Towards Unobtrusive VM Live Migration for Cloud Computing Platforms

Akane Koto, Hiroshi Yamada, Kei Ohmura, and Kenji Kono

In Proc. of the 3rd ACM SIGOPS Asia-Pacific Workshop on Systems (APSys '12) 2012年

研究論文（学術雑誌）, 共著, 査読有り

ブラウザのアドオンを利用したアドウェアのイベント注入による振る舞い解析

糟谷 正樹, 河野 健二

情報処理学会論文誌 52 （ 12 ） 3775-3785 2011年12月

研究論文（学術雑誌）, 共著, 査読有り

Efficiently Synchronizing Virtual Machines in Cloud Computing Environments

殿崎 俊太郎，河野 健二

Proc. of the 3rd IEEE International Conference on Cloud Computing Technology and Science (CloudCom '11)    154 - 162 2011年11月

研究論文（学術雑誌）, 共著, 査読有り

Amberate: Web アプリケーションの脆弱性自動検出フレームワーク

小菅祐史，河野 健二

コンピュータソフトウェア 28 （ 4 ） 175-195 2011年11月

研究論文（学術雑誌）, 共著, 査読有り

Can Linux be Rejuvenated without Reboots?

吉村 剛，山田 浩史，河野 健二

Proc. of the 3rd International Workshop on Software Aging and Rejuvenation co-located with the 22nd IEEE ISSRE (WoSAR '11) 2011年11月

研究論文（学術雑誌）, 共著, 査読有り

Traveling Forwards in Time to Newer Operating Systems using ShadowReboot

Hiroshi Yamada, Kenji Kono

ACM SIGOPS Asia-Pacific Workshop on Systems (APSys '11)    To appear 2011年07月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Phase-based Reboot: Reusing Operating System Execution Phases for Cheap Reboot-based Recovery

Kazuya Yamakita, Hiroshi Yamada, Kenji Kono

IEEE/IFIP International Conference on Dependable Systems and Networks (DSN '11)    To appear 2011年06月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Clustering Performance Anomalies in Web Applications Based on Root Causes

Satoshi Iwata, Kenji Kono

IEEE/ACM International Conference on Autonomic Computing (ICAC '11)    To appear 2011年06月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Performance Improvement by Coordinating Configurations of Independently-managed NIDS

Miyuki Hanaoka, Kenji Kono, Toshio Hirotsu, Hirotake Abe

International Journal of Computer Science and Network Security 11 （ 5 ） 1-11 2011年05月

研究論文（学術雑誌）, 共著, 査読有り

A State-aware Protocol Fuzzer based on Application-layer Protocols

Takahisa Kitagawa Miyuki Hanaoka Kenji Kono

IEICE Transactions on Information and Systems E94-D （ 5 ） 1008-1017 2011年03月

研究論文（学術雑誌）, 共著, 査読有り

マルチコア CPU の電力消費特性を考慮した仮想 CPU スケジューラ

吉田哲也，山田浩史，佐々木広，河野健二，中村宏

IPSJ Transactions on Advanced Computing Systems 4 （ 2 ） 25-39 2011年03月

研究論文（学術雑誌）, 共著, 査読有り

User-level Enforcement of Appropriate Background Process Execution

Yoshihisa Abe, Hiroshi Yamada, Kenji Kono

IPSJ Transactions on Advanced Computing Systems 4 （ 2 ） 94-113 2011年03月

研究論文（学術雑誌）, 共著, 査読有り

アプリケーション層プロトコルの状態を考慮した広域ネットワーク上での仮想マシン移送

石川豊 山田浩史 浅原理人 花岡美幸 河野健二

IPSJ Transactions on Advanced Computing Systems 4 （ 2 ） 12-24 2011年03月

研究論文（学術雑誌）, 共著, 査読有り

Practical Approach to Integrating Network Coordinates with Distributed Hash Tables

Toshinori Kojima Masato Asahara Kenji Kono Ai Hayakawa

IPSJ Transactions on Advanced Computing Systems 4 （ 1 ） 95-110 2011年02月

研究論文（学術雑誌）, 共著, 査読有り

Generating Effective Attacks for Efficient and Precise Penetration Testing against SQL Injection

Yuji Kosuga Miyuki Hanaoka Kenji Kono

IPSJ Transactions on Advanced Computing Systems 4 （ 1 ） 69-82 2011年02月

研究論文（学術雑誌）, 共著, 査読有り

P2P-Based Approach to Finding Replica Server Locations for Alleviating Flash Crowds

Masato Asahara Kenji Kono Ai Hayakawa Toshinori Kojima

IEICE Transactions on Information and Systems E93D （ 11 ）  2010年11月

研究論文（学術雑誌）, 共著, 査読有り

A Strategy for Efficient Update Propagation on Peer-to-Peer based Content Distribution Networks

Ai Hayakawa Masato Asahara Kenji Kono

IPSJ Transactions on Advanced Computing Systems 3 （ 3 ） 138-152 2010年09月

研究論文（学術雑誌）, 共著, 査読有り

ウェブアプリケーションの性能異常兆候検出への管理図の適用

岩田聡 河野 健二

IPSJ Transactions on Advanced Computing Systems 3 （ 3 ） 221-234 2010年09月

研究論文（学術雑誌）, 共著, 査読有り

AspFuzz: A State-aware Protocol Fuzzer based on Application-layer Protocols

AYUMU TANOUE TAKAHISA KITAGAWA HANAOKA MIYUKI KONO KENJI

IEEE Int'l Symp. on Computers and Communications    202-208 2010年06月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Quick Reboot-based Recovery for Commodity Operating Systems in Virtualized Server Consolidation

Takahiro Kobayashi Hiroshi Yamada KONO KENJI

ACM Workshop on Isolation and Integration for Dependable Systems (IIDS)    To appear 2010年04月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Narrowing Down Possible Causes of Performance Anomaly in Web Applications

SATOSHI IWATA KONO KENJI

European Dependable Computing Conference (EDCC '10)    185-190 2010年04月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

ウェブアプリケーションに適した管理図による性能異常の早期検出

岩田 聡 河野 健二

第6回ディペンダブルシステムシンポジウム(DSS2009) 2009年12月

研究論文（研究会，シンポジウム資料等）, 共著

Efficient Update Propagation by Speculating Replica Locations on Peer-to-Peer Networks

Ai Hayakawa Masato Asahara KONO KENJI Toshinori Kojima

IEEE International Conference on Parallel and Distributed Systems (ICPADS '09)    422-431 2009年12月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Yataglass+: メモリスキャン攻撃を組み込んだ攻撃コードの振る舞い解析

嶋村 誠 河野 健二

IPSJ Transactions on Advanced Computing Systems 2 （ 12 ） 48-63 2009年12月

研究論文（学術雑誌）, 共著, 査読有り

Reducing Security Policy Size for Internet Servers in Secure Operating Systems

Toshihiro Yokoyama Miyuki Hanaoka Makoto Shimamura Kenji Kono Takahiro Shinagawa

IEICE Trans. on Information and Systems E92-D （ 11 ） 2196-2206 2009年11月

研究論文（学術雑誌）, 共著, 査読有り

Embedding Network Coordinates into the Heart of Distributed Hash Tables

Toshinori Kojima Masato Asahara KONO KENJI Ai Hayakawa

IEEE International Conference on Peer-to-Peer Computing (P2P '09)    155-158 2009年09月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Yataglass: 攻撃の擬似実行による攻撃メッセージの振る舞いの解析

嶋村 誠 河野 健二

情報処理学会論文誌 50 （ 9 ） 2371-2381 2009年09月

研究論文（学術雑誌）, 共著, 査読有り

Using a Virtual Machine Monitor to Slow Down CPU Speed for Embedded Time-Sensitive Software Testing

TETSUYA YOSHIDA HIROSHI YAMADA KONO KENJI

IPSJ Transactions on Advanced Computing Systems 2 （ 3 ） 116-130 2009年09月

研究論文（学術雑誌）, 共著, 査読有り

ネットワークタイムスタンプによるリモート仮想マシンモニタ検出

嶋村 誠 河野 健二

情報処理学会論文誌 (研究会推薦論文） 50 （ 8 ） 1870-1882 2009年08月

研究論文（学術雑誌）, 共著, 査読有り

なぜソフトウェア論文を書くのは難しい（と感じる）のか

権藤 克彦 明石 修 伊地知 宏 岩崎 英哉 河野 健二 豊田 正史 上田 和紀

コンピュータソフトウェア 26 （ 4 ） 17-29 2009年07月

研究論文（学術雑誌）, 共著, 査読有り

実行時のフェーズを用いたセキュリティポリシー簡略化

品川 高廣 忠鉢洋輔 河野 健二 加藤 和彦

IPSJ Transactions on Advanced Computing Systems 2 （ 2 ） 166-177 2009年07月

研究論文（学術雑誌）, 共著, 査読有り

Yataglass: Network-level Code Emulation for Analyzing Memory-scanning Attacks

MAKOTO SHIMAMURA KONO KENJI

Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA), LNCS 5587    68-87 2009年07月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Performance Improvement by means of Collaboration between Network Intrusion Detection Systems

MIYUKI HANAOKA KONO KENJI TOSHIO HIROTSU

Communication Networks and Services Research Conference (CNSR)    262-269 2009年05月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Simplifying Security Policy Descriptions for Internet Servers in Secure Operating Systems

TOSHINORI YOKOYAMA HANAOKA MIYUKI SHIMAMURA MAKOTO KONO KENJI

ACM Symposium on Applied Computing (SAC)    326-333 2009年03月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

BitVisor: A Thin Hypervisor for Enforcing I/O Device Security

Takahiro Shinagawa Hideki Eiraku Kouichi Tanimoto Kazumasa Omote Syoichi Hasegawa Takashi Horie Manabu Hirano Kenichi Kourai Yoshihiro Ohyama Eiji Kawai Kenji Kono Shigeru Chiba Yasushi Shinjo Kazuhiko Kato KONO KENJI

ACM Int'l Conf. on Virtual Execution Environments (VEE '09)    121-130 2009年03月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Tuning mechanisms for two major parameters of Apache web servers

杉木 章義 河野 健二 岩崎 英哉

Software: Practice and Experience 38 （ 12 ） 1215-1240 2008年10月

研究論文（学術雑誌）, 共著, 査読有り

FlexBox: Sandboxing Internet Servers based on Layer-7 Contexts

AYUMU TANOUE SHIMAMURA MAKOTO HANAOKA MIYUKI KONO KENJI

IEEE Int'l Symp. on Computers and Communications    386-391 2008年07月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Introducing New Resource Management Policies using a Virtual Machine Monitor

HIROSHI YAMADA KONO KENJI

IPSJ Transactions on Advanced Computing Systems 1 （ 1 ） 144-159 2008年06月

研究論文（学術雑誌）, 共著, 査読有り

FoxyLargo: Slowing Down CPU Speed with a Virtual Machine Monitor for Embedded Time-Sensitive Software Testing

TETSUYA YOSHIDA HIROSHI YAMADA KONO KENJI

International Workshop on Virtualization Technology (IWVT)    1-11 2008年06月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Strategy for Selecting Replica Server Spots on the Basis of Demand Fluctuations

MASATO ASAHARA AKIO SHIMADA HIROSHI YAMADA KONO KENJI

IPSJ Transactions on Advanced Computing Systems 1 （ 1 ） 160-173 2008年06月

研究論文（学術雑誌）, 共著, 査読有り

Enforcing Appropriate Process Execution for Exploiting Idle Resources from Outside Operating Systems

ABE YOSHIHISA YAMADA HIROSHI KONO KENJI

ACM European Conf. on Computer Systems (EuroSys)    27-40 2008年04月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Filtering False Positives Based on Server-side Behaviors

MAKOTO SHIMAMURA HANAOKA MIYUKI KONO KENJI

IEICE Trans. on Information and Systems E91-D （ 2 ） 264-276 2008年02月

研究論文（学術雑誌）, 共著, 査読有り

DiscNice: User-level Regulation of Disk Bandwidth

YAMADA HIROSHI KONO KENJI

IPSJ Trans. on Advanced Computing Systems (ACS) 48 （ SIG 18 (ACS 20) ） 83-98 2007年12月

研究論文（学術雑誌）, 共著, 査読有り

TCP Reassembler for Layer7-aware Network Intrusion Detection/Prevention Systems

花岡 美幸 嶋村 誠 河野 健二

IEICE Trans. on Information and Systems E90-D （ 12 ） 2019-2032 2007年12月

研究論文（学術雑誌）, 共著, 査読有り

Finding Candidate Spots for Replica-Servers based on Demand Fluctuation

浅原 理人 島田 明男 山田 浩史 河野 健二

IEEE Int'l Conf. on Parallel and Distributed Systems (ICPADS)    CD-ROM 2007年12月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Sania: Syntactic and Semantic Analysis for Automated Testing against SQL Injection

小菅 祐史 河野 健二 花岡 美幸 菱山 美穂 高濱 祐

Annual Computer Security Applications Conference (ACSAC)    107-116 2007年12月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

An Efficient TCP Reassembler Mechanism for Layer7-aware Network Intrusion Detection/Prevention Systems

花岡 美幸 嶋村 誠 河野 健二

IEEE Int'l Symp. on Computers and Communications    79-86 2007年06月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

FoxyTechnique: Tricking Operating System Policies with a Virtual Machine Monitor

山田 浩史 河野 健二

ACM Int'l Conf. on Virtual Execution Environments (VEE)    55-64 2007年06月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

アプリケーション層プロトコルの記述に基づく拡張性に優れたプロトコル処理コード生成系

阿部 勝幸 岩崎 英哉 河野 健二

コンピュータソフトウェア 24 （ 2 ） 150-163 2007年03月

研究論文（学術雑誌）, 共著, 査読有り

リクエスト待機間隔を考慮したウェブサーバの keep-alive 時間の自動設定

杉木 章義 河野 健二 岩崎 英哉

コンピュータソフトウェア 24 （ 2 ） 68-78 2007年03月

研究論文（学術雑誌）, 共著, 査読有り

Using Attack Information to Reduce False Positives in Network IDS

SHIMAMURA MAKOTO KONO KENJI

IEEE Int'l Symp. on Computers and Communications 2006年06月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

User-level disk-bandwidth control for resource-borrowing network applications

YAMADA HIROSHI KONO KENJI

IEEE Network Operations and Management Symposium 2006年04月

研究論文（学術雑誌）, 共著, 査読有り

A Practical Approach to Automatic Parameter-Tuning of Web Servers

Akiyoshi Sugiki Kenji Kono Hideya Iwasaki

Springer, Lecture Notes in Computer Science (LNCS), Advances in Computing Science - ASIAN 2005    To appear 2005年12月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Basic Mechanism of Elastic Server Groups - Dynamic Adaptation to Load Fluctuation

Masakuni Agetsuma Kenji Kono Hideya Iwasaki Takashi Masuda

IEICE Journal J88-D1 （ 4 ） 767-779 2005年04月

研究論文（学術雑誌）, 共著, 査読有り

Improving Internet Server Security by Filtering on TCP Streams

Kenji Kono Takahiro Shinagawa Md. Rahat Kabir

IPSJ Transactions on Advanced Computing Systems 46 （ SIG4(ACS9) ） 33-44 2005年03月

研究論文（学術雑誌）, 共著, 査読有り

An Integrated Laboratory for Processor Organization, Compiler Design, and Computer Networking

Koki Abe Takamichi Tateoka Mitsugu Suzuki Youichi Maeda Kenji Kono Tan Watanabe

IEEE Transactions on Education 47 （ 3 ） 311-320 2004年08月

研究論文（学術雑誌）, 共著, 査読有り

Minimizing Privileged Code in Setuid Programs using Fine-grained Protection Domains

Takahiro Shinagawa Kenji Kono Takashi Masuda

Computer Software 21 （ 2 ） 25-31 2004年03月

研究論文（学術雑誌）, 共著, 査読有り

Implementing a Secure Setuid Program

Takahiro Shinagawa Kenji Kono

Int'l Conf. on Parallel and Distributed Computing and Networks    301-309 2004年02月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Design and Implementation of a Distributed File System based on File Migration

Kouich Murata Kenji Kono Hideya Iwasaki Takashi Masuda

Computer Software 21 （ 4 ） 43-48 2004年

研究論文（学術雑誌）, 共著, 査読有り

Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuation

Masakuni Agetsuma Kenji Kono Hideya Iwasaki Takashi Masuda

Lecture Notes in Computer Science (LNCS) 2896, Advances in Computing Science, Springer    18-32 2003年12月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

notavaCC: A compiler compiler that generates object-oriented abstract syntax trees

T. Koto K. Kono I. Takeuchi

IPSJ Transactions on Programming 44 （ SIG13(PRO18) ） 84-99 2003年10月

研究論文（学術雑誌）, 共著, 査読有り

A Resource Management Scheme Resilient to Resource-Monopolizing DoS

Kenji Kono Wataru Kaneko Kentaro Shimizu

IPSJ Transactions on Advanced Computing Systems 44 （ SIG11(ACS3) ） 191-200 2003年08月

研究論文（学術雑誌）, 共著, 査読有り

Exploiting Mobile Codes for User-Transparent Distribution of Application-Level Protocols

Masakuni Agetsuma Kenji Kono Hideya Iwasaki Takashi Masuda

IEICE Jornal J86-D-I （ 6 ） 389-401 2003年06月

研究論文（学術雑誌）, 共著, 査読有り

A Hierarchical Protection Model for Protecting against Executable Contents

Takahiro Shinagawa Kenji Kono Takashi Masuda

Proc. of Int'l Conf. Computer Science and Technology    194-202 2003年05月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Preemptive Resource Management: Defending against Resource Monopolizing DoS

Wataru Kaneko Kenji Kono Kentaro Shimizu

Int'l Conf. on Parallel and Distributed Computing and Networks    662-669 2003年02月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

A framework for simplifying the programming of application-level protocols

Kenji Kono

IPSJ Transactions on Programming 44 （ SIG2(PRO16) ） 25-35 2003年02月

研究論文（学術雑誌）, 単著, 査読有り

Flexible and Efficient Sandboxing Based on Fine-Grained Protection Domains

Takahiro Shinagawa Kenji Kono Takashi Masuda

Software Security - Theories and Systems, Lecture Notes in Computer Science, Hot Topics No. 2609, Springer-Verlag    172-184 2003年

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

An Integrated Laboratory for Computer Architecture and Networking

T. Tateoka M. Suzuki K. Kono Y. Maeda K. Abe

Proc. of Workshop on Computer Architecture and Networking    110-117 2002年

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

YabAI: The First Rescue Simulation League Champion

Takeshi Morimoto Kenji Kono Ikuo Takeuchi

RoboCup-2001: Robot Soccer WorldCup V, Lecture Notes in Computer Science (LNCS) 2377, Springer-Verlag    49-59 2002年

研究論文（学術雑誌）, 単著

A Secure Execution Environment for Executable Contents

Takahiro Shinagawa Kenji Kono Takashi Masuda

Journal of Information Processing Society of Japan 43 （ 6 ） 1677-1689 2002年

研究論文（学術雑誌）, 単著, 査読有り

Efficient Object Serialization by Dynamic Specialization in RMI

Kenji Kono Takashi Masuda

Journal of Information Processing Society of Japan 41 （ 10 ） 2916-2925 2000年10月

研究論文（学術雑誌）, 共著, 査読有り

Efficient RMI: Dynamic Specialization of Object Serialization

Kenji Kono Takashi Masuda

IEEE Int'l Conf. on Distributed Computing Systems    308-315 2000年04月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Kernel Support for Fine-Grained Protection Domains for Extension Components

Takahiro Shinagawa Kenji Kono Masahiko Takahashi Takashi Masuda

Journal of Information Processing Society of Japan 40 （ 6 ） 2596-2606 1999年06月

研究論文（学術雑誌）, 共著, 査読有り

A Mechanism of Sharing Objects in Cooperative Autonomous Systems

Kenji Kono Kazuhiko Kato Takashi Masuda

Computer Software （Japan Soceity of Software Science and Technology）  16 （ 2 ） 51-55 1999年03月

研究論文（学術雑誌）, 共著, 査読有り

Efficient Kernel Support of Fine-Grained Protection Domains for Mobile Code

Masahiko Takahashi Kenji Kono Takashi Masuda

IEEE Int'l Conf. on Distributed Computing Systems （IEEE）     64-73 1999年

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Comparison and Performance Study of Parameter-Passing Semantics and Implementations of Remote Method Invocation

Kenji Kono, Kazuhiko Kato, Takashi Masuda

Proc. of European Conf. on Parallel and Distributed Systems    286-292 1998年07月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Protected and secure mobile object computing in PLANET

K. Kato, K. Tomura, K. Matsubara, S. Aikawa, J. Yoshida, K. Kono, K. Taura, T. Sekiguchi

Proc. of Second ECOOP Workshop on Mobile Object Systems, Dpunkt-Verlag    319-326 1997年07月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

An Implementation Method of Migratable Distributed Objects using an RPC Technique Integrated with Virtual Memory Management

Kenji Kono, Kazuhiko Kato, Takashi Masuda

Proc. of European Conf. on Object-Oriented Programming (ECOOP), Lecture Notes in Computer Science (LNCS) 1098, Springer-Verlag    295-315 1996年

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Smart Remote Procedure Calls: Transparent Treatment of Remote Pointers

Kenji Kono, Kazuhiko Kato

Proc. of IEEE 14th Int'l Conf. on Distributed Computing Systems （IEEE）     142-151 1994年

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り