Hashiba Keishi

I am a graduate university student (1st year of master's cource), and majoring in information science.

Osaka Univ., Suita City, Japan.

修士課程1年

大阪府吹田市 / 大阪大学

2024.10.13
Applied Information Technology Engineer Examination
応用情報技術者

Links


Conferences, Talks

2024.03.05

PPL 2024

Niigata City, Japan

Keishi Hashiba, Keisuke Nakano, Kazuyuki Asada, Kentaro Kikuchi, Characterizations of Partial Well-Behaved Lenses.

2024.09.00

APNIC 58

Wellington, New Zealand
A Fellow by JPNIC
Report
2025.01.21

PEPM 2025

Denver, United States of America

Keishi Hashiba, Keisuke Nakano, Kazuyuki Asada, and Kentaro Kikuchi. 2025. Characterizations of Partial Well-Behaved Lenses. In Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM ’25), January 21, 2025, Denver, CO, USA. ACM, New York, NY, USA, 11 pages. https://doi.org/10.1145/3704253.3706139

Paper

Education


Technical evenets and CTFs