PLaX: Programming Languages and X

PhD Positions

We are looking for new PhD students. Here is a brief introduction (in Chinese) to the area of programming languages and our group.

News

November 2022

Junpeng Zha successfully defended his PhD thesis.

April 2022

Verifying Optimizations of Concurrent Programs in the Promising Semantics, a paper by Junpeng Zha, Hongjin Liang and Xinyu Feng, is accepted by PLDI 2022.

April 2021

Abstraction for Conflict-Free Replicated Data Types, a paper by Hongjin Liang and Xinyu Feng, is accepted by PLDI 2021.

May 2020

Progress of Concurrent Objects, a tutorial paper and also a book, by Hongjin Liang and Xinyu Feng, are published by now publishers.

June 2019

Towards Certified Separate Compilation for Concurrent Programs, a paper by Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha and Xinyu Feng, receives the Distinguished Paper Award for PLDI 2019.

May 2019

Hanru Jiang successfully defended his PhD thesis.

April 2019

Towards Certified Separate Compilation for Concurrent Programs, a paper by Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha and Xinyu Feng, is accepted by PLDI 2019.