Category: kanon
Talk on Polyglot Live Programming at IPSJ-PRO
The following work will be presented at the 135th IPSJ workshop on programming.
Shusuke Takahashi, Yusuke Izawa, Hidehiko Masuhara, Youyou Cong. A language-agnostic approach to collecting object graphs based on a language implementation framework
Paper & Poster presentation at PPL’21
Paper
The following paper will be presented at PPL’21.
- Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework (Izawa, Masuhara) (published at DLS’20)
- A Functional Abstraction of Typed Trails (Kenichi Asai, Cong, Chiaki Ishio) (published at PEPM’20)
Posters & Demos
The following posters & demos will be presented at PPL’21.
- ライブデータ構造プログラミングの大規模データ利用のための改善 (Ogushi, Masuhara）
- Effekt言語の双方向エフェクトによる拡張 (Niimi, Cong, Masuhara)
- デザインレシピに基づいたプログラミングための開発環境の構築に向けて (Nose, Cong, Masuhara)
Posters
The following posters will be presented at PPL’21.
- An Agda Formalization of Counterpoint (Cong)
- An Interpreter Design for Supporting Different JIT Compilations in RPython Framework (Izawa, Masuhara, Cong)
- 代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明 (Ikemori, Cong, Masuhara)
- Koka言語に対するエフェクト割り当て最適化 (Furudono, Cong, Masuhara)
- 汎言語的ライブプログラミング環境のためのデータ構造解析手法 (Takahashi, Izawa, Masuhara, Cong)
Ikemori, Furudono and Takahashi Presents Bachelor’s Theses
Our members present their bachelor’s theses. (Bachelor thesis presentation)
- Kazuki Ikemori, 代数的エフェクトを持つ計算体系F^effへのエフェクト強制の導入と健全性の証明 (PDF)
- Naoya Furudono, 代数的エフェクトを備えた関数型言語 Koka に対する、エフェクト割り当て最適化 (PDF)
- Shusuke Takahashi, データ構造ライブプログラミング環境の汎言語的な構築手法 (PDF)
Master’s theses defense by Ogushi, Niimi, Chenxin and Luthfan
Our members presented their master’s theses.
- Tomoki Ogushi, ライブデータ構造プログラミングの大規模データ利用のための改善 (PDF)
- Kazuki Niimi, Extending Effekt with Bidirectional Effects (PDF)
- Jizhe Chenxin, Nested Object Support in an Object-Oriented Domain-Specific Language for GPGPU (PDF)
- Lubis Luthfan Anshar, BatakJava: an Object-Oriented Programming Language with Versions (PDF)
Talk on Polyglot/Poly-enivornment Live Programming at LIVE’20
Hidehiko Masuhara, Shusuke Takahashi, Yusuke Izawa and Youyou Cong give a talk on “Toward a Multi-Language and Multi-Environment Framework for Live Programming” at the LIVE 2020 workshop co-located with SPLASH’20.
Paper on Python DSL for GPGPU at JSSST 2020 Conference (Along With 5 Posters)
Chenxin et al. presented his paper on Sanajeh at the 2020 annual conference of Japan Society for Software Science and Technology (JSSST).
Sanajeh: A DSL for GPGPU programming with Python objects (Jizhe Chenxin, Hidehiko Masuhara, Matthias Sprinter, Youyou Cong)
Our group member also presented posters at the conference. (more…)
Paper/Poster/Demo Presentations at <Programming> 2019
There are the following presentations at <Programming> 2019 (The International Conference on the Art, Science, and Engineering of Programming), Genova, Italy, April 1-4, 2019.
- (Paper) “Extending a Meta-Tracing Compiler to Mix Method and Tracing Compilation” (by Izawa, Masuhara, Aotani) at MoreVMs’19 Workshop on Modern Language Runtimes, Ecosystems, and VMs
- (Paper) “A Shell-like Model for General Purpose Programming” (by Adkisson, Westlund, and Masuhara) at MoreVMs’19 Workshop on Modern Language Runtimes, Ecosystems, and VMs
- (Poster) “BacCaml: The Meta-Hybrid Just-In-Time Compiler” (by Izawa) at the ACM Student Research Competition (SRC)
- (Poster) “Magritte: A modern shell language” (by Adkisson) at the ACM Student Research Competition (SRC)
- (Demo) “Programming Experiences with a Live Programming Environment for Data Structures” (by Masuhara, Oka, Ogushi)
Paper & Poster presentation at PPL 2019
The following papers were presented at PPL 2019.
On Defining Recursive Functions in Live Data Structure Programming (authored by Oka, Masuhara, Aotani)
A Profile-based GPGPU Program Synthesizer for Shared Memory Optimization(authored by Kani, Masuhara, Aotani)
The following poster was presented at PPL 2019.
Bachelor’s theses presentations by Luthfan, Niimi and Ogushi
Three members present their Bachelor’s theses.
- Lubis Luthfan, Batak Java: Version Numbered Object-oriented Language to Solve Dependency Hell (PDF)
- Kazuki Niimi, GPU向けデータ並列中間言語 Lift におけるフィルター関数の設計と実装 (PDF)
- Tomoki Ogushi, データ構造の関係性を視認しやすくする自動グラフレイアウト手法 (PDF)
Master’s theses presentation by Kani, Natsume and Oka
Three members presented their Master’s theses.