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.
A paper entitled “Automated refactoring of legacy Java software to default methods”, authored by International Conference on Software Engineering (ICSE’17).and , is accepted by
Our poster “Towards a Formally Verified Skeleton-based Data Parallel DSL for GPGPU” (authored by , , and ), 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, the 17th Symposium on Trends in Functional Programming (TFP’16), held in June.and , is accepted by the Post-Proceeding of
Our paper entitled “Towards Automatic Decoration”, authored byand , has been accepted by and will be presented at NOOL 2016
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, and ) was accepted for publication in the IPSJ Transactions on Programming (Journal of Information Processing).
IPSJ Computer Science Research Award for Young Scientists for his paper presentation on “Proof of soundness of concurrent separation logic for GPGPU in Coq.”is awarded
Ruochen Huang receives his Master’s degree, as the representative of the School of Information Sciences and Technology.
Ruochen Huang, “Pyrlang: A High Performance Erlang Virtual Machine Based on RPython“, Master Thesis, August 2016
A paper entitled “Unravel programming sessions with THRESHER: Identifying coherent and complete sets of fine-granular source code changes” authored by Taeumel, Platz, Steinert, Computer Software (a journal of JSSST)., and , is accepted