Hideya Iwasaki

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 18

Top Topics

Virtual Machine

Domain Specific Languages

Constraint Solvers

Top Venues

J. Inf. Process.

Publications

Momoka Saito, Hideya Iwasaki, Hideyuki Kawabata, Tsuneyasu Komiya
Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers. Haskell (2024)
Takato Otsuka, Hideya Iwasaki
Haskell Library for Safer Virtual Machine Introspection (Experience Report). Haskell (2023)
Takumi Miyajima, Hideya Iwasaki, Yasushi Kuno
The TABLET Programming Learning Environment: from Block-based to Text-based Programming. J. Inf. Process. 30 (2022)
Yuta Hirasawa, Hideya Iwasaki, Tomoharu Ugawa, Hiro Onozawa
Generating Virtual Machine Code of JavaScript Engine for Embedded Systems. J. Inf. Process. 30 (2022)
Hideya Iwasaki, Kento Emoto, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu
Fregel: a functional domain-specific language for vertex-centric large-scale graph processing. J. Funct. Program. 32 (2022)
Kotaro Matsumoto, Tomoharu Ugawa, Hideya Iwasaki
Replication-based object persistence by reachability. ISMM (2022)
Hiro Onozawa, Tomoharu Ugawa, Hideya Iwasaki
Fusuma: double-ended threaded compaction. ISMM (2021)
Haruto Tanno, Yu Adachi, Yu Yoshimura, Katsuyuki Natsukawa, Hideya Iwasaki
Region-based Detection of Essential Differences in Image-based Visual Regression Testing. J. Inf. Process. 28 (2020)
Wataru Aoyama, Hideya Iwasaki
dajFS: A New File System with Per-directory Adaptive Journaling. J. Inf. Process. 27 (2019)
Tomoharu Ugawa, Hideya Iwasaki, Takafumi Kataoka
Collecting Type Information Using Unit Tests for Customizing JavaScript Virtual Machines. ICOOOLPS@ECOOP (2019)
Haruto Tanno, Hideya Iwasaki
Suspend-Less Debugging for Interactive and/or Realtime Programs. ICST (2019)
Tomoharu Ugawa, Hideya Iwasaki, Takafumi Kataoka
eJSTK: Building JavaScript virtual machines with customized datatypes for embedded systems. J. Comput. Lang. 51 (2019)
Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki
Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers. FLOPS (2018)
Takafumi Kataoka, Tomoharu Ugawa, Hideya Iwasaki
A framework for constructing javascript virtual machines with customized datatype representations. SAC (2018)
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing. ICFP (2016)
Ryoya Arai, Shigeyuki Sato, Hideya Iwasaki
A Debugger-Cooperative Higher-Order Contract System in Python. APLAS (2016)
Akira Tanimura, Hideya Iwasaki
Integrating lua into C for embedding lua interpreters in a C application. SAC (2016)
Hideyuki Kawabata, Hideya Iwasaki
Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations. ESOP (2016)
Tetsu Kobayashi, Shigeyuki Sato, Hideya Iwasaki
Efficient Use of Hardware Transactional Memory for Parallel Mesh Generation. ICPP (2015)
Yasunao Takano, Hideya Iwasaki
Thunk recycling for lazy functional languages: operational semantics and correctness. SAC (2015)
Masato Shioda, Hideya Iwasaki, Shigeyuki Sato
LibDSL: a library for developing embedded domain specific languages in d via template metaprogramming. GPCE (2014)
Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano, Hideya Iwasaki
XQuery streaming by Forest Transducers. ICDE (2014)
Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano, Hideya Iwasaki
XQuery Streaming by Forest Transducers. CoRR (2013)
Kazuya Morikawa, Tomoharu Ugawa, Hideya Iwasaki
Adaptive scanning reduces sweep time for the Lisp2 mark-compact garbage collector. ISMM (2013)
Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa
Improvements of Recovery from Marking Stack Overflow in Mark Sweep Garbage Collection. Inf. Media Technol. 7 (2) (2012)
Shigeyuki Sato, Hideya Iwasaki
Automatic parallelization via matrix multiplication. PLDI (2011)
Hideya Iwasaki, Takeshi Morimoto, Yasunao Takano
Pruning with improving sequences in lazy functional programs. High. Order Symb. Comput. 24 (4) (2011)
Yuji Yamada, Hideya Iwasaki, Tomoharu Ugawa
SAW: Java Synchronization Selection from Lock or Software Transactional Memory. ICPADS (2011)
Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa
Improved replication-based incremental garbage collection for embedded systems. ISMM (2010)
Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa
Starvation-free heap size for replication-based incremental compacting garbage collection. ILC (2010)
Yoshihiro Oyama, Yoshiki Kaneko, Hideya Iwasaki
Kenro: a virtual machine monitor mostly described in Haskell. SAC (2009)
Shigeyuki Sato, Hideya Iwasaki
A Skeletal Parallel Framework with Fusion Optimizer for GPGPU Programming. APLAS (2009)
Yuki Karasawa, Hideya Iwasaki
A Parallel Skeleton Library for Multi-core Clusters. ICPP (2009)
Haruto Tanno, Hideya Iwasaki
Parallel Skeletons for Variable-Length Lists in SkeTo Skeleton Library. Euro-Par (2009)
Yuki Karasawa, Hideya Iwasaki
Parallel Skeletons for Sparse Matrices in SkeTo Skeleton Library. Inf. Media Technol. 3 (2) (2008)
Akiyoshi Sugiki, Kenji Kono, Hideya Iwasaki
Tuning mechanisms for two major parameters of Apache web servers. Softw. Pract. Exp. 38 (12) (2008)
Takeshi Morimoto, Yasunao Takano, Hideya Iwasaki
Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning. PADL (2007)
Tomohiro Shioya, Yoshihiro Oyama, Hideya Iwasaki
A Sandbox with a Dynamic Policy Based on Execution Contexts of Applications. ASIAN (2007)
Daisuke Maki, Hideya Iwasaki
A portable javascript thread library for Ajax applications. OOPSLA Companion (2007)
Masakuni Agetsuma, Kenji Kono, Hideya Iwasaki, Takashi Masuda
Basic mechanism of elastic server groups - Dynamic adaptation to load fluctuation. Systems and Computers in Japan 37 (8) (2006)
Kiminori Matsuzaki, Hideya Iwasaki, Kento Emoto, Zhenjiang Hu
A library of constructive skeletons for sequential style of parallel programming. Infoscale (2006)
Masakuni Agetsuma, Kenji Kono, Hideya Iwasaki, Takashi Masuda
Exploiting mobile code for user-transparent distribution of application-level protocols. Systems and Computers in Japan 36 (1) (2005)
Akiyoshi Sugiki, Kenji Kono, Hideya Iwasaki
A Practical Approach to Automatic Parameter-Tuning of Web Servers. ASIAN (2005)
Hideya Iwasaki, Kumiko Tanaka-Ishii
An Interactive Proofreading System for Inappropriately Selected Words on Using Predictive Text Entry. IJCNLP (2004)
Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi
A Fusion-Embedded Skeleton Library. Euro-Par (2004)
Hideya Iwasaki, Zhenjiang Hu
A New Parallel Skeleton for General Accumulative Computations. Int. J. Parallel Program. 32 (5) (2004)
Masakuni Agetsuma, Kenji Kono, Hideya Iwasaki, Takashi Masuda
Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuation. ASIAN (2003)
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem. APLAS (2002)
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
An Accumulative Parallel Skeleton for All. ESOP (2002)
Hideya Iwasaki
Developing a Lisp-based preprocessor for TEX documents. Softw. Pract. Exp. 32 (14) (2002)
Ryuhei Miyashiro, Hideya Iwasaki, Tomomi Matsui
Characterizing Feasible Pattern Sets with a Minimum Number of Breaks. PATAT (2002)
Hideya Iwasaki
Pruning Unnecessary Computations using Improving Sequences. APLAS (2002)
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
An Accumulative Parallel Skeleton for All. APLAS (2001)
Seiichi Adachi, Hideya Iwasaki, Zhenjiang Hu
Diff: A Powerful Parallel Skeleton. PDPTA (2000)
Hideya Iwasaki, Kumiko Tanaka-Ishii, Kei Tateno, Masato Takeichi
Context-sensitive detection and correction of homonym errors in Japanese texts (poster session). IRAL (2000)
Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki
Diffusion: Calculating Efficient Parallel Programs. PEPM (1999)
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
Calculating Accumulations. New Gener. Comput. 17 (2) (1999)
Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi
Towards Manipulation of Mutually Recursive Functions. Fuji International Symposium on Functional and Logic Programming (1998)
Liangwei Xu, Masato Takeichi, Hideya Iwasaki
Relational Semantics for Locally Nondeterministic Programs. New Gener. Comput. 15 (3) (1997)
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano
Tupling Calculation Eliminates Multiple Data Traversals. ICFP (1997)
Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
A calculational fusion system HYLO. Algorithmic Languages and Calculi (1997)
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms. ACM Trans. Program. Lang. Syst. 19 (3) (1997)
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
Construction of List Homomorphisms by Tupling and Fusion. MFCS (1996)
Kumiko Tanaka, Hideya Iwasaki
Extraction of Lexical Translations from Non-Aligned Corpora. COLING (1996)
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
Cheap Tupling in Calculational Form. PLILP (1996)
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
Deriving Structural Hylomorphisms From Recursive Definitions. ICFP (1996)
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem. Euro-Par, Vol. I (1996)
Liangwei Xu, Hideya Iwasaki, Masato Takeichi
Derivation of Algorithms by Introduction of Generation Functions. New Gener. Comput. 13 (1) (1994)
Hideya Iwasaki
mUtilisp: A Lisp Dialect for Parallel Processing. Workshop on Parallel Lisp (1989)