Hideya Iwasaki

According to our database, Hideya Iwasaki authored at least 64 papers between 1989 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Haskell Library for Safer Virtual Machine Introspection (Experience Report).

Takato Otsuka, Hideya Iwasaki

Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, 2023

2022

The TABLET Programming Learning Environment: from Block-based to Text-based Programming.

Takumi Miyajima, Hideya Iwasaki, Yasushi Kuno

J. Inf. Process., 2022

Generating Virtual Machine Code of JavaScript Engine for Embedded Systems.

Yuta Hirasawa, Hideya Iwasaki, Tomoharu Ugawa, Hiro Onozawa

J. Inf. Process., 2022

Fregel: a functional domain-specific language for vertex-centric large-scale graph processing.

Hideya Iwasaki, Kento Emoto, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu

J. Funct. Program., 2022

Replication-based object persistence by reachability.

Kotaro Matsumoto, Tomoharu Ugawa, Hideya Iwasaki

Proceedings of the ISMM '22: ACM SIGPLAN International Symposium on Memory Management, 2022

2021

Fusuma: double-ended threaded compaction.

Hiro Onozawa, Tomoharu Ugawa, Hideya Iwasaki

Proceedings of the ISMM '21: 2021 ACM SIGPLAN International Symposium on Memory Management, 2021

2020

Region-based Detection of Essential Differences in Image-based Visual Regression Testing.

Haruto Tanno, Yu Adachi, Yu Yoshimura, Katsuyuki Natsukawa, Hideya Iwasaki

J. Inf. Process., 2020

2019

eJSTK: Building JavaScript virtual machines with customized datatypes for embedded systems.

Tomoharu Ugawa, Hideya Iwasaki, Takafumi Kataoka

J. Comput. Lang., 2019

dajFS: A New File System with Per-directory Adaptive Journaling.

Wataru Aoyama, Hideya Iwasaki

J. Inf. Process., 2019

Suspend-Less Debugging for Interactive and/or Realtime Programs.

Haruto Tanno, Hideya Iwasaki

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Collecting Type Information Using Unit Tests for Customizing JavaScript Virtual Machines.

Tomoharu Ugawa, Hideya Iwasaki, Takafumi Kataoka

Proceedings of the ICOOOLPS '19: Proceedings of the 14th Workshop on Implementation, 2019

2018

A framework for constructing javascript virtual machines with customized datatype representations.

Takafumi Kataoka, Tomoharu Ugawa, Hideya Iwasaki

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers.

Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki

Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

2016

Integrating lua into C for embedding lua interpreters in a C application.

Akira Tanimura, Hideya Iwasaki

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing.

Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations.

Hideyuki Kawabata, Hideya Iwasaki

Proceedings of the Programming Languages and Systems, 2016

A Debugger-Cooperative Higher-Order Contract System in Python.

Ryoya Arai, Shigeyuki Sato, Hideya Iwasaki

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015

Thunk recycling for lazy functional languages: operational semantics and correctness.

Yasunao Takano, Hideya Iwasaki

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Efficient Use of Hardware Transactional Memory for Parallel Mesh Generation.

Tetsu Kobayashi, Shigeyuki Sato, Hideya Iwasaki

Proceedings of the 44th International Conference on Parallel Processing, 2015

2014

XQuery streaming by Forest Transducers.

Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano, Hideya Iwasaki

Proceedings of the IEEE 30th International Conference on Data Engineering, Chicago, 2014

LibDSL: a library for developing embedded domain specific languages in d via template metaprogramming.

Masato Shioda, Hideya Iwasaki, Shigeyuki Sato

Proceedings of the Generative Programming: Concepts and Experiences, 2014

2013

Adaptive scanning reduces sweep time for the Lisp2 mark-compact garbage collector.

Kazuya Morikawa, Tomoharu Ugawa, Hideya Iwasaki

Proceedings of the International Symposium on Memory Management, 2013

2011

Pruning with improving sequences in lazy functional programs.

Hideya Iwasaki, Takeshi Morimoto, Yasunao Takano

High. Order Symb. Comput., 2011

Automatic parallelization via matrix multiplication.

Shigeyuki Sato, Hideya Iwasaki

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

SAW: Java Synchronization Selection from Lock or Software Transactional Memory.

Yuji Yamada, Hideya Iwasaki, Tomoharu Ugawa

Proceedings of the 17th IEEE International Conference on Parallel and Distributed Systems, 2011

2010

Starvation-free heap size for replication-based incremental compacting garbage collection.

Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa

Proceedings of the International Lisp Conference, 2010

Improved replication-based incremental garbage collection for embedded systems.

Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa

Proceedings of the 9th International Symposium on Memory Management, 2010

2009

Kenro: a virtual machine monitor mostly described in Haskell.

Yoshihiro Oyama, Yoshiki Kaneko, Hideya Iwasaki

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

A Parallel Skeleton Library for Multi-core Clusters.

Yuki Karasawa, Hideya Iwasaki

Proceedings of the ICPP 2009, 2009

Parallel Skeletons for Variable-Length Lists in SkeTo Skeleton Library.

Haruto Tanno, Hideya Iwasaki

Proceedings of the Euro-Par 2009 Parallel Processing, 2009

A Skeletal Parallel Framework with Fusion Optimizer for GPGPU Programming.

Shigeyuki Sato, Hideya Iwasaki

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2008

Tuning mechanisms for two major parameters of Apache web servers.

Akiyoshi Sugiki, Kenji Kono, Hideya Iwasaki

Softw. Pract. Exp., 2008

2007

Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning.

Takeshi Morimoto, Yasunao Takano, Hideya Iwasaki

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

A portable javascript thread library for Ajax applications.

Daisuke Maki, Hideya Iwasaki

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

A Sandbox with a Dynamic Policy Based on Execution Contexts of Applications.

Tomohiro Shioya, Yoshihiro Oyama, Hideya Iwasaki

Proceedings of the Advances in Computer Science, 2007

2006

Basic mechanism of elastic server groups - Dynamic adaptation to load fluctuation.

Masakuni Agetsuma, Kenji Kono, Hideya Iwasaki, Takashi Masuda

Syst. Comput. Jpn., 2006

A library of constructive skeletons for sequential style of parallel programming.

Kiminori Matsuzaki, Hideya Iwasaki, Kento Emoto, Zhenjiang Hu

Proceedings of the 1st International Conference on Scalable Information Systems, 2006

2005

Exploiting mobile code for user-transparent distribution of application-level protocols.

Masakuni Agetsuma, Kenji Kono, Hideya Iwasaki, Takashi Masuda

Syst. Comput. Jpn., 2005

A Practical Approach to Automatic Parameter-Tuning of Web Servers.

Akiyoshi Sugiki, Kenji Kono, Hideya Iwasaki

Proceedings of the Advances in Computer Science, 2005

2004

A New Parallel Skeleton for General Accumulative Computations.

Hideya Iwasaki, Zhenjiang Hu

Int. J. Parallel Program., 2004

An Interactive Proofreading System for Inappropriately Selected Words on Using Predictive Text Entry.

Hideya Iwasaki, Kumiko Tanaka-Ishii

Proceedings of the Natural Language Processing, 2004

A Fusion-Embedded Skeleton Library.

Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi

Proceedings of the Euro-Par 2004 Parallel Processing, 2004

2003

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

Masakuni Agetsuma, Kenji Kono, Hideya Iwasaki, Takashi Masuda

Proceedings of the Advances in Computing Science, 2003

2002

Developing a Lisp-based preprocessor for TEX documents.

Hideya Iwasaki

Softw. Pract. Exp., 2002

Characterizing Feasible Pattern Sets with a Minimum Number of Breaks.

Ryuhei Miyashiro, Hideya Iwasaki, Tomomi Matsui

Proceedings of the Practice and Theory of Automated Timetabling IV, 2002

Pruning Unnecessary Computations using Improving Sequences.

Hideya Iwasaki

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem.

Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001

An Accumulative Parallel Skeleton for All.

Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000

Diff: A Powerful Parallel Skeleton.

Seiichi Adachi, Hideya Iwasaki, Zhenjiang Hu

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Context-sensitive detection and correction of homonym errors in Japanese texts (poster session).

Hideya Iwasaki, Kumiko Tanaka-Ishii, Kei Tateno, Masato Takeichi

Proceedings of the Fifth International Workshop on Information Retrieval with Asian Languages, 2000, Hong Kong, China, September 30, 2000

1999

Calculating Accumulations.

Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi

New Gener. Comput., 1999

Diffusion: Calculating Efficient Parallel Programs.

Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki

Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1999

1998

Towards Manipulation of Mutually Recursive Functions.

Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi

Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998

1997

Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms.

Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi

ACM Trans. Program. Lang. Syst., 1997

Relational Semantics for Locally Nondeterministic Programs.

Liangwei Xu, Masato Takeichi, Hideya Iwasaki

New Gener. Comput., 1997

Tupling Calculation Eliminates Multiple Data Traversals.

Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

A calculational fusion system HYLO.

Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi

Proceedings of the Algorithmic Languages and Calculi, 1997

1996

Cheap Tupling in Calculational Form.

Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi

Proceedings of the Programming Languages: Implementations, 1996

Construction of List Homomorphisms by Tupling and Fusion.

Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

Deriving Structural Hylomorphisms From Recursive Definitions.

Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi

Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem.

Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi

Proceedings of the Euro-Par '96 Parallel Processing, 1996

Extraction of Lexical Translations from Non-Aligned Corpora.

Kumiko Tanaka, Hideya Iwasaki

Proceedings of the 16th International Conference on Computational Linguistics, 1996

1994

Derivation of Algorithms by Introduction of Generation Functions.

Liangwei Xu, Hideya Iwasaki, Masato Takeichi

New Gener. Comput., 1994

1989

mUtilisp: A Lisp Dialect for Parallel Processing.

Hideya Iwasaki

Proceedings of the Parallel Lisp: Languages and Systems, 1989