Category: kanon
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.
Paper Presentation at Onward! 2018
Our paper “Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming” (authored by Oka, Masuhara, and Aotani) is accepted by Onward! 2018.
Presentation of Kanon at SIGPX#4
Oka, Shu and Li presented their work at the fourth SIGPX (Special Interest Group on Programming Experience) meeting at the University Tokyo. Oka talked about the user-study on live programming, entitled “How Sexy is Kanon?”. Shu and Li gave lightning talks.