We stand with Ukraine  

Cheng Zhang

Orcid: 0000-0002-8197-6181

Affiliations:
  • Worcester Polytech Institute (WPI), USA
  • Boston University, MA, USA
  • University College London, UK


According to our database1, Cheng Zhang authored at least 10 papers between 2018 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
Efficient Decision Procedures for Variants of GKAT (Artifact).
[BibTeX]
[DOI]
Qiancheng Fu
,
Cheng Zhang
,
Hang Ji
,
Ines Santacruz Del Valle
,
Alexandra Silva
,
Marco Gaboardi
Dataset, January, 2026

Efficient Decision Procedures for Variants of GKAT (Artifact).
[BibTeX]
[DOI]
Qiancheng Fu
,
Cheng Zhang
,
Hang Ji
,
Ines Santacruz Del Valle
,
Alexandra Silva
,
Marco Gaboardi
Dataset, January, 2026

Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT.
[BibTeX]
[DOI]
Cheng Zhang
,
Qiancheng Fu
,
Hang Ji
,
Ines Santacruz Del Valle
,
Alexandra Silva
,
Marco Gaboardi
Proceedings of the Programming Languages and Systems, 2026

2025
Efficient Decision Procedures for Variants of GKAT (Artifact).
[BibTeX]
[DOI]
Qiancheng Fu
,
Cheng Zhang
,
Hang Ji
,
Ines Santacruz Del Valle
,
Alexandra Silva
,
Marco Gaboardi
Dataset, December, 2025

CF-GKAT: Efficient Validation of Control-Flow Transformations.
[BibTeX]
[DOI]
Cheng Zhang
,
Tobias Kappé
,
David E. Narváez
,
Nico Naus
Proc. ACM Program. Lang., 2025

Kleene Algebra with Commutativity Conditions Is Undecidable.
[BibTeX]
[DOI]
Arthur Azevedo de Amorim
,
Cheng Zhang
,
Marco Gaboardi
Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2024
Domain Reasoning in TopKAT.
[BibTeX]
[DOI]
Cheng Zhang
,
Arthur Azevedo de Amorim
,
Marco Gaboardi
Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

2023
A Dependently Typed Language with Dynamic Equality.
[BibTeX]
[DOI]
Mark Lemay
,
Qiancheng Fu
,
William Blair
,
Cheng Zhang
,
Hongwei Xi
Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, 2023

2022
On incorrectness logic and Kleene algebra with top and tests.
[BibTeX]
[DOI]
Cheng Zhang
,
Arthur Azevedo de Amorim
,
Marco Gaboardi
Proc. ACM Program. Lang., 2022

2018
Lexos 2017: building reliable software in python.
[BibTeX]
[DOI]
Cheng Zhang
,
Weiqi Feng
,
Emma Steffens
,
Alvaro de Landaluce
,
Scott Kleinman
,
Mark D. LeBlanc
J. Comput. Sci. Coll., 2018


  Loading...