About
Welcome back, Commander!
My name is Zhiqiang Zang (臧志强). I am a research scientist at Meta. I obtained my Ph.D. at The University of Texas at Austin in 2024, working with Prof. Milos Gligoric. See my diseertation here. My research interests are JIT (Just-In-Time) compiler testing and optimization. I am also familiar with other software engineering and programming language topics, including debugging, domain-specific languages, program analysis, etc.
I obtained my B.E. in Telecommunication Engineering at Beijing University of Posts and Telecommunications in 2018.
Publications
- Java JIT Testing with Template Extraction International Conference on the Foundations of Software Engineering (FSE 2024), pages to appear – to appear, Porto de Galinhas, Brazil, 2024. [PDF] Discovered CVEs: CVE-2023-22044, CVE-2023-22045
- JOG: Java JIT Peephole Optimizations and Tests from Patterns International Conference on Software Engineering, Tool Demonstrations Track (ICSE Demo 2024), pages 11 – 15, Lisbon, Portugal, 2024. [PDF][Tool]
- Pattern-Based Peephole Optimizations with Java JIT Tests International Symposium on Software Testing and Analysis (ISSTA 2023), pages 64 – 75, Seattle, WA, USA, 2023. [PDF][Slides][Tool]
- JAttack: Java JIT Testing using Template Programs International Conference on Software Engineering, Tool Demonstrations Track (ICSE Demo 2023), pages 6 – 10, Melbourne, Australia, 2023. [PDF][Tool]
- Compiler Testing using Template Java Programs International Conference on Automated Software Engineering (ASE 2022), pages 23:1 – 23:13, Oakland Center, MI, USA, 2022. [PDF][Slides][Tool] Discovered CVEs: CVE-2020-14792, CVE-2022-21305 ACM SIGSOFT Distinguished Paper Award
-
Unifying Execution of Imperative Generators and Declarative Specifications
International Conference on Object-Oriented Programming, Systems, Languages, and Applications
(OOPSLA 2020), pages
217:1 – 217:26,
Chicago, IL, USA(Everywhere), 2020. [PDF] - VeDebug: Regression Debugging Tool for Java International Conference on Software Engineering, Tool Demonstrations Track (ICSE Demo 2019), pages 15 – 18, Montreal, Canada, 2019. [PDF][Tool]
Contact
- Email: [my first name][dot][my last name][at]utexas[dot]edu
- GitHub: https://github.com/CptGit
- LinkedIn: https://www.linkedin.com/in/zzq-profile