PLaX: Programming Languages and X

Open Positions

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

News

August 2024

Two papers, Verifying Algorithmic Versions of the Lovász Local Lemma by Rongen Lin, Hongjin Liang and Xinyu Feng, and A Program Logic for Concurrent Randomized Programs in the Oblivious Adversary Model by Weijie Fan, Hongjin Liang, Xinyu Feng and Hanru Jiang, are accepted by ESOP 2025.

March 2024

Zhaohui Li successfully defended his PhD thesis.

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.