Linpeng Zhang

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

Qualitative And Quantitative

Operational Semantics

Propositional Dynamic Logic

Top Venues

Proc. ACM Program. Lang.

Publications

Linpeng Zhang, Noam Zilberstein, Benjamin Lucien Kaminski, Alexandra Silva
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers. CoRR (2024)
Linpeng Zhang, Benjamin Lucien Kaminski
Quantitative strongest post: a calculus for reasoning about the flow of quantitative information. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Paolo Baldan, Francesco Ranzato, Linpeng Zhang
Intensional Kleene and Rice theorems for abstract program semantics. Inf. Comput. 289 (Part) (2022)
Linpeng Zhang, Benjamin Lucien Kaminski
Quantitative Strongest Post. CoRR (2022)
Paolo Baldan, Francesco Ranzato, Linpeng Zhang
A Rice's Theorem for Abstract Semantics. CoRR (2021)
Paolo Baldan, Francesco Ranzato, Linpeng Zhang
A Rice's Theorem for Abstract Semantics. ICALP (2021)