LabCompass

Jingbo Wang

Computer Science · Purdue University West Lafayette

OpenAlex ORCID
Mid career · publishing since 2003Rising activity
Formal Methods in VerificationAdvanced Malware Detection TechniquesSecurity and Verification in ComputingResearch Data Management PracticesSoftware Testing and Debugging Techniques

Publications

103

Citations

297

Est. group size

—

Recurring co-author estimate

Active years

24

Publishing since 2003

Research summary
AI-generated

This publication record appears to combine work from multiple distinct researchers sharing the name Jingbo Wang, spanning programming languages and software verification (dataflow analysis, symbolic execution, probabilistic inference for Datalog), as well as unrelated areas like particle physics detectors, power systems, quantum computing hardware, and knowledge graphs. The programming-languages-focused thread centers on program analysis techniques, including algebraic and probabilistic approaches to analyzing software behavior, and tools for detecting security vulnerabilities such as fault attacks. Because the topic labels have zero relevance scores and the venues are highly heterogeneous, prospective students should verify which specific body of work and institutional affiliation corresponds to the advisor they are considering.

Program analysis and verificationSoftware security testingDataflow and Datalog analysisJust-in-time compilationQuantum computing (hardware/co-design)

Publication counts have fluctuated over the past decade without a clear steady trend, with a notable increase in 2025 (14 publications) following lower output in preceding years.

Generated by claude-sonnet-5 from public bibliographic data · Jul 20, 2026

Publication cadence
Publications per year over the last 10 years — averaging 7.8/year recently
2017: 1 publication172018: 9 publications182019: 5 publications192020: 2 publications202021: 8 publications212022: 5 publications222023: 10 publications232024: 5 publications242025: 14 publications14252026: 5 publications26
Recent publications
Publishes in
  • arXiv (Cornell University)×18
  • Proceedings of the ACM on Programming Languages×4
  • Research series on the Chinese dream and China's development path×4
  • Lecture notes in computer science×4
  • SSRN Electronic Journal×4
Similar researchers
By research-topic overlap
  • Qianchuan Ye

    Computer Science · Purdue University West Lafayette

  • Prasita Mukherjee

    Computer Science · Purdue University West Lafayette

  • Yuantian Ding

    Computer Science · Purdue University West Lafayette

  • Mahsa Ghasemi

    Computer Science · Purdue University West Lafayette

  • Xuwei Liu

    Computer Science · Purdue University West Lafayette

This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.

Last updated Jul 20, 2026.

Claim or correct this profile