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

SPLASH 2023	PC Member in OOPSLA Review Committee within the OOPSLA-track
PriSC 2023	Committee Member in Program Committee within the PriSC 2023-track
PLDI 2022	Author of Verifying Optimizations of Concurrent Programs in the Promising Semantics within the PLDI-track Committee Member in PLDI within the PLDI-track
POPL 2022	Committee Member in Program Committee within the POPL-track
CPP 2022	Committee Member in Program Committee within the CPP 2022-track
PLDI 2021	Author of Abstraction for Conflict-Free Replicated Data Types within the PLDI-track
CPP 2021	Committee Member in Program Committee within the CPP 2021-track
CPP 2020	Committee Member in Program Committee within the CPP 2020-track
APLAS 2019	Ordinary PC member in Program Committee within the Research Papers-track
PLDI 2019	Author of Towards Certified Separate Compilation for Concurrent Programs within the PLDI Research Papers-track
POPL 2019	Committee Member in Program Committee within the Research Papers-track
POPL 2018	Author of Progress of Concurrent Objects with Partial Methods within the Research Papers-track
CoqPL 2017	Committee Member in Program Committee within the CoqPL 2017-track
POPL 2016	Author of A Program Logic for Concurrent Objects under Fair Scheduling within the Research Papers-track
CPP 2016	Committee Member in Program Committee within the CPP-track