Hongjin Liang

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Web Services Composition

Concurrent Programs

Formal Specification

Asynchronous Circuits

Top Venues

Publications

Junpeng Zha, Hongjin Liang, Xinyu Feng
Verifying optimizations of concurrent programs in the promising semantics. PLDI (2022)