Publications

Linpeng Zhang, Noam Zilberstein, Benjamin Lucien Kaminski, Alexandra Silva (2024). Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers.

Cite URL

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

Cite DOI URL

Paolo Baldan, Francesco Ranzato, Linpeng Zhang (2022). Intensional Kleene and Rice theorems for abstract program semantics. Information and Computation.

Cite DOI URL

Paolo Baldan, Francesco Ranzato, Linpeng Zhang (2021). A Rice's Theorem for Abstract Semantics. 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference).

Cite DOI URL