Jingbo Wang -

Registered user since Wed 8 Jan 2025

Name:Jingbo Wang

Country:United States

Affiliation:Purdue University

Personal website: https://engineering.purdue.edu/~wang6203/

Contributions

2026

ASE

Author of Conflict Extraction in Probabilistic Datalog Analyses within the Research Papers-track

ISSTA

Committee Member in Research papers within the Research papers-track

LMPL

Author of The Checkability Boundary: Abstraction Principles for LLM-Assisted Verification and Analysis within the LMPL 2026-track

SPLASH

Committee Member in OOPSLA Review Committee within the OOPSLA-track
Author of Mechanically Translating Iterative Dataflow Analysis to Algebraic Program Analysis within the OOPSLA-track

VMIL

Committee Member in Program Committee within the VMIL-track

ECOOP

Author of Efficient Symbolic Execution of Software under Fault Attacks within the Technical Papers-track

PLDI

PLMW

2025

ASE

PC Member in Research Papers within the Research Papers-track

SPLASH

Author of Probabilistic Inference for Datalog with Correlated Inputs within the OOPSLA-track

ISSTA

Committee Member in Program Committee within the Research Papers-track

PROMISE

Committee Member in Program Committee within the PROMISE 2025-track

PLDI

PLMW

POPL