| On incorrectness logic and Kleene algebra with top and tests C Zhang, AA de Amorim, M Gaboardi Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022 | 22 | 2022 |
| Lexos 2017: Building reliable software in Python C Zhang, W Feng, E Steffens, A de Landaluce, S Kleinman, MD LeBlanc Journal of Computing Sciences in Colleges 33 (6), 124-134, 2018 | 5 | 2018 |
| Kleene algebra with commutativity conditions is undecidable AA de Amorim, C Zhang, M Gaboardi arXiv preprint arXiv:2411.15979, 2024 | 3 | 2024 |
| CF-GKAT: Efficient Validation of Control-Flow Transformations C Zhang, T Kappé, DE Narváez, N Naus Proceedings of the ACM on Programming Languages 9 (POPL), 600-626, 2025 | 2 | 2025 |
| Developing a Dependently Typed Language with Runtime Proof Search M Lemay, C Zhang, W Blair Workshop on Type-Driven Development, 2020 | 1 | 2020 |
| Kleene Algebra with Commutativity Conditions Is Undecidable A Azevedo de Amorim, C Zhang, M Gaboardi 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025), 36: 1-36: 25, 2025 | | 2025 |
| Domain Reasoning in TopKAT C Zhang, AA de Amorim, M Gaboardi LIPIcs, Volume 297, ICALP 2024 297, 157:1-157:18, 2024 | | 2024 |
| A Dependently Typed Language with Dynamic Equality M Lemay, Q Fu, W Blair, C Zhang, H Xi Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven …, 2023 | | 2023 |
| Kings in generalized tournaments. C Zhang Wheaton College (MA)., 2018 | | 2018 |
Arthur Azevedo de AmorimRochester Institute of Technology在 rit.edu 的电子邮件经过验证