Cheng Zhang

12 papers A* 1B 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2026 — conf
Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT.
ESOP (2)
Cheng Zhang, Qiancheng Fu, Hang Ji, Ines Santacruz Del Valle, Alexandra Silva, Marco Gaboardi
2026 J jnl
Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT.
CoRR
Cheng Zhang, Qiancheng Fu, Hang Ji, Ines Santacruz Del Valle, Alexandra Silva, Marco Gaboardi
2025 J jnl
CF-GKAT: Efficient Validation of Control-Flow Transformations.
Proc. ACM Program. Lang.
Cheng Zhang, Tobias Kappé, David E. Narváez, Nico Naus
2025 B conf
Kleene Algebra with Commutativity Conditions Is Undecidable.
CSL
Arthur Azevedo de Amorim, Cheng Zhang, Marco Gaboardi
2024 J jnl
CF-GKAT: Efficient Validation of Control-Flow Transformations.
CoRR
Cheng Zhang, Tobias Kappé, David E. Narváez, Nico Naus
2024 A* conf
Domain Reasoning in TopKAT.
ICALP
Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi
2024 J jnl
Domain Reasoning in TopKAT.
CoRR
Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi
2024 J jnl
Kleene algebra with commutativity conditions is undecidable.
CoRR
Arthur Azevedo de Amorim, Cheng Zhang, Marco Gaboardi
2023 — conf
A Dependently Typed Language with Dynamic Equality.
TyDe@ICFP
Mark Lemay, Qiancheng Fu, William Blair, Cheng Zhang, Hongwei Xi
2022 J jnl
On incorrectness logic and Kleene algebra with top and tests.
Proc. ACM Program. Lang.
Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi
2021 J jnl
On Incorrectness Logic and Kleene Algebra With Top and Tests.
CoRR
Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi
2018 J jnl
Lexos 2017: building reliable software in python.
J. Comput. Sci. Coll.
Cheng Zhang, Weiqi Feng, Emma Steffens, Alvaro de Landaluce, Scott Kleinman, Mark D. LeBlanc