• Sign in
  • Sign up
conf.researchr.org / Hongming Liu
  • POPL 2025 profile
  • SPLASH 2022 profile
No Photo

Not registered as user

Name:Hongming Liu
Country:China
Affiliation:Shanghai Jiao Tong University

Contributions

2025

VMCAI

  • Author of Affine Disjunctive Invariant Generation with Farkas’ Lemma within the VMCAI 2025-track

2022

SPLASH

  • Author of Scalable Linear Invariant Generation with Farkas’ Lemma within the V-OOPSLA-track
Share
xThu 22 May 16:18
using conf.researchr.org (v1.69.0)
Support page
Sign Up