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
We presented our manuscript “A Layer-based Approach to Hierarchical Dynamically-scoped Open Classes” (authored by, , and ) at 110th IPSJ Workshop on Programming (IPSJ-PRO), one of the “Matsumoto” Summer United Workshops on Parallel/Distributed/Cooperative Processing (SWoPP 2016).
The second meeting of SIGPX (Special Interest Group on Programming Experience) is held at Microsoft Japan HQ. and Oka give their lighting talks. Jointly with Jun Kato at AIST, serves as an organizer.