About the Programming Research Laboratory

Welcome to the programming research group at NII! This laboratory is jointly run by Profs. Hu, Kato, and Tsushima (and thus also called HKT Lab). It aims at top-quality research on design and implementation of declarative programming languages, systematic construction of efficient programs (sequential and parallel), and automatic optimization of queries on XML and graph databases.

Recent News

Open positions
We have two full-time post-doctoral research positions in National Institute of Informatics or Osaka University, Japan, for a new 5-year collaborative project on “Bidirectional (information) System for Collaborative, Updatable, Interoperable, and Trusted Sharing”.

August 2017

Paper accepted!
Yongzhe Zhang, Hsiang-Shang Ko, and Zhenjiang Hu's paper “Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access” is accepeted by APLAS'17.

9 ~ 11, August, 2017

Summer Camp on Programming
See homepage.

On 19 July 2017

Invited talk
Prof Nobuko Yoshida from (Imperial College London) will give a talk about "Behavioural Type-Based Static Verification Framework for Go".
Place: Room 2001, 20th floor

July 2017

Paper accepted!
Hiroyuki Kato, Yasunori Ishihara and Torsten Grust’s paper “DDO-Free XQuery” is accepted for DBPL 2017.

21 ~ 23, March, 2017

Spring Festival Workshop
See homepage.

October 2016

IPL seminar
IPL seminar will start from 11 October (tentatively).

Paper accepted!
Zirun Zhu, Hsiang-Shang Ko, Pedro Martins, Joao Saraiva, and Zhenjiang Hu’s paper “Parsing and Reflective Printing, Bidirectionally” is accepted for SLE 2016.

May 2016

Paper accepted!
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihara, and Hideya Iwasaki’s paper “Think Like a Vertex, Behave Like a Function! – A Functional DSL for Vertex-centric Big Graph Processing” is accepted for ICFP 2016.

May 2016

Paper accepted!
Weize Zhao, Haiyan Zhao, and Zhenjiang Hu’s paper “A Framework for Synchronization Between Feature Configurations and Use Cases Based on Bidirectional Programming” is accepted for MoDRE 2016.

April 2016

Paper accepted!
Tao Zan, Hugo Pacheco, Hsiang-Shang Ko, and Zhenjiang Hu’s paper “BiFluX: A Bidirectional Functional Update Language for XML” is accepted for JSSST Computer Software, 2016.

On 1 April 2016

Congratulations!
Dr. Soichiro Hidaka moved to Hosei university as a full professor.

March 2016

Paper accepted!
Chong Li, Le-Duc Tung, Xiaodong Meng, and Zhenjiang Hu’s paper “Let High-level Graph Queries Be Parallel Efficient: An Approach Over Structural Recursion On Pregel” is accepted for IPSJ Transactions on Programming, 2016.

On 14 March 2016

IPL seminar
IPL seminar will start from April 5th (Tuesday).

On 7 March 2016

Invited talk
Prof. Julia Lawall from Inria Paris will give a talk on March 10th about "Prequel: A Patch-Like Query Language for Commit History Search".
Time: 11:00-12:00, March 10, 2016
Place:Room 2006, 20th floor (the room has been changed from 1210 to 2006).

March 2016

Paper accepted!
Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, and Zhenjiang Hu’s paper “Transforming Programs between APIs with Many-to-Many Mappings” is accepted for ECOOP 2016.

On 29 January 2016

Workshop
The second Spring Festival Workshop on Programming Languages will be held on the 4th in February.

January 2016

Paper accepted!
Xiao Cheng, Hao Zhong, Yuting Chen, Zhenjiang Hu, and Jianjun Zhao’s paper “Rule-Directed Code Clone Synchronization”is accepted for “ICPC 2016”

January 2016

Paper accepted!
Robin Dupuis, Kevin Colson, Lionel Montrieux, Zhenjiang Hu, Seastian Uchitel, and Pierre-Yves Schobbens’s paper “Reusable Self-Adaptation through Bidirectional Programming” is accepted for SEAMS 2016.

Upcoming Related Conferences

Cloud Storage for Materials