PPL2025では，以下の2件の招待講演を予定しております．
| 伊藤 健洋 | 東北大学 |
|---|---|
| 組合せ遷移への招待 | |
| Jeehoon Kang | KAIST |
| Hardware Design is Parallel Programming |
伊藤 健洋（東北大学）
組合せ遷移とは，「状態空間上での遷り変り」を数理モデル化し，アルゴリズム理論の観点から計算複雑性を解析する研究である．組合せ遷移の研究枠組が2008年に提唱されて以来，その研究は世界的に広がり，今ではアルゴリズム理論の新しい研究潮流となっている．また近年では，組合せ遷移の概念が理論から産業まで多種多様な分野に現れることもわかってきた．数学の諸分野に現れる研究を組合せ遷移の視点から捉えたり，組合せ遷移問題を解く汎用ソルバーの開発や産業応用に向けた工学的アプローチの研究に取り組んだりと，様々な研究が発表されている．特に日本では，科研費・学術変革領域研究(B)「組合せ遷移の展開に向けた計算機科学・工学・数学によるアプローチの融合」（2020－2022年度）が実施され，組合せ遷移を基軸とした融合研究が活発に行われている．本講演では，組合せ遷移の背景や応用，最近の研究の取組まで幅広く紹介したい．
2006年3月東北大学にて博士 (情報科学) を取得．同年より東北大学大学院情報科学研究科の助手，助教，准教授を経て，2020年5月より教授，現在に至る．アルゴリズム理論，特にグラフアルゴリズムの研究に取り組む．2018年度科学技術分野の文部科学大臣表彰若手科学者賞受賞．学術変革領域研究(B)「組合せ遷移」では，領域代表を務めた．
Jeehoon Kang（KAIST）
Hardware design has long been considered distinct from software programming. In this talk, I will share my experiences challenging this tradition over the past five years, demonstrating how treating hardware design as a form of parallel programming facilitates the design of efficient hardware RTL. We initially showed that designs with structural hazards could be represented by functional programming combinators, such as map and reduce, enabling efficient design similar to that of distributed systems (ASPLOS 2023). We then extended this approach to support designs with data and control hazards (PLDI 2024). We recently generalized this approach to imperative programs, moving beyond the combinator style (submitted). In doing so, we could easily design an efficient 5-stage RISC-V CPU and a 100Gbps network interface card.
Jeehoon Kang is a tenure-track Associate Professor at the School of Computing, KAIST. Before joining KAIST in February 2019, he served as Chief R&D Officer at FuriosaAI, developing compilers for AI accelerators. He received his Ph.D. (2019) and B.S. (2013) in Computer Science from Seoul National University. His research focuses on designing and verifying concurrent and parallel systems, specializing in concurrent data structures, persistent memory, and hardware description languages. Professor Kang is a recipient of several awards, including the SPAA 2024, POPL 2022, and PLDI 2017 distinguished paper awards. He served on the POPL organizing committee from 2020 to 2023 and the PLDI organizing committee in 2025. Over the past decade, he has published 21 papers in top-tier conferences, including POPL, PLDI, OOPSLA, and ASPLOS.