Taku Shimosawa

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 6

Top Topics

High Performance Computing

Symbolic Execution

Top Venues

iThings/GreenCom/CPSCom/SmartData

IEICE Trans. Commun.

Publications

Tatsuya Sato, Taku Shimosawa, Nariyoshi Yamai
BillingOpsSC: Smart Contract-based Service Billing Management Method for Consortium Blockchain-based Systems. COMPSAC (2023)
Tatsuya Sato, Taku Shimosawa, Yosuke Himura
Operations Smart Contract to Realize Decentralized System Operations Workflow for Consortium Blockchain. IEICE Trans. Commun. (11) (2022)
Tatsuya Sato, Taku Shimosawa, Yosuke Himura
Operations Smart Contract to Realize Decentralized System Operations Workflow for Consortium Blockchain. CoRR (2022)
Tatsuya Sato, Taku Shimosawa, Yosuke Himura
OpsSC: Decentralized Blockchain Network Operation Workflow for Hyperledger Fabric. Blockchain (2021)
Taku Shimosawa, Tatsuya Sato, Satoshi Oshima
BCVerifier: A Tool to Verify Hyperledger Fabric Ledgers. Blockchain (2020)
Yuki Kondo, Taku Shimosawa, Satoshi Oshima
A Practical Screening Method for Blockchain-Based Systems. iThings/GreenCom/CPSCom/SmartData (2018)
Emil Rakadjiev, Taku Shimosawa, Hiroshi Mine, Satoshi Oshima
Parallel SMT Solving and Concurrent Symbolic Execution. TrustCom/BigDataSE/ISPA (3) (2015)
Taku Shimosawa, Balazs Gerofi, Masamichi Takagi, Gou Nakamura, Tomoki Shirasawa, Yuji Saeki, Masaaki Shimizu, Atsushi Hori, Yutaka Ishikawa
Interface for heterogeneous kernels: A framework to enable hybrid OS designs targeting high performance computing on manycore architectures. HiPC (2014)
Yuki Matsuo, Taku Shimosawa, Yutaka Ishikawa
A file I/O system for many-core based clusters. ROSS@ICS (2012)
Jianwei Liao, Taku Shimosawa, Yutaka Ishikawa
Configurable Reliability in Multicore Operating Systems. CSE (2011)
Taku Shimosawa, Hiroya Matsuba, Yutaka Ishikawa
Logical Partitioning without Architectural Supports. COMPSAC (2008)