Tianchi Li and Xin Zhang. 2025. Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences. Proc. ACM Program. Lang. 9, OOPSLA1, Article 143 (April 2025), 28 pages. https://doi.org/10.1145/3720508
Your Name, You. (2024). "Paper Title Number 3." GitHub Journal of Bugs. 1(3).
Your Name, You. (2024). "Paper Title Number 3." GitHub Journal of Bugs. 1(3).
Your Name, You. (2015). "Paper Title Number 3." Journal 1. 1(3).
Your Name, You. (2010). "Paper Title Number 2." Journal 1. 1(2).
Conference proceedings talk at Testing Institute of America 2014 Annual Conference, Los Angeles, CA, USA
Talk at London School of Testing, London, UK
Tutorial at UC-Berkeley Institute for Testing Science, Berkeley, CA, USA
Talk at UC San Francisco, Department of Testing, San Francisco, CA, USA