![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Hideya Iwasaki
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c49]Takato Otsuka, Hideya Iwasaki:
Haskell Library for Safer Virtual Machine Introspection (Experience Report). Haskell 2023: 89-96 - 2022
- [j16]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: e4 (2022) - [j15]Yuta Hirasawa, Hideya Iwasaki
, Tomoharu Ugawa, Hiro Onozawa:
Generating Virtual Machine Code of JavaScript Engine for Embedded Systems. J. Inf. Process. 30: 679-693 (2022) - [j14]Takumi Miyajima, Hideya Iwasaki
, Yasushi Kuno:
The TABLET Programming Learning Environment: from Block-based to Text-based Programming. J. Inf. Process. 30: 729-741 (2022) - [c48]Kotaro Matsumoto, Tomoharu Ugawa, Hideya Iwasaki
:
Replication-based object persistence by reachability. ISMM 2022: 43-56 - 2021
- [c47]Hiro Onozawa, Tomoharu Ugawa
, Hideya Iwasaki
:
Fusuma: double-ended threaded compaction. ISMM 2021: 94-106 - 2020
- [j13]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: 268-278 (2020)
2010 – 2019
- 2019
- [j12]Wataru Aoyama, Hideya Iwasaki
:
dajFS: A New File System with Per-directory Adaptive Journaling. J. Inf. Process. 27: 369-377 (2019) - [j11]Tomoharu Ugawa
, Hideya Iwasaki
, Takafumi Kataoka:
eJSTK: Building JavaScript virtual machines with customized datatypes for embedded systems. J. Comput. Lang. 51: 261-279 (2019) - [c46]Tomoharu Ugawa, Hideya Iwasaki, Takafumi Kataoka:
Collecting Type Information Using Unit Tests for Customizing JavaScript Virtual Machines. ICOOOLPS@ECOOP 2019: 2:1-2:4 - [c45]Haruto Tanno, Hideya Iwasaki
:
Suspend-Less Debugging for Interactive and/or Realtime Programs. ICST 2019: 194-205 - 2018
- [c44]Akimasa Morihata
, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki
:
Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers. FLOPS 2018: 166-181 - [c43]Takafumi Kataoka, Tomoharu Ugawa, Hideya Iwasaki
:
A framework for constructing javascript virtual machines with customized datatype representations. SAC 2018: 1238-1247 - 2016
- [c42]Ryoya Arai, Shigeyuki Sato, Hideya Iwasaki
:
A Debugger-Cooperative Higher-Order Contract System in Python. APLAS 2016: 148-168 - [c41]Hideyuki Kawabata, Hideya Iwasaki
:
Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations. ESOP 2016: 390-418 - [c40]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: 200-213 - [c39]Akira Tanimura, Hideya Iwasaki
:
Integrating lua into C for embedding lua interpreters in a C application. SAC 2016: 1936-1943 - 2015
- [c38]Tetsu Kobayashi, Shigeyuki Sato
, Hideya Iwasaki
:
Efficient Use of Hardware Transactional Memory for Parallel Mesh Generation. ICPP 2015: 600-609 - [c37]Yasunao Takano, Hideya Iwasaki
:
Thunk recycling for lazy functional languages: operational semantics and correctness. SAC 2015: 2079-2086 - 2014
- [c36]Masato Shioda, Hideya Iwasaki
, Shigeyuki Sato
:
LibDSL: a library for developing embedded domain specific languages in d via template metaprogramming. GPCE 2014: 63-72 - [c35]Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano
, Hideya Iwasaki
:
XQuery streaming by Forest Transducers. ICDE 2014: 952-963 - 2013
- [c34]Kazuya Morikawa, Tomoharu Ugawa, Hideya Iwasaki:
Adaptive scanning reduces sweep time for the Lisp2 mark-compact garbage collector. ISMM 2013: 15-26 - [i1]Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano, Hideya Iwasaki:
XQuery Streaming by Forest Transducers. CoRR abs/1311.6570 (2013) - 2011
- [j10]Hideya Iwasaki
, Takeshi Morimoto, Yasunao Takano:
Pruning with improving sequences in lazy functional programs. High. Order Symb. Comput. 24(4): 281-309 (2011) - [c33]Yuji Yamada, Hideya Iwasaki
, Tomoharu Ugawa:
SAW: Java Synchronization Selection from Lock or Software Transactional Memory. ICPADS 2011: 104-111 - [c32]Shigeyuki Sato
, Hideya Iwasaki
:
Automatic parallelization via matrix multiplication. PLDI 2011: 470-479 - 2010
- [c31]Tomoharu Ugawa, Hideya Iwasaki
, Taiichi Yuasa:
Improved replication-based incremental garbage collection for embedded systems. ISMM 2010: 73-82 - [c30]Tomoharu Ugawa, Hideya Iwasaki
, Taiichi Yuasa:
Starvation-free heap size for replication-based incremental compacting garbage collection. ILC 2010: 43-52
2000 – 2009
- 2009
- [c29]Shigeyuki Sato, Hideya Iwasaki
:
A Skeletal Parallel Framework with Fusion Optimizer for GPGPU Programming. APLAS 2009: 79-94 - [c28]Haruto Tanno, Hideya Iwasaki
:
Parallel Skeletons for Variable-Length Lists in SkeTo Skeleton Library. Euro-Par 2009: 666-677 - [c27]Yuki Karasawa, Hideya Iwasaki
:
A Parallel Skeleton Library for Multi-core Clusters. ICPP 2009: 84-91 - [c26]Yoshihiro Oyama, Yoshiki Kaneko, Hideya Iwasaki
:
Kenro: a virtual machine monitor mostly described in Haskell. SAC 2009: 1940-1941 - 2008
- [j9]Akiyoshi Sugiki, Kenji Kono, Hideya Iwasaki
:
Tuning mechanisms for two major parameters of Apache web servers. Softw. Pract. Exp. 38(12): 1215-1240 (2008) - 2007
- [c25]Tomohiro Shioya, Yoshihiro Oyama, Hideya Iwasaki
:
A Sandbox with a Dynamic Policy Based on Execution Contexts of Applications. ASIAN 2007: 297-311 - [c24]Daisuke Maki, Hideya Iwasaki:
A portable javascript thread library for Ajax applications. OOPSLA Companion 2007: 817-818 - [c23]Takeshi Morimoto, Yasunao Takano, Hideya Iwasaki
:
Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning. PADL 2007: 65-79 - 2006
- [j8]Masakuni Agetsuma, Kenji Kono, Hideya Iwasaki, Takashi Masuda:
Basic mechanism of elastic server groups - Dynamic adaptation to load fluctuation. Syst. Comput. Jpn. 37(8): 24-37 (2006) - [c22]Kiminori Matsuzaki, Hideya Iwasaki
, Kento Emoto, Zhenjiang Hu:
A library of constructive skeletons for sequential style of parallel programming. Infoscale 2006: 13 - 2005
- [j7]Masakuni Agetsuma, Kenji Kono, Hideya Iwasaki, Takashi Masuda:
Exploiting mobile code for user-transparent distribution of application-level protocols. Syst. Comput. Jpn. 36(1): 44-57 (2005) - [c21]Akiyoshi Sugiki, Kenji Kono, Hideya Iwasaki
:
A Practical Approach to Automatic Parameter-Tuning of Web Servers. ASIAN 2005: 146-159 - 2004
- [j6]Hideya Iwasaki
, Zhenjiang Hu:
A New Parallel Skeleton for General Accumulative Computations. Int. J. Parallel Program. 32(5): 389-414 (2004) - [c20]Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki
, Zhenjiang Hu, Yoshiki Akashi:
A Fusion-Embedded Skeleton Library. Euro-Par 2004: 644-653 - [c19]Hideya Iwasaki
, Kumiko Tanaka-Ishii
:
An Interactive Proofreading System for Inappropriately Selected Words on Using Predictive Text Entry. IJCNLP 2004: 755-764 - 2003
- [c18]Masakuni Agetsuma, Kenji Kono, Hideya Iwasaki
, Takashi Masuda:
Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuation. ASIAN 2003: 18-32 - 2002
- [j5]Hideya Iwasaki
:
Developing a Lisp-based preprocessor for TEX documents. Softw. Pract. Exp. 32(14): 1345-1363 (2002) - [c17]Hideya Iwasaki:
Pruning Unnecessary Computations using Improving Sequences. APLAS 2002: 46-57 - [c16]Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem. APLAS 2002: 246-257 - [c15]Zhenjiang Hu, Hideya Iwasaki
, Masato Takeichi:
An Accumulative Parallel Skeleton for All. ESOP 2002: 83-97 - [c14]Ryuhei Miyashiro, Hideya Iwasaki
, Tomomi Matsui:
Characterizing Feasible Pattern Sets with a Minimum Number of Breaks. PATAT 2002: 78-99 - 2001
- [c13]Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
An Accumulative Parallel Skeleton for All. APLAS 2001: 89-101 - 2000
- [c12]Hideya Iwasaki
, Kumiko Tanaka-Ishii
, Kei Tateno, Masato Takeichi:
Context-sensitive detection and correction of homonym errors in Japanese texts (poster session). IRAL 2000: 215-216 - [c11]Seiichi Adachi, Hideya Iwasaki, Zhenjiang Hu:
Diff: A Powerful Parallel Skeleton. PDPTA 2000
1990 – 1999
- 1999
- [j4]Zhenjiang Hu, Hideya Iwasaki
, Masato Takeichi:
Calculating Accumulations. New Gener. Comput. 17(2): 153-173 (1999) - [c10]Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki:
Diffusion: Calculating Efficient Parallel Programs. PEPM 1999: 85-94 - 1998
- [c9]Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi:
Towards Manipulation of Mutually Recursive Functions. Fuji International Symposium on Functional and Logic Programming 1998: 61-79 - 1997
- [j3]Liangwei Xu, Masato Takeichi, Hideya Iwasaki
:
Relational Semantics for Locally Nondeterministic Programs. New Gener. Comput. 15(3): 339-362 (1997) - [j2]Zhenjiang Hu, Hideya Iwasaki
, Masato Takeichi:
Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms. ACM Trans. Program. Lang. Syst. 19(3): 444-461 (1997) - [c8]Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
A calculational fusion system HYLO. Algorithmic Languages and Calculi 1997: 76-106 - [c7]Zhenjiang Hu, Hideya Iwasaki
, Masato Takeichi, Akihiko Takano:
Tupling Calculation Eliminates Multiple Data Traversals. ICFP 1997: 164-175 - 1996
- [c6]Kumiko Tanaka, Hideya Iwasaki:
Extraction of Lexical Translations from Non-Aligned Corpora. COLING 1996: 580-585 - [c5]Zhenjiang Hu, Hideya Iwasaki
, Masato Takeichi:
Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem. Euro-Par, Vol. I 1996: 553-562 - [c4]Zhenjiang Hu, Hideya Iwasaki
, Masato Takeichi:
Deriving Structural Hylomorphisms From Recursive Definitions. ICFP 1996: 73-82 - [c3]Zhenjiang Hu, Hideya Iwasaki
, Masato Takeichi:
Construction of List Homomorphisms by Tupling and Fusion. MFCS 1996: 407-418 - [c2]Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
Cheap Tupling in Calculational Form. PLILP 1996: 471-472 - 1994
- [j1]Liangwei Xu, Hideya Iwasaki
, Masato Takeichi:
Derivation of Algorithms by Introduction of Generation Functions. New Gener. Comput. 13(1): 75-98 (1994)
1980 – 1989
- 1989
- [c1]Hideya Iwasaki
:
mUtilisp: A Lisp Dialect for Parallel Processing. Workshop on Parallel Lisp 1989: 316-321
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint