Hongjin Liang -

Registered user since Fri 25 May 2018

Name:Hongjin Liang

Country:China

Affiliation:Nanjing University

Personal website: https://hongjin-liang.github.io/

Contributions

2024

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

PriSC

Committee Member in Program Committee within the PriSC 2024-track

2023

APLAS

PC Member in Program Committee within the APLAS 2023-track

SPLASH

PC Member in OOPSLA Review Committee within the OOPSLA-track

PriSC

Committee Member in Program Committee within the PriSC 2023-track

2022

PLDI

POPL

Committee Member in Program Committee within the POPL-track

CPP

Committee Member in Program Committee within the CPP 2022-track

2021

PLDI

Author of Abstraction for Conflict-Free Replicated Data Types within the PLDI-track

CPP

Committee Member in Program Committee within the CPP 2021-track

2020

CPP

Committee Member in Program Committee within the CPP 2020-track

2019

APLAS

Ordinary PC member in Program Committee within the Research Papers-track

PLDI

Author of Towards Certified Separate Compilation for Concurrent Programs within the PLDI Research Papers-track

POPL

Committee Member in Program Committee within the Research Papers-track

2018

POPL

Author of Progress of Concurrent Objects with Partial Methods within the Research Papers-track

2017

CoqPL

Committee Member in Program Committee within the CoqPL 2017-track

2016

POPL

Author of A Program Logic for Concurrent Objects under Fair Scheduling within the Research Papers-track

CPP

Committee Member in Program Committee within the CPP-track