Hideya Iwasaki

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