Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Zhan JING
conf.researchr.org general profile
POPL 2026 profile
Registered user since Thu 4 Dec 2025
Name:
Zhan JING
Affiliation:
Shanghai Jiao Tong University
Contributions
2026
RocqPL
Author of Abstract VCG: Tie-breaking rules in VCG mechanism design within the Rocq for Programming Languages 2026-track
Share
x
Wed 28 Oct 12:51