Z. Zhou
Physics and Astronomy · Purdue University West Lafayette
Publications
51
Citations
2,888
Est. group size
~3
Recurring co-author estimate
Active years
24
Publishing since 2003
This record appears to mix two distinct research identities under the same name: one set of publications concerns programming languages and software verification topics, such as automated test generation and type systems for software correctness, while OpenAlex topic tags also point to particle physics research. Based on the actual publication titles and venues provided, the recent and most active work is in software engineering, specifically tools and techniques for testing and verifying computer programs. Prospective students should verify which research area and specific person this profile refers to, since the topic tags and publication record do not clearly align.
Publication counts were higher around 2017, dropped to near zero in 2018 and 2022, and have recently increased again in 2023-2026, suggesting a renewed and currently active period of output.
Generated by claude-sonnet-5 from public bibliographic data · Jul 20, 2026
- PLDI26 Artifact: Trace-Guided Synthesis of Effectful Test Generators
Zenodo (CERN European Organization for Nuclear Research) · 2026
- zhezhouzz/PAT: v1.1-artifact
Open MIND · 2026
- PLDI26 Artifact: Trace-Guided Synthesis of Effectful Test Generators
Open MIND · 2026
- Polymorphic Coverage Types
Zenodo (CERN European Organization for Nuclear Research) · 2026
- Polymorphic Coverage Types
Zenodo (CERN European Organization for Nuclear Research) · 2026
- PLDI26 Artifact: Trace-Guided Synthesis of Effectful Test Generators
Zenodo (CERN European Organization for Nuclear Research) · 2026
- Polymorphic Coverage Types
Zenodo (CERN European Organization for Nuclear Research) · 2026
- Research on Multi-Strategy A * Path Planning Algorithm
2023
- Zenodo (CERN European Organization for Nuclear Research)×6
- Physical Review Letters×5
- Journal of High Energy Physics×5
- The European Physical Journal C×5
- Proceedings of the ACM on Programming Languages×5
- B. Srivastava
Physics and Astronomy · Purdue University West Lafayette
- B. Srivastava
Physics and Astronomy · Purdue University West Lafayette
- B. K. Srivastava
Physics and Astronomy · Purdue University West Lafayette
- B. Srivastava
Physics and Astronomy · Purdue University West Lafayette
- B. Srivastava
Physics and Astronomy · 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