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.
21 ~ 23, March, 2017
Spring Festival Workshop
IPL seminar will start from 11 October (tentatively).
Zirun Zhu, Hsiang-Shang Ko, Pedro Martins, Joao Saraiva, and Zhenjiang Hu’s paper “Parsing and Reflective Printing, Bidirectionally” is accepted by SLE 2016.
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.
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.
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
Dr. Soichiro Hidaka moved to Hosei university as a full professor.
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 will start from April 5th (Tuesday).
On 7 March 2016
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).
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
The second Spring Festival Workshop on Programming Languages will be held on the 4th in February.
Xiao Cheng, Hao Zhong, Yuting Chen, Zhenjiang Hu, and Jianjun Zhao’s paper “Rule-Directed Code Clone Synchronization”is accepted by “ICPC 2016”
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.