About member
View all posts by member
A Presentation at IPSJ-PRO “A Reformalization of Quantified Types Based on Coeffect Calculus”
The following research will be presented at the IPSJ-PRO (124th, Nagoya).
“A Reformalization of Quantified Types Based on Coeffect Calculus”
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
Yusuke Izawa and Jeanine Adkisson Receive Student Research Competition Awards at <Programming> 2019
Yusuke Izawa and Jeanine Adkisson placed 2nd and 3rd in the Student Research Competition at <Programming> 2019. Yusuke Izawa presented his research, “BacCaml: The Meta-Hybrid Just-in-time Compiler”. Jeanine Adkisson presented her research, “Magritte: A modern Shell Language”.
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.
Paper on a shell-like language presented at IPSJ PRO
Our paper “A Shell-like Model for General Purpose Programming” (authored by Jeanine Adkisson, Johannes Westlund, and Hidehiko Masuhara) was presented at the 122nd IPSJ PRO workshop in Fukuyama, Japan.
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.
Paper presentation on “A Context-Oriented Programming Approach to Dependency Hell” at COP2018
Our paper was accepted by the 10th International Workshop on Context-Oriented Programming (COP2018).
- A Context-Oriented Programming Approach to Dependency Hell
Yudai Tanabe, Tomoyuki Aotani and Hidehiko Masuhara
Paper Presentation at xSIG 2018
Our paper “A Program Synthesis System for Optimizing GPGPU Program” (authored by Kani, Asakura, Masuhara, Aotani) is presented at cross-disciplinary workshop on computing System, Infrastructures, and programminG (xSIG 2018).
Three Poster Presentations at the PPL 2018 Workshop
Izawa, Okugawa and Tanabe did the poster presentation at the PPL workshop.
- “Introducing versions into a programming language (プログラミング言語へのバージョンの導入の研究)” by Tanabe, Aotani and Masuhara
- “Extensible formalization of type-safety based on an operational semantics (証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究)” by Okugawa, Aotani and Masuhara
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.