BibTeX records: Hideya Iwasaki

download as .bib file

@inproceedings{DBLP:conf/haskell/OtsukaI23,
  author       = {Takato Otsuka and
                  Hideya Iwasaki},
  editor       = {Trevor L. McDonell and
                  Niki Vazou},
  title        = {Haskell Library for Safer Virtual Machine Introspection (Experience
                  Report)},
  booktitle    = {Proceedings of the 16th {ACM} {SIGPLAN} International Haskell Symposium,
                  Haskell 2023, Seattle, WA, USA, September 8-9, 2023},
  pages        = {89--96},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3609026.3609732},
  doi          = {10.1145/3609026.3609732},
  timestamp    = {Wed, 20 Sep 2023 15:10:41 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/OtsukaI23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/IwasakiEMMH22,
  author       = {Hideya Iwasaki and
                  Kento Emoto and
                  Akimasa Morihata and
                  Kiminori Matsuzaki and
                  Zhenjiang Hu},
  title        = {Fregel: a functional domain-specific language for vertex-centric large-scale
                  graph processing},
  journal      = {J. Funct. Program.},
  volume       = {32},
  pages        = {e4},
  year         = {2022},
  url          = {https://doi.org/10.1017/S0956796821000277},
  doi          = {10.1017/S0956796821000277},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/IwasakiEMMH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jip/HirasawaIUO22,
  author       = {Yuta Hirasawa and
                  Hideya Iwasaki and
                  Tomoharu Ugawa and
                  Hiro Onozawa},
  title        = {Generating Virtual Machine Code of JavaScript Engine for Embedded
                  Systems},
  journal      = {J. Inf. Process.},
  volume       = {30},
  pages        = {679--693},
  year         = {2022},
  url          = {https://doi.org/10.2197/ipsjjip.30.679},
  doi          = {10.2197/IPSJJIP.30.679},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jip/HirasawaIUO22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jip/MiyajimaIK22,
  author       = {Takumi Miyajima and
                  Hideya Iwasaki and
                  Yasushi Kuno},
  title        = {The {TABLET} Programming Learning Environment: from Block-based to
                  Text-based Programming},
  journal      = {J. Inf. Process.},
  volume       = {30},
  pages        = {729--741},
  year         = {2022},
  url          = {https://doi.org/10.2197/ipsjjip.30.729},
  doi          = {10.2197/IPSJJIP.30.729},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jip/MiyajimaIK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/MatsumotoUI22,
  author       = {Kotaro Matsumoto and
                  Tomoharu Ugawa and
                  Hideya Iwasaki},
  editor       = {Michael Lippautz and
                  David Chisnall},
  title        = {Replication-based object persistence by reachability},
  booktitle    = {{ISMM} '22: {ACM} {SIGPLAN} International Symposium on Memory Management,
                  San Diego, CA, USA, 14 June 2022},
  pages        = {43--56},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3520263.3534653},
  doi          = {10.1145/3520263.3534653},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwmm/MatsumotoUI22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/OnozawaUI21,
  author       = {Hiro Onozawa and
                  Tomoharu Ugawa and
                  Hideya Iwasaki},
  editor       = {Zhenlin Wang and
                  Tobias Wrigstad},
  title        = {Fusuma: double-ended threaded compaction},
  booktitle    = {{ISMM} '21: 2021 {ACM} {SIGPLAN} International Symposium on Memory
                  Management, Virtual Event, Canada, 22 June 2021},
  pages        = {94--106},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3459898.3463903},
  doi          = {10.1145/3459898.3463903},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwmm/OnozawaUI21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jip/TannoAYNI20,
  author       = {Haruto Tanno and
                  Yu Adachi and
                  Yu Yoshimura and
                  Katsuyuki Natsukawa and
                  Hideya Iwasaki},
  title        = {Region-based Detection of Essential Differences in Image-based Visual
                  Regression Testing},
  journal      = {J. Inf. Process.},
  volume       = {28},
  pages        = {268--278},
  year         = {2020},
  url          = {https://doi.org/10.2197/ipsjjip.28.268},
  doi          = {10.2197/IPSJJIP.28.268},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jip/TannoAYNI20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jip/AoyamaI19,
  author       = {Wataru Aoyama and
                  Hideya Iwasaki},
  title        = {dajFS: {A} New File System with Per-directory Adaptive Journaling},
  journal      = {J. Inf. Process.},
  volume       = {27},
  pages        = {369--377},
  year         = {2019},
  url          = {https://doi.org/10.2197/ipsjjip.27.369},
  doi          = {10.2197/IPSJJIP.27.369},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jip/AoyamaI19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/UgawaIK19,
  author       = {Tomoharu Ugawa and
                  Hideya Iwasaki and
                  Takafumi Kataoka},
  title        = {eJSTK: Building JavaScript virtual machines with customized datatypes
                  for embedded systems},
  journal      = {J. Comput. Lang.},
  volume       = {51},
  pages        = {261--279},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.cola.2019.01.003},
  doi          = {10.1016/J.COLA.2019.01.003},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/vlc/UgawaIK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/UgawaIK19,
  author       = {Tomoharu Ugawa and
                  Hideya Iwasaki and
                  Takafumi Kataoka},
  title        = {Collecting Type Information Using Unit Tests for Customizing JavaScript
                  Virtual Machines},
  booktitle    = {{ICOOOLPS} '19: Proceedings of the 14th Workshop on Implementation,
                  Compilation, Optimization of Object-Oriented Languages, Programs and
                  Systems, London, UK, 19 July 2019},
  pages        = {2:1--2:4},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3340670.3342425},
  doi          = {10.1145/3340670.3342425},
  timestamp    = {Wed, 02 Feb 2022 17:09:38 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/UgawaIK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/TannoI19,
  author       = {Haruto Tanno and
                  Hideya Iwasaki},
  title        = {Suspend-Less Debugging for Interactive and/or Realtime Programs},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {194--205},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00028},
  doi          = {10.1109/ICST.2019.00028},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/TannoI19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MorihataEMHI18,
  author       = {Akimasa Morihata and
                  Kento Emoto and
                  Kiminori Matsuzaki and
                  Zhenjiang Hu and
                  Hideya Iwasaki},
  editor       = {John P. Gallagher and
                  Martin Sulzmann},
  title        = {Optimizing Declarative Parallel Distributed Graph Processing by Using
                  Constraint Solvers},
  booktitle    = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
                  2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10818},
  pages        = {166--181},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-90686-7\_11},
  doi          = {10.1007/978-3-319-90686-7\_11},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/MorihataEMHI18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/KataokaUI18,
  author       = {Takafumi Kataoka and
                  Tomoharu Ugawa and
                  Hideya Iwasaki},
  editor       = {Hisham M. Haddad and
                  Roger L. Wainwright and
                  Richard Chbeir},
  title        = {A framework for constructing javascript virtual machines with customized
                  datatype representations},
  booktitle    = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
                  {SAC} 2018, Pau, France, April 09-13, 2018},
  pages        = {1238--1247},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3167132.3167266},
  doi          = {10.1145/3167132.3167266},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/KataokaUI18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/AraiSI16,
  author       = {Ryoya Arai and
                  Shigeyuki Sato and
                  Hideya Iwasaki},
  editor       = {Atsushi Igarashi},
  title        = {A Debugger-Cooperative Higher-Order Contract System in Python},
  booktitle    = {Programming Languages and Systems - 14th Asian Symposium, {APLAS}
                  2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10017},
  pages        = {148--168},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47958-3\_9},
  doi          = {10.1007/978-3-319-47958-3\_9},
  timestamp    = {Thu, 23 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/AraiSI16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KawabataI16,
  author       = {Hideyuki Kawabata and
                  Hideya Iwasaki},
  editor       = {Peter Thiemann},
  title        = {Improving Floating-Point Numbers: {A} Lazy Approach to Adaptive Accuracy
                  Refinement for Numerical Computations},
  booktitle    = {Programming Languages and Systems - 25th European Symposium on Programming,
                  {ESOP} 2016, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
                  April 2-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9632},
  pages        = {390--418},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-49498-1\_16},
  doi          = {10.1007/978-3-662-49498-1\_16},
  timestamp    = {Mon, 23 Mar 2020 12:22:51 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/KawabataI16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/EmotoMHMI16,
  author       = {Kento Emoto and
                  Kiminori Matsuzaki and
                  Zhenjiang Hu and
                  Akimasa Morihata and
                  Hideya Iwasaki},
  editor       = {Jacques Garrigue and
                  Gabriele Keller and
                  Eijiro Sumii},
  title        = {Think like a vertex, behave like a function! a functional {DSL} for
                  vertex-centric big graph processing},
  booktitle    = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
                  2016},
  pages        = {200--213},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2951913.2951938},
  doi          = {10.1145/2951913.2951938},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/EmotoMHMI16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/TanimuraI16,
  author       = {Akira Tanimura and
                  Hideya Iwasaki},
  editor       = {Sascha Ossowski},
  title        = {Integrating lua into {C} for embedding lua interpreters in a {C} application},
  booktitle    = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
                  Pisa, Italy, April 4-8, 2016},
  pages        = {1936--1943},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2851613.2851747},
  doi          = {10.1145/2851613.2851747},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/TanimuraI16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/KobayashiSI15,
  author       = {Tetsu Kobayashi and
                  Shigeyuki Sato and
                  Hideya Iwasaki},
  title        = {Efficient Use of Hardware Transactional Memory for Parallel Mesh Generation},
  booktitle    = {44th International Conference on Parallel Processing, {ICPP} 2015,
                  Beijing, China, September 1-4, 2015},
  pages        = {600--609},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICPP.2015.69},
  doi          = {10.1109/ICPP.2015.69},
  timestamp    = {Thu, 23 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpp/KobayashiSI15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/TakanoI15,
  author       = {Yasunao Takano and
                  Hideya Iwasaki},
  editor       = {Roger L. Wainwright and
                  Juan Manuel Corchado and
                  Alessio Bechini and
                  Jiman Hong},
  title        = {Thunk recycling for lazy functional languages: operational semantics
                  and correctness},
  booktitle    = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
                  Salamanca, Spain, April 13-17, 2015},
  pages        = {2079--2086},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2695664.2695693},
  doi          = {10.1145/2695664.2695693},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/TakanoI15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/ShiodaIS14,
  author       = {Masato Shioda and
                  Hideya Iwasaki and
                  Shigeyuki Sato},
  editor       = {Ulrik Pagh Schultz and
                  Matthew Flatt},
  title        = {LibDSL: a library for developing embedded domain specific languages
                  in d via template metaprogramming},
  booktitle    = {Generative Programming: Concepts and Experiences, GPCE'14, Vasteras,
                  Sweden, September 15-16, 2014},
  pages        = {63--72},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2658761.2658770},
  doi          = {10.1145/2658761.2658770},
  timestamp    = {Thu, 23 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gpce/ShiodaIS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/HakutaMNI14,
  author       = {Shizuya Hakuta and
                  Sebastian Maneth and
                  Keisuke Nakano and
                  Hideya Iwasaki},
  editor       = {Isabel F. Cruz and
                  Elena Ferrari and
                  Yufei Tao and
                  Elisa Bertino and
                  Goce Trajcevski},
  title        = {XQuery streaming by Forest Transducers},
  booktitle    = {{IEEE} 30th International Conference on Data Engineering, Chicago,
                  {ICDE} 2014, IL, USA, March 31 - April 4, 2014},
  pages        = {952--963},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICDE.2014.6816714},
  doi          = {10.1109/ICDE.2014.6816714},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icde/HakutaMNI14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/MorikawaUI13,
  author       = {Kazuya Morikawa and
                  Tomoharu Ugawa and
                  Hideya Iwasaki},
  editor       = {Perry Cheng and
                  Erez Petrank},
  title        = {Adaptive scanning reduces sweep time for the Lisp2 mark-compact garbage
                  collector},
  booktitle    = {International Symposium on Memory Management, {ISMM} 2013, Seattle,
                  WA, USA, June 20, 2013},
  pages        = {15--26},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2491894.2466480},
  doi          = {10.1145/2491894.2466480},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/iwmm/MorikawaUI13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HakutaMNI13,
  author       = {Shizuya Hakuta and
                  Sebastian Maneth and
                  Keisuke Nakano and
                  Hideya Iwasaki},
  title        = {XQuery Streaming by Forest Transducers},
  journal      = {CoRR},
  volume       = {abs/1311.6570},
  year         = {2013},
  url          = {http://arxiv.org/abs/1311.6570},
  eprinttype    = {arXiv},
  eprint       = {1311.6570},
  timestamp    = {Thu, 26 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/HakutaMNI13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/IwasakiMT11,
  author       = {Hideya Iwasaki and
                  Takeshi Morimoto and
                  Yasunao Takano},
  title        = {Pruning with improving sequences in lazy functional programs},
  journal      = {High. Order Symb. Comput.},
  volume       = {24},
  number       = {4},
  pages        = {281--309},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10990-012-9086-3},
  doi          = {10.1007/S10990-012-9086-3},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/IwasakiMT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/YamadaIU11,
  author       = {Yuji Yamada and
                  Hideya Iwasaki and
                  Tomoharu Ugawa},
  title        = {{SAW:} Java Synchronization Selection from Lock or Software Transactional
                  Memory},
  booktitle    = {17th {IEEE} International Conference on Parallel and Distributed Systems,
                  {ICPADS} 2011, Tainan, Taiwan, December 7-9, 2011},
  pages        = {104--111},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICPADS.2011.112},
  doi          = {10.1109/ICPADS.2011.112},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpads/YamadaIU11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SatoI11,
  author       = {Shigeyuki Sato and
                  Hideya Iwasaki},
  editor       = {Mary W. Hall and
                  David A. Padua},
  title        = {Automatic parallelization via matrix multiplication},
  booktitle    = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
                  June 4-8, 2011},
  pages        = {470--479},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1993498.1993554},
  doi          = {10.1145/1993498.1993554},
  timestamp    = {Thu, 23 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/SatoI11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/UgawaIY10,
  author       = {Tomoharu Ugawa and
                  Hideya Iwasaki and
                  Taiichi Yuasa},
  editor       = {Jan Vitek and
                  Doug Lea},
  title        = {Improved replication-based incremental garbage collection for embedded
                  systems},
  booktitle    = {Proceedings of the 9th International Symposium on Memory Management,
                  {ISMM} 2010, Toronto, Ontario, Canada, June 5-6, 2010},
  pages        = {73--82},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1806651.1806664},
  doi          = {10.1145/1806651.1806664},
  timestamp    = {Tue, 22 Jun 2021 17:10:56 +0200},
  biburl       = {https://dblp.org/rec/conf/iwmm/UgawaIY10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/UgawaIY10,
  author       = {Tomoharu Ugawa and
                  Hideya Iwasaki and
                  Taiichi Yuasa},
  editor       = {Jon L. White and
                  Ant{\'{o}}nio Menezes Leit{\~{a}}o},
  title        = {Starvation-free heap size for replication-based incremental compacting
                  garbage collection},
  booktitle    = {International Lisp Conference, {ILC} 2010, Reno, NV, USA, October
                  19-21, 2010},
  pages        = {43--52},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1869643.1869649},
  doi          = {10.1145/1869643.1869649},
  timestamp    = {Fri, 06 Aug 2021 15:08:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lfp/UgawaIY10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/SatoI09,
  author       = {Shigeyuki Sato and
                  Hideya Iwasaki},
  editor       = {Zhenjiang Hu},
  title        = {A Skeletal Parallel Framework with Fusion Optimizer for {GPGPU} Programming},
  booktitle    = {Programming Languages and Systems, 7th Asian Symposium, {APLAS} 2009,
                  Seoul, Korea, December 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5904},
  pages        = {79--94},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-10672-9\_8},
  doi          = {10.1007/978-3-642-10672-9\_8},
  timestamp    = {Thu, 23 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/SatoI09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/TannoI09,
  author       = {Haruto Tanno and
                  Hideya Iwasaki},
  editor       = {Henk J. Sips and
                  Dick H. J. Epema and
                  Hai{-}Xiang Lin},
  title        = {Parallel Skeletons for Variable-Length Lists in SkeTo Skeleton Library},
  booktitle    = {Euro-Par 2009 Parallel Processing, 15th International Euro-Par Conference,
                  Delft, The Netherlands, August 25-28, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5704},
  pages        = {666--677},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03869-3\_63},
  doi          = {10.1007/978-3-642-03869-3\_63},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/TannoI09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/KarasawaI09,
  author       = {Yuki Karasawa and
                  Hideya Iwasaki},
  title        = {A Parallel Skeleton Library for Multi-core Clusters},
  booktitle    = {{ICPP} 2009, International Conference on Parallel Processing, Vienna,
                  Austria, 22-25 September 2009},
  pages        = {84--91},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICPP.2009.18},
  doi          = {10.1109/ICPP.2009.18},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpp/KarasawaI09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/OyamaKI09,
  author       = {Yoshihiro Oyama and
                  Yoshiki Kaneko and
                  Hideya Iwasaki},
  editor       = {Sung Y. Shin and
                  Sascha Ossowski},
  title        = {Kenro: a virtual machine monitor mostly described in Haskell},
  booktitle    = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
                  Honolulu, Hawaii, USA, March 9-12, 2009},
  pages        = {1940--1941},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1529282.1529714},
  doi          = {10.1145/1529282.1529714},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/OyamaKI09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/SugikiKI08,
  author       = {Akiyoshi Sugiki and
                  Kenji Kono and
                  Hideya Iwasaki},
  title        = {Tuning mechanisms for two major parameters of Apache web servers},
  journal      = {Softw. Pract. Exp.},
  volume       = {38},
  number       = {12},
  pages        = {1215--1240},
  year         = {2008},
  url          = {https://doi.org/10.1002/spe.861},
  doi          = {10.1002/SPE.861},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/SugikiKI08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/ShioyaOI07,
  author       = {Tomohiro Shioya and
                  Yoshihiro Oyama and
                  Hideya Iwasaki},
  editor       = {Iliano Cervesato},
  title        = {A Sandbox with a Dynamic Policy Based on Execution Contexts of Applications},
  booktitle    = {Advances in Computer Science - {ASIAN} 2007. Computer and Network
                  Security, 12th Asian Computing Science Conference, Doha, Qatar, December
                  9-11, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4846},
  pages        = {297--311},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-76929-3\_28},
  doi          = {10.1007/978-3-540-76929-3\_28},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/asian/ShioyaOI07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MakiI07,
  author       = {Daisuke Maki and
                  Hideya Iwasaki},
  editor       = {Richard P. Gabriel and
                  David F. Bacon and
                  Cristina Videira Lopes and
                  Guy L. Steele Jr.},
  title        = {A portable javascript thread library for Ajax applications},
  booktitle    = {Companion to the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2007,
                  October 21-25, 2007, Montreal, Quebec, Canada},
  pages        = {817--818},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1297846.1297903},
  doi          = {10.1145/1297846.1297903},
  timestamp    = {Mon, 12 Jul 2021 15:34:15 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/MakiI07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/MorimotoTI07,
  author       = {Takeshi Morimoto and
                  Yasunao Takano and
                  Hideya Iwasaki},
  editor       = {Michael Hanus},
  title        = {Instantly Turning a Naive Exhaustive Search into Three Efficient Searches
                  with Pruning},
  booktitle    = {Practical Aspects of Declarative Languages, 9th International Symposium,
                  {PADL} 2007, Nice, France, January 14-15, 2007},
  series       = {Lecture Notes in Computer Science},
  volume       = {4354},
  pages        = {65--79},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-69611-7\_4},
  doi          = {10.1007/978-3-540-69611-7\_4},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/MorimotoTI07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/AgetsumaKIM06,
  author       = {Masakuni Agetsuma and
                  Kenji Kono and
                  Hideya Iwasaki and
                  Takashi Masuda},
  title        = {Basic mechanism of elastic server groups - Dynamic adaptation to load
                  fluctuation},
  journal      = {Syst. Comput. Jpn.},
  volume       = {37},
  number       = {8},
  pages        = {24--37},
  year         = {2006},
  url          = {https://doi.org/10.1002/scj.20520},
  doi          = {10.1002/SCJ.20520},
  timestamp    = {Wed, 13 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scjapan/AgetsumaKIM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infoscale/MatsuzakiIEH06,
  author       = {Kiminori Matsuzaki and
                  Hideya Iwasaki and
                  Kento Emoto and
                  Zhenjiang Hu},
  editor       = {Xiaohua Jia},
  title        = {A library of constructive skeletons for sequential style of parallel
                  programming},
  booktitle    = {Proceedings of the 1st International Conference on Scalable Information
                  Systems, Infoscale 2006, Hong Kong, May 30-June 1, 2006},
  series       = {{ACM} International Conference Proceeding Series},
  volume       = {152},
  pages        = {13},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146847.1146860},
  doi          = {10.1145/1146847.1146860},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/infoscale/MatsuzakiIEH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/AgetsumaKIM05,
  author       = {Masakuni Agetsuma and
                  Kenji Kono and
                  Hideya Iwasaki and
                  Takashi Masuda},
  title        = {Exploiting mobile code for user-transparent distribution of application-level
                  protocols},
  journal      = {Syst. Comput. Jpn.},
  volume       = {36},
  number       = {1},
  pages        = {44--57},
  year         = {2005},
  url          = {https://doi.org/10.1002/scj.10603},
  doi          = {10.1002/SCJ.10603},
  timestamp    = {Wed, 13 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scjapan/AgetsumaKIM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/SugikiKI05,
  author       = {Akiyoshi Sugiki and
                  Kenji Kono and
                  Hideya Iwasaki},
  editor       = {St{\'{e}}phane Grumbach and
                  Liying Sui and
                  Victor Vianu},
  title        = {A Practical Approach to Automatic Parameter-Tuning of Web Servers},
  booktitle    = {Advances in Computer Science - {ASIAN} 2005, Data Management on the
                  Web, 10th Asian Computing Science Conference, Kunming, China, December
                  7-9, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3818},
  pages        = {146--159},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11596370\_14},
  doi          = {10.1007/11596370\_14},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/asian/SugikiKI05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/IwasakiH04,
  author       = {Hideya Iwasaki and
                  Zhenjiang Hu},
  title        = {A New Parallel Skeleton for General Accumulative Computations},
  journal      = {Int. J. Parallel Program.},
  volume       = {32},
  number       = {5},
  pages        = {389--414},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:IJPP.0000038069.80050.74},
  doi          = {10.1023/B:IJPP.0000038069.80050.74},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijpp/IwasakiH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/MatsuzakiKIHA04,
  author       = {Kiminori Matsuzaki and
                  Kazuhiko Kakehi and
                  Hideya Iwasaki and
                  Zhenjiang Hu and
                  Yoshiki Akashi},
  editor       = {Marco Danelutto and
                  Marco Vanneschi and
                  Domenico Laforenza},
  title        = {A Fusion-Embedded Skeleton Library},
  booktitle    = {Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference,
                  Pisa, Italy, August 31-September 3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3149},
  pages        = {644--653},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27866-5\_85},
  doi          = {10.1007/978-3-540-27866-5\_85},
  timestamp    = {Fri, 07 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/MatsuzakiKIHA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnlp/IwasakiT04,
  author       = {Hideya Iwasaki and
                  Kumiko Tanaka{-}Ishii},
  editor       = {Keh{-}Yih Su and
                  Jun'ichi Tsujii and
                  Jong{-}Hyeok Lee and
                  Oi Yee Kwong},
  title        = {An Interactive Proofreading System for Inappropriately Selected Words
                  on Using Predictive Text Entry},
  booktitle    = {Natural Language Processing - {IJCNLP} 2004, First International Joint
                  Conference, Hainan Island, China, March 22-24, 2004, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3248},
  pages        = {755--764},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30211-7\_80},
  doi          = {10.1007/978-3-540-30211-7\_80},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcnlp/IwasakiT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/AgetsumaKIM03,
  author       = {Masakuni Agetsuma and
                  Kenji Kono and
                  Hideya Iwasaki and
                  Takashi Masuda},
  editor       = {Vijay A. Saraswat},
  title        = {Self-configurable Mirror Servers for Automatic Adaptation to Service
                  Demand Fluctuation},
  booktitle    = {Advances in Computing Science - {ASIAN} 2003 Programming Languages
                  and Distributed Computation, 8th Asian Computing Science Conference,
                  Mumbai, India, December 10-14, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2896},
  pages        = {18--32},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-40965-6\_3},
  doi          = {10.1007/978-3-540-40965-6\_3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/asian/AgetsumaKIM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Iwasaki02,
  author       = {Hideya Iwasaki},
  title        = {Developing a Lisp-based preprocessor for {TEX} documents},
  journal      = {Softw. Pract. Exp.},
  volume       = {32},
  number       = {14},
  pages        = {1345--1363},
  year         = {2002},
  url          = {https://doi.org/10.1002/spe.485},
  doi          = {10.1002/SPE.485},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/Iwasaki02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Iwasaki02,
  author       = {Hideya Iwasaki},
  title        = {Pruning Unnecessary Computations using Improving Sequences},
  booktitle    = {The Third Asian Workshop on Programming Languages and Systems, APLAS'02,
                  Shanghai Jiao Tong University, Shanghai, China, November 29 - December
                  1, 2002, Proceedings},
  pages        = {46--57},
  year         = {2002},
  timestamp    = {Tue, 01 Jun 2004 13:16:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Iwasaki02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HuIT02,
  author       = {Zhenjiang Hu and
                  Hideya Iwasaki and
                  Masato Takeichi},
  title        = {Flattening Transformation for Efficient Segmented Computation - Segmented
                  Diffusion Theorem},
  booktitle    = {The Third Asian Workshop on Programming Languages and Systems, APLAS'02,
                  Shanghai Jiao Tong University, Shanghai, China, November 29 - December
                  1, 2002, Proceedings},
  pages        = {246--257},
  year         = {2002},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/HuIT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HuIT02,
  author       = {Zhenjiang Hu and
                  Hideya Iwasaki and
                  Masato Takeichi},
  editor       = {Daniel Le M{\'{e}}tayer},
  title        = {An Accumulative Parallel Skeleton for All},
  booktitle    = {Programming Languages and Systems, 11th European Symposium on Programming,
                  {ESOP} 2002, held as Part of the Joint European Conference on Theory
                  and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2305},
  pages        = {83--97},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45927-8\_7},
  doi          = {10.1007/3-540-45927-8\_7},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/HuIT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/patat/MiyashiroIM02,
  author       = {Ryuhei Miyashiro and
                  Hideya Iwasaki and
                  Tomomi Matsui},
  editor       = {Edmund K. Burke and
                  Patrick De Causmaecker},
  title        = {Characterizing Feasible Pattern Sets with a Minimum Number of Breaks},
  booktitle    = {Practice and Theory of Automated Timetabling IV, 4th International
                  Conference, {PATAT} 2002, Gent, Belgium, August 21-23, 2002, Selected
                  Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2740},
  pages        = {78--99},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/978-3-540-45157-0\_5},
  doi          = {10.1007/978-3-540-45157-0\_5},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/patat/MiyashiroIM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HuIT01,
  author       = {Zhenjiang Hu and
                  Hideya Iwasaki and
                  Masato Takeichi},
  title        = {An Accumulative Parallel Skeleton for All},
  booktitle    = {The Second Asian Workshop on Programming Languages and Systems, APLAS'01,
                  Korea Advanced Institute of Science and Technology, Daejeon, Korea,
                  December 17-18, 2001, Proceedings},
  pages        = {89--101},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 13:15:57 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/HuIT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iral/IwasakiTTT00,
  author       = {Hideya Iwasaki and
                  Kumiko Tanaka{-}Ishii and
                  Kei Tateno and
                  Masato Takeichi},
  editor       = {Kam{-}Fai Wong and
                  Dik Lun Lee and
                  Jong{-}Hyeok Lee},
  title        = {Context-sensitive detection and correction of homonym errors in Japanese
                  texts (poster session)},
  booktitle    = {Proceedings of the Fifth International Workshop on Information Retrieval
                  with Asian Languages, 2000, Hong Kong, China, September 30 - October
                  01, 2000},
  pages        = {215--216},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/355214.355251},
  doi          = {10.1145/355214.355251},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iral/IwasakiTTT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/AdachiIH00,
  author       = {Seiichi Adachi and
                  Hideya Iwasaki and
                  Zhenjiang Hu},
  editor       = {Hamid R. Arabnia},
  title        = {Diff: {A} Powerful Parallel Skeleton},
  booktitle    = {Proceedings of the International Conference on Parallel and Distributed
                  Processing Techniques and Applications, {PDPTA} 2000, June 24-29,
                  2000, Las Vegas, Nevada, {USA}},
  publisher    = {{CSREA} Press},
  year         = {2000},
  timestamp    = {Mon, 08 Dec 2003 16:35:08 +0100},
  biburl       = {https://dblp.org/rec/conf/pdpta/AdachiIH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/HuIT99,
  author       = {Zhenjiang Hu and
                  Hideya Iwasaki and
                  Masato Takeichi},
  title        = {Calculating Accumulations},
  journal      = {New Gener. Comput.},
  volume       = {17},
  number       = {2},
  pages        = {153--173},
  year         = {1999},
  url          = {https://doi.org/10.1007/BF03037434},
  doi          = {10.1007/BF03037434},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/HuIT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/HuTI99,
  author       = {Zhenjiang Hu and
                  Masato Takeichi and
                  Hideya Iwasaki},
  editor       = {Olivier Danvy},
  title        = {Diffusion: Calculating Efficient Parallel Programs},
  booktitle    = {Proceedings of the 1999 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-Based Program Manipulation, San Antonio, Texas, USA,
                  January 22-23, 1999. Technical report {BRICS-NS-99-1}},
  pages        = {85--94},
  publisher    = {University of Aarhus},
  year         = {1999},
  timestamp    = {Tue, 22 May 2012 15:24:56 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/HuTI99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/IwasakiHT98,
  author       = {Hideya Iwasaki and
                  Zhenjiang Hu and
                  Masato Takeichi},
  editor       = {Masahiko Sato and
                  Yoshihito Toyama},
  title        = {Towards Manipulation of Mutually Recursive Functions},
  booktitle    = {Third Fuji International Symposium on Functional and Logic Programming,
                  {FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998},
  pages        = {61--79},
  publisher    = {World Scientific, Singapore},
  year         = {1998},
  timestamp    = {Tue, 30 Jul 2019 10:47:11 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/IwasakiHT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/XuTI97,
  author       = {Liangwei Xu and
                  Masato Takeichi and
                  Hideya Iwasaki},
  title        = {Relational Semantics for Locally Nondeterministic Programs},
  journal      = {New Gener. Comput.},
  volume       = {15},
  number       = {3},
  pages        = {339--362},
  year         = {1997},
  url          = {https://doi.org/10.1007/BF03037950},
  doi          = {10.1007/BF03037950},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/XuTI97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HuIT97,
  author       = {Zhenjiang Hu and
                  Hideya Iwasaki and
                  Masato Takeichi},
  title        = {Formal Derivation of Efficient Parallel Programs by Construction of
                  List Homomorphisms},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {19},
  number       = {3},
  pages        = {444--461},
  year         = {1997},
  url          = {https://doi.org/10.1145/256167.256201},
  doi          = {10.1145/256167.256201},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/HuIT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alc/OnoueHIT97,
  author       = {Yoshiyuki Onoue and
                  Zhenjiang Hu and
                  Hideya Iwasaki and
                  Masato Takeichi},
  editor       = {Richard S. Bird and
                  Lambert G. L. T. Meertens},
  title        = {A calculational fusion system {HYLO}},
  booktitle    = {Algorithmic Languages and Calculi, {IFIP} {TC2} {WG2.1} International
                  Workshop on Algorithmic Languages and Calculi, 17-22 February 1997,
                  Alsace, France},
  series       = {{IFIP} Conference Proceedings},
  volume       = {95},
  pages        = {76--106},
  publisher    = {Chapman {\&} Hall},
  year         = {1997},
  timestamp    = {Thu, 03 Jan 2002 11:52:45 +0100},
  biburl       = {https://dblp.org/rec/conf/alc/OnoueHIT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HuITT97,
  author       = {Zhenjiang Hu and
                  Hideya Iwasaki and
                  Masato Takeichi and
                  Akihiko Takano},
  editor       = {Simon L. Peyton Jones and
                  Mads Tofte and
                  A. Michael Berman},
  title        = {Tupling Calculation Eliminates Multiple Data Traversals},
  booktitle    = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
                  Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
                  9-11, 1997},
  pages        = {164--175},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/258948.258964},
  doi          = {10.1145/258948.258964},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/HuITT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/TanakaI96,
  author       = {Kumiko Tanaka and
                  Hideya Iwasaki},
  title        = {Extraction of Lexical Translations from Non-Aligned Corpora},
  booktitle    = {16th International Conference on Computational Linguistics, Proceedings
                  of the Conference, {COLING} 1996, Center for Sprogteknologi, Copenhagen,
                  Denmark, August 5-9, 1996},
  pages        = {580--585},
  year         = {1996},
  url          = {https://aclanthology.org/C96-2098/},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coling/TanakaI96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/HuIT96,
  author       = {Zhenjiang Hu and
                  Hideya Iwasaki and
                  Masato Takeichi},
  editor       = {Luc Boug{\'{e}} and
                  Pierre Fraigniaud and
                  Anne Mignotte and
                  Yves Robert},
  title        = {Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment
                  Sum Problem},
  booktitle    = {Euro-Par '96 Parallel Processing, Second International Euro-Par Conference,
                  Lyon, France, August 26-29, 1996, Proceedings, Volume {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1123},
  pages        = {553--562},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61626-8\_75},
  doi          = {10.1007/3-540-61626-8\_75},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/HuIT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HuIT96,
  author       = {Zhenjiang Hu and
                  Hideya Iwasaki and
                  Masato Takeichi},
  editor       = {Robert Harper and
                  Richard L. Wexelblat},
  title        = {Deriving Structural Hylomorphisms From Recursive Definitions},
  booktitle    = {Proceedings of the 1996 {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 1996, Philadelphia, Pennsylvania, USA,
                  May 24-26, 1996},
  pages        = {73--82},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/232627.232637},
  doi          = {10.1145/232627.232637},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/HuIT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HuIT96,
  author       = {Zhenjiang Hu and
                  Hideya Iwasaki and
                  Masato Takeichi},
  editor       = {Wojciech Penczek and
                  Andrzej Szalas},
  title        = {Construction of List Homomorphisms by Tupling and Fusion},
  booktitle    = {Mathematical Foundations of Computer Science 1996, 21st International
                  Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1113},
  pages        = {407--418},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61550-4\_166},
  doi          = {10.1007/3-540-61550-4\_166},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/HuIT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/HuIT96,
  author       = {Zhenjiang Hu and
                  Hideya Iwasaki and
                  Masato Takeichi},
  editor       = {Herbert Kuchen and
                  S. Doaitse Swierstra},
  title        = {Cheap Tupling in Calculational Form},
  booktitle    = {Programming Languages: Implementations, Logics, and Programs, 8th
                  International Symposium, PLILP'96, Aachen, Germany, September 24-27,
                  1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1140},
  pages        = {471--472},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61756-6\_105},
  doi          = {10.1007/3-540-61756-6\_105},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/HuIT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/XuIT94,
  author       = {Liangwei Xu and
                  Hideya Iwasaki and
                  Masato Takeichi},
  title        = {Derivation of Algorithms by Introduction of Generation Functions},
  journal      = {New Gener. Comput.},
  volume       = {13},
  number       = {1},
  pages        = {75--98},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF03038309},
  doi          = {10.1007/BF03038309},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/XuIT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plisp/Iwasaki89,
  author       = {Hideya Iwasaki},
  editor       = {Takayasu Ito and
                  Robert H. Halstead Jr.},
  title        = {mUtilisp: {A} Lisp Dialect for Parallel Processing},
  booktitle    = {Parallel Lisp: Languages and Systems, US/Japan Workshop on Parallel
                  Lisp, Sendai, Japan, June 5-8, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {441},
  pages        = {316--321},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0024165},
  doi          = {10.1007/BFB0024165},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plisp/Iwasaki89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics