| Quantitative strongest post: a calculus for reasoning about the flow of quantitative information L Zhang, BL Kaminski Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-29, 2022 | 26* | 2022 |
| A Rice’s theorem for abstract semantics P Baldan, F Ranzato, L Zhang LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 198, 1-19, 2021 | 6 | 2021 |
| Quantitative weakest hyper pre: Unifying correctness and incorrectness hyperproperties via predicate transformers L Zhang, N Zilberstein, BL Kaminski, A Silva Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 817-845, 2024 | 4 | 2024 |
| Intensional Kleene and Rice theorems for abstract program semantics P Baldan, F Ranzato, L Zhang Information and Computation 289, 104953, 2022 | | 2022 |
