Linpeng Zhang

According to our database, Linpeng Zhang authored at least 5 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers.

Linpeng Zhang, Noam Zilberstein, Benjamin Lucien Kaminski, Alexandra Silva

CoRR, 2024

2022

Quantitative strongest post: a calculus for reasoning about the flow of quantitative information.

Linpeng Zhang, Benjamin Lucien Kaminski

Proc. ACM Program. Lang., 2022

Intensional Kleene and Rice theorems for abstract program semantics.

Paolo Baldan, Francesco Ranzato, Linpeng Zhang

Inf. Comput., 2022

Quantitative Strongest Post.

Linpeng Zhang, Benjamin Lucien Kaminski

CoRR, 2022

2021

A Rice's Theorem for Abstract Semantics.

Paolo Baldan, Francesco Ranzato, Linpeng Zhang

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021