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.
Our poster “Towards a Formally Verified Skeleton-based Data Parallel DSL for GPGPU” (authored by APLAS 2016., , and ), is presented at
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).
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.
Our paper “Towards Modular Reasoning for Context-Oriented Programs” (authored byand Leavens) was accepted for publication at the International Workshop on Formal Techniques for Java-like Programs (FTfJP), co-located with ECOOP 2016.
Our paper “Classes as Layers: Refactoring Design Patterns with COP” (authored by, and ) was accepted for publication at the International Workshop on Context-oriented Programming (COP 2016), co-located with ECOOP 2016.
Professor David Liu at SUNY Binghamtom visits our group from May 12 until July 8 for collaborative research. We are pleased to work with him on a joint project involving with programming languages for energy aware software and context-oriented programming.
Title: Proactive and Adaptive Energy-Aware Programming with Hybrid Typing
Speaker: Anthony Canino (State University of New York, Binghamton, USA)
Date/time: 2 pm, Monday June 27, 2016
Location: W911, Building West #8, Ookayama Campus, Tokyo Tech