Our paper “Live Data Structure Programming” (authored by Oka, , Imai, ) is presented at The 2nd Edition of the Programming Experience Workshop co-located with <Programming> 2017.
Our group will present the following posters at the 19th Workshop of Programming and Programming Languages (第19回プログラミングおよびプログラミング言語ワークショップ).
The following papers are presented at the 113th IPSJ Workshop on Programming.
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