Asakura et al. received the IPSJ Outstanding Paper Award
The paper entitled “Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq” by Asakura, Masuhara and Aotani, received the 2018 IPSJ Outstanding Paper Award.
Cong’s presentation at the departmental seminar
Youyou Cong gave a seminar talk at the Department of Mathematical and Computing Science.
Date: Wednesday, June 5, 2019, 14:00-15:00
Place: West8 W1008
Speaker: Youyou Cong
Title: Designing a language with control operators and dependent-types
New Member: Chengkai Yang
Chengkai Yang, an exchange student from Georgia Institute of Technology, joined our group under the Tokyo Tech Summer Program. Chengkai will work with us until August.
Talks by Dr. Marr and Prof. Gonzalez Boix
Dr. Stefan Marr at Kent University and Prof. Elisa Gonzalez Boix at VUB give talks at our seminar.
- Location: W8 W910 (西8号館W棟 910セミナー室)
- Time: Tuesday June 4, 2019, 14:30-
- Talk 1 (14:30-)
- Title: Safe and Efficient Data Representations for Dynamic Languages with Shared-Memory Parallelism
- Speaker: Dr. Stefan Marr (University of Kent)
- Talk 2 (16:00-)
- Title: Tooling for live big data applications
- Speaker: Prof. Elisa Gonzalez Boix (Vrije Universiteit Brussel)
(more…)
JSSST Best Research Paper Award
The paper entitled “Unravel Programming Sessions with THRESHER: Identifying Coherent and Complete Sets of Fine-granular Source Code Changes” by Taeumel, Platz, Steinert, Hirschfeld, and Masuhara, received the 23rd JSSST Best Research Paper Award.
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)
New Members: Youyou Cong, Jizhe Chenxin and Junya Nose
We welcome three new members:
- Youyou Cong (assistant professor)
- Jizhe Chenxin (master’s course student)
- Junya Nose (undergraduate student)
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.
Talks by Mr. Fabio Niephaus and Prof. Fernando Castor
Mr. Fabio Niephaus from Hasso-Plattner Institute and Prof. ernando Castor from UFPE gave talks at our seminar.
Mr. Niephaus’s talk was a demonstration of a virtual machine that can run multiple programming languages (“Polyglot Programming”) and has a JIT compiler.
Prof. Castor’s talk was about GreenHub, a platform that collects energy consumption by mobile applications.
