BibTeX records: Yoshitaka Arahori

download as .bib file

@article{DBLP:journals/corr/abs-2302-07512,
  author       = {Ryutaro Kodama and
                  Yoshitaka Arahori and
                  Katsuhiko Gondow},
  title        = {Path-sensitive Type Analysis with Backward Analysis for Quality Assurance
                  of Dynamic Typed Language Code},
  journal      = {CoRR},
  volume       = {abs/2302.07512},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2302.07512},
  doi          = {10.48550/ARXIV.2302.07512},
  eprinttype    = {arXiv},
  eprint       = {2302.07512},
  timestamp    = {Mon, 20 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2302-07512.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-07717,
  author       = {So Shizukuishi and
                  Yoshitaka Arahori and
                  Katsuhiko Gondow},
  title        = {Field-sensitive Data Flow Integrity},
  journal      = {CoRR},
  volume       = {abs/2302.07717},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2302.07717},
  doi          = {10.48550/ARXIV.2302.07717},
  eprinttype    = {arXiv},
  eprint       = {2302.07717},
  timestamp    = {Mon, 20 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2302-07717.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-09959,
  author       = {Yusuke Shinyama and
                  Yoshitaka Arahori and
                  Katsuhiko Gondow},
  title        = {How Do Programmers Express High-Level Concepts using Primitive Data
                  Types?},
  journal      = {CoRR},
  volume       = {abs/2203.09959},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2203.09959},
  doi          = {10.48550/ARXIV.2203.09959},
  eprinttype    = {arXiv},
  eprint       = {2203.09959},
  timestamp    = {Mon, 28 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-09959.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-09960,
  author       = {Yusuke Shinyama and
                  Yoshitaka Arahori and
                  Katsuhiko Gondow},
  title        = {Improving Semantic Consistency of Variable Names with Use-Flow Graph
                  Analysis},
  journal      = {CoRR},
  volume       = {abs/2203.09960},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2203.09960},
  doi          = {10.48550/ARXIV.2203.09960},
  eprinttype    = {arXiv},
  eprint       = {2203.09960},
  timestamp    = {Mon, 28 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-09960.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ShinyamaAG21,
  author       = {Yusuke Shinyama and
                  Yoshitaka Arahori and
                  Katsuhiko Gondow},
  title        = {Improving Semantic Consistency of Variable Names with Use-Flow Graph
                  Analysis},
  booktitle    = {28th Asia-Pacific Software Engineering Conference, {APSEC} 2021, Taipei,
                  Taiwan, December 6-9, 2021},
  pages        = {223--232},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/APSEC53868.2021.00030},
  doi          = {10.1109/APSEC53868.2021.00030},
  timestamp    = {Wed, 23 Feb 2022 18:55:47 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/ShinyamaAG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ShinyamaAG21a,
  author       = {Yusuke Shinyama and
                  Yoshitaka Arahori and
                  Katsuhiko Gondow},
  title        = {How Do Programmers Express High-Level Concepts using Primitive Data
                  Types?},
  booktitle    = {28th Asia-Pacific Software Engineering Conference, {APSEC} 2021, Taipei,
                  Taiwan, December 6-9, 2021},
  pages        = {360--368},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/APSEC53868.2021.00043},
  doi          = {10.1109/APSEC53868.2021.00043},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/ShinyamaAG21a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HoshinoAG21,
  author       = {Shinji Hoshino and
                  Yoshitaka Arahori and
                  Katsuhiko Gondow},
  editor       = {Chih{-}Cheng Hung and
                  Jiman Hong and
                  Alessio Bechini and
                  Eunjee Song},
  title        = {{STRAB:} state recovery using reverse execution at {IR} level for
                  concurrent programs},
  booktitle    = {{SAC} '21: The 36th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
                  Event, Republic of Korea, March 22-26, 2021},
  pages        = {1532--1541},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3412841.3442028},
  doi          = {10.1145/3412841.3442028},
  timestamp    = {Mon, 03 May 2021 14:34:56 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/HoshinoAG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/TominagaAG21,
  author       = {Ena Tominaga and
                  Yoshitaka Arahori and
                  Katsuhiko Gondow},
  editor       = {Chih{-}Cheng Hung and
                  Jiman Hong and
                  Alessio Bechini and
                  Eunjee Song},
  title        = {DiverJS: path exploration heuristic for difference analysis of event-driven
                  code},
  booktitle    = {{SAC} '21: The 36th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
                  Event, Republic of Korea, March 22-26, 2021},
  pages        = {1768--1777},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3412841.3442049},
  doi          = {10.1145/3412841.3442049},
  timestamp    = {Mon, 03 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/TominagaAG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/KoizumiA20,
  author       = {Yuta Koizumi and
                  Yoshitaka Arahori},
  title        = {Risk-Aware Leak Detection at Binary Level},
  booktitle    = {25th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2020, Perth, Australia, December 1-4, 2020},
  pages        = {171--180},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/PRDC50213.2020.00028},
  doi          = {10.1109/PRDC50213.2020.00028},
  timestamp    = {Wed, 27 Jan 2021 14:35:01 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/KoizumiA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/JitsunariAG19,
  author       = {Yuma Jitsunari and
                  Yoshitaka Arahori and
                  Katsuhiko Gondow},
  editor       = {Leonard Barolli and
                  Makoto Takizawa and
                  Fatos Xhafa and
                  Tomoya Enokido},
  title        = {Quantifying the Limitations of Learning-Assisted Grammar-Based Fuzzing},
  booktitle    = {Advanced Information Networking and Applications - Proceedings of
                  the 33rd International Conference on Advanced Information Networking
                  and Applications, {AINA} 2019, Matsue, Japan, March 27-29, 2019},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {926},
  pages        = {470--484},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-15032-7\_40},
  doi          = {10.1007/978-3-030-15032-7\_40},
  timestamp    = {Thu, 28 Mar 2019 15:39:18 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/JitsunariAG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/Arahori19,
  author       = {Yoshitaka Arahori},
  editor       = {Dongjin Yu and
                  Vu Nguyen and
                  Congfeng Jiang},
  title        = {RangeLocker: Adaptive Range-Sensitive Lockset Analysis for Precise
                  Dynamic Race Detection},
  booktitle    = {19th {IEEE} International Symposium on High Assurance Systems Engineering,
                  {HASE} 2019, Hangzhou, China, January 3-5, 2019},
  pages        = {184--191},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/HASE.2019.00036},
  doi          = {10.1109/HASE.2019.00036},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/hase/Arahori19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/JitsunariA19,
  author       = {Yuma Jitsunari and
                  Yoshitaka Arahori},
  title        = {Coverage-Guided Learning-Assisted Grammar-Based Fuzzing},
  booktitle    = {2019 {IEEE} International Conference on Software Testing, Verification
                  and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April
                  22-23, 2019},
  pages        = {275--280},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICSTW.2019.00065},
  doi          = {10.1109/ICSTW.2019.00065},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/JitsunariA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/TominagaAG19,
  author       = {Ena Tominaga and
                  Yoshitaka Arahori and
                  Katsuhiko Gondow},
  editor       = {Chih{-}Cheng Hung and
                  George A. Papadopoulos},
  title        = {AwaitViz: a visualizer of JavaScript's async/await execution order},
  booktitle    = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
                  {SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
  pages        = {2515--2524},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3297280.3297528},
  doi          = {10.1145/3297280.3297528},
  timestamp    = {Sun, 02 Jun 2019 21:18:38 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/TominagaAG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-02050,
  author       = {Yusuke Shinyama and
                  Yoshitaka Arahori and
                  Katsuhiko Gondow},
  title        = {Analyzing Code Comments to Boost Program Comprehension},
  journal      = {CoRR},
  volume       = {abs/1905.02050},
  year         = {2019},
  url          = {http://arxiv.org/abs/1905.02050},
  eprinttype    = {arXiv},
  eprint       = {1905.02050},
  timestamp    = {Mon, 27 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-02050.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/OgitaniASG18,
  author       = {Taihei Ogitani and
                  Yoshitaka Arahori and
                  Yusuke Shinyama and
                  Katsuhiko Gondow},
  editor       = {Leonard Barolli and
                  Makoto Takizawa and
                  Tomoya Enokido and
                  Marek R. Ogiela and
                  Lidia Ogiela and
                  Nadeem Javaid},
  title        = {Space Saving Text Input Method for Head Mounted Display with Virtual
                  12-key Keyboard},
  booktitle    = {32nd {IEEE} International Conference on Advanced Information Networking
                  and Applications, {AINA} 2018, Krakow, Poland, May 16-18, 2018},
  pages        = {342--349},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/AINA.2018.00059},
  doi          = {10.1109/AINA.2018.00059},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/OgitaniASG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ShinyamaAG18,
  author       = {Yusuke Shinyama and
                  Yoshitaka Arahori and
                  Katsuhiko Gondow},
  title        = {Analyzing Code Comments to Boost Program Comprehension},
  booktitle    = {25th Asia-Pacific Software Engineering Conference, {APSEC} 2018, Nara,
                  Japan, December 4-7, 2018},
  pages        = {325--334},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/APSEC.2018.00047},
  doi          = {10.1109/APSEC.2018.00047},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/apsec/ShinyamaAG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/GondowAYFU18,
  author       = {Katsuhiko Gondow and
                  Yoshitaka Arahori and
                  Koji Yamamoto and
                  Masahiro Fukuyori and
                  Ryuichi Umekawa},
  editor       = {Leszek A. Maciaszek and
                  Marten van Sinderen},
  title        = {{TCC} (Tracer-Carrying Code): {A} Hash-based Pinpointable Traceability
                  Tool using Copy{\&}Paste},
  booktitle    = {Proceedings of the 13th International Conference on Software Technologies,
                  {ICSOFT} 2018, Porto, Portugal, July 26-28, 2018},
  pages        = {255--266},
  publisher    = {SciTePress},
  year         = {2018},
  url          = {https://doi.org/10.5220/0006837102550266},
  doi          = {10.5220/0006837102550266},
  timestamp    = {Tue, 18 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/GondowAYFU18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/GondowA18,
  author       = {Katsuhiko Gondow and
                  Yoshitaka Arahori},
  editor       = {Leszek A. Maciaszek and
                  Marten van Sinderen},
  title        = {Why Do We Need the {C} language in Programming Courses?},
  booktitle    = {Proceedings of the 13th International Conference on Software Technologies,
                  {ICSOFT} 2018, Porto, Portugal, July 26-28, 2018},
  pages        = {583--590},
  publisher    = {SciTePress},
  year         = {2018},
  url          = {https://doi.org/10.5220/0006837205830590},
  doi          = {10.5220/0006837205830590},
  timestamp    = {Wed, 29 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/GondowA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/SakuraiAG18,
  author       = {Yoshitaka Sakurai and
                  Yoshitaka Arahori and
                  Katsuhiko Gondow},
  title        = {[Research Paper] {POI:} Skew-Aware Parallel Race Detection},
  booktitle    = {18th {IEEE} International Working Conference on Source Code Analysis
                  and Manipulation, {SCAM} 2018, Madrid, Spain, September 23-24, 2018},
  pages        = {215--224},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/SCAM.2018.00033},
  doi          = {10.1109/SCAM.2018.00033},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/scam/SakuraiAG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/ShinyamaAG18,
  author       = {Yusuke Shinyama and
                  Yoshitaka Arahori and
                  Katsuhiko Gondow},
  title        = {CodeCAM: capturing programmer's reaction during coding session},
  booktitle    = {2018 {IEEE} Workshop on Mining and Analyzing Interaction Histories,
                  MAINT@SANER 2018, Campobasso, Italy, March 20, 2018},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/MAINT.2018.8323087},
  doi          = {10.1109/MAINT.2018.8323087},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcre/ShinyamaAG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/UragakiHAKYAY16,
  author       = {Keishiro Uragaki and
                  Tomoyuki Hosaka and
                  Yoshitaka Arahori and
                  Muneo Kushima and
                  Tomoyoshi Yamazaki and
                  Kenji Araki and
                  Haruo Yokota},
  title        = {Sequential pattern mining on electronic medical records with handling
                  time intervals and the efficacy of medicines},
  booktitle    = {{IEEE} Symposium on Computers and Communication, {ISCC} 2016, Messina,
                  Italy, June 27-30, 2016},
  pages        = {20--25},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ISCC.2016.7543708},
  doi          = {10.1109/ISCC.2016.7543708},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iscc/UragakiHAKYAY16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/KojimaAG15,
  author       = {Yoshitaka Kojima and
                  Yoshitaka Arahori and
                  Katsuhiko Gondow},
  editor       = {Markus Helfert and
                  Maria Teresa Restivo and
                  Susan Zvacek and
                  James Onohuome Uhomoibhi},
  title        = {Investigating the Difficulty of Commercial-level Compiler Warning
                  Messages for Novice Programmers},
  booktitle    = {{CSEDU} 2015 - Proceedings of the 7th International Conference on
                  Computer Supported Education, Volume 2, Lisbon, Portugal, 23-25 May,
                  2015},
  pages        = {483--490},
  publisher    = {SciTePress},
  year         = {2015},
  timestamp    = {Tue, 04 Aug 2015 11:00:24 +0200},
  biburl       = {https://dblp.org/rec/conf/csedu/KojimaAG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/GondowFA10,
  author       = {Katsuhiko Gondow and
                  Naoki Fukuyasu and
                  Yoshitaka Arahori},
  editor       = {Gary Lewandowski and
                  Steven A. Wolfman and
                  Thomas J. Cortina and
                  Ellen Lowenfeld Walker},
  title        = {MieruCompiler: integrated visualization tool with "horizontal
                  slicing" for educational compilers},
  booktitle    = {Proceedings of the 41st {ACM} technical symposium on Computer science
                  education, {SIGCSE} 2010, Milwaukee, Wisconsin, USA, March 10-13,
                  2010},
  pages        = {7--11},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1734263.1734268},
  doi          = {10.1145/1734263.1734268},
  timestamp    = {Wed, 10 Mar 2021 13:17:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigcse/GondowFA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasc/ArahoriGM09,
  author       = {Yoshitaka Arahori and
                  Katsuhiko Gondow and
                  Hideo Maejima},
  title        = {{TCBC:} Trap Caching Bounds Checking for {C}},
  booktitle    = {Eighth {IEEE} International Conference on Dependable, Autonomic and
                  Secure Computing, {DASC} 2009, Chengdu, China, 12-14 December, 2009},
  pages        = {49--56},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DASC.2009.80},
  doi          = {10.1109/DASC.2009.80},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dasc/ArahoriGM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics