Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jinpeng Wang
conf.researchr.org general profile
PLDI 2026 profile
SPLASH 2023 profile
SPLASH/ISSTA 2026 profile
Registered user since Sat 15 Apr 2023
Name:
Jinpeng Wang
Contributions
2026
SPLASH
Author of Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis within the OOPSLA-track
PLDI
Author of Exploiting Sophisticated Static Analysis for Verilog within the PLDI Research Papers-track
2023
SPLASH
Author of The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog within the OOPSLA-track
Share
x
Wed 14 Oct 17:29