A Rice's Theorem for Abstract Semantics. - Paolo Baldan; Francesco Ranzato; Linpeng Zhang (ICALP, 2021)

Quantitative Strongest Post. - Linpeng Zhang; Benjamin Lucien Kaminski (CoRR, 2022)

Intensional Kleene and Rice theorems for abstract program semantics. - Paolo Baldan; Francesco Ranzato; Linpeng Zhang (Inf. Comput., 2022)

Quantitative strongest post: a calculus for reasoning about the flow of quantitative information. - Linpeng Zhang; Benjamin Lucien Kaminski (Proc. ACM Program. Lang., 2022)

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers. - Linpeng Zhang; Noam Zilberstein; Benjamin Lucien Kaminski; Alexandra Silva 001 (Proc. ACM Program. Lang., 2024)