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-level 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

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 by 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 by 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 by 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 by 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 by 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 by 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 by “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 by SEAMS 2016.

Upcoming Related Conferences

Cloud Storage for Materials