SPLASH-E に3本の論文が採択
以下の論文が10月にシンガポールで開催される SPLASH-E 2025 に採択されました。
谷口力斗によるWASM向けScalaコンパイラに関するWAW@SPLASH発表
谷口力斗が”Implementing and Evaluating a High-Level Language with WasmGC and the Wasm Component Model: Scala’s Case”という題でSPLASH/ICFP 2025に併設されるWebAssembly Workshop 2025にて発表しました。この研究は EPFL との共同で行っているものです。
(さらに…)増原によるメタトレースJITコンパイルに関するMPLR基調講演
増原がシンガポールにおいてICFP/SPLASH 2025とともに開催されるthe 22nd International Conference on Managed Programming Languages and Runtimes (MPLR 2025)において基調講演“Joy of Meta-Tracing Just-in-Time Compilation: More Than Just a JIT Compiler Generator” (副題は当初 “more than just a VM generator” としていました)を行います。
音楽の中の継続に関する論文が OlivierFest に採択
以下の論文が OlivierFest 2025 に採択されました。
- Youyou Cong. “Continuations in Music”
陳がICFP 2025 SRCにて第3位を受賞
陳智騏の研究 “Towards Programming with Effect Handlers and Typed Holes” が ICFP 2025 Student Research Competition にて第3位を受賞しました。
Scala Workshop と HATRA に2件の発表が採択
以下の発表が ICFP/SPLASH 2025 の併設イベントに採択されました。
- Youyou Cong. “Towards an Educational Fragment of Scala”
The 2025 Scala Workshop. - Youyou Cong. “Types as a Specification Language for Creativity”
HATRA 2025.
陳智騏がICFP学生研究コンテストで型付きの穴について発表
陳智騏が “Towards Programming with Effect Handlers and Typed Holes” という題目の発表を ICFP 2025 Student Research Competition で行いました。
林、吉尾、叢がSIGPXで発表
林、吉尾、叢が第11回 SIGPX 勉強会で以下の発表を行いました。
- 林みなみ “Trajectory-based Algorithm Visualization for Live Data-Structure Programming”
- 吉尾拓真 “Interactive Program Synthesis through Data Structure Manipulation”
- 叢悠悠 “Report on Shonan Meeting No.233: Foundations of Computation and Creative Computing“
田邉による漸進的型付けに関するNII軽井沢セミナーでの招待セミナー
田邉によるNII軽井沢セミナー招待講演が行われました。
(さらに…)
2025年9月修了者
研究室メンバの谷口力斗が学位授与式にて情報理工学院の代表として修士号を授与されました。谷口は今後もコンパイラエンジニアとして企業で働き続ける予定です。研究室での経験を糧として今後益々の活躍を願ってやみません。