The Programming Research Group is working on programming languages and programming environments. Our goal is to make programming more fun by advancing theory, design and implementation of programming languages and environments.
- Theory, design and implementation of programming languages for advanced modularity, including object-oriented, aspect-oriented and context oriented programming languages, and computational reflection.
- Making it easy to write efficient programs through high-level optimization techniques like partial evaluation and program transformation for advanced computing systems like GPGPU and massively-parallel computers.
- Improving software development environment like reversible debuggers and code recommendation by exploiting rich computing resources and programming techniques like static program analysis and low-level execution profiling.
For more and detailed research topics, please look our projects page. We welcome interested students and researchers to join us.
A paper entitled “Automated refactoring of legacy Java software to default methods”, authored by Khatchadourian and Masuhara, is accepted by International Conference on Software Engineering (ICSE’17).
The orientations for prospective graduate students are held on these days (details):
- Saturday January 28, 2017 from 14:00
- Saturady February 18, 2017 from 14:00
- Saturday March 18, 2017 from 14:00
(add to your calendar)
Please contact Hidehiko Masuhara if you are interested in.
Our group will present the following posters at the 19th Workshop of Programming and Programming Languages (第19回プログラミングおよびプログラミング言語ワークショップ).
- GPGPU Programming with the CertSkel Formally Verified Compiler (authored by Asakura, Masuhara, Aotani)
- ライブプログラミング環境によるプログラマの行動と生産性への影響に関する実証研究 (authored by Imai, Masuhara, Aotani)
- Kanonライブプログラミング環境を用いたデータ構造のプログラミング (authored by Oka, Masuhara, Imai, Aotani)
- Kani-CUDAによるGPGPUプログラムの合成 (authored by Kani, Asakura, Masuhara, Aotani)
- Iterative Stencil Computations in Ruby on GPUs (authored by Springer, Wauligmann, Masuhara)
Our paper “CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL” (authored by Asakura, Masuhara, and Aotani), is presented at CoqPL 2017, co-located with POPL 2017. The paper is available here.
Our poster “Towards a Formally Verified Skeleton-based Data Parallel DSL for GPGPU” (authored by Asakura, Masuhara, and Aotani), is presented at APLAS 2016.
A paper titled “Improving Sequential Performance of Erlang based on a Meta-tracing Just-In-Time Compiler”, authored by Huang, Masuhara and Aotani, is accepted by the Post-Proceeding of the 17th Symposium on Trends in Functional Programming (TFP’16), held in June.
Our paper entitled “Towards Automatic Decoration”, authored by Aotani and Kamina, has been accepted by and will be presented at NOOL 2016
Imai, Masuhara, Aotani will have a presentation at IPSJ PRO 2016-3.
The title is “Design and Implementation of Unit Testing Features for Live Programming Environments.”
You can download the paper from here (in Japanese).
Our paper “A Layer-based Approach to Hierarchical Dynamically-scoped Open Classes” (authored by Springer, Masuhara and Hirschfeld) was accepted for publication in the IPSJ Transactions on Programming (Journal of Information Processing).
The paper was a revised version of the one presented at IPSJ PRO/SWoPP’16 in August.
Izumi Asakura is awarded IPSJ Computer Science Research Award for Young Scientists for his paper presentation on “Proof of soundness of concurrent separation logic for GPGPU in Coq.”