Cheng Zhang

Orcid: 0000-0002-8197-6181

Affiliations:

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

According to our database¹, Cheng Zhang authored at least 6 papers between 2018 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

CF-GKAT: Efficient Validation of Control-Flow Transformations.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2025

Kleene Algebra with Commutativity Conditions Is Undecidable.

[BibT_eX]

[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.

[BibT_eX]

[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.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, 2023

2022

On incorrectness logic and Kleene algebra with top and tests.

[BibT_eX]

[DOI]

Cheng Zhang

Arthur Azevedo de Amorim

Marco Gaboardi

Proc. ACM Program. Lang., 2022

2018

Lexos 2017: building reliable software in python.

[BibT_eX]

[DOI]

J. Comput. Sci. Coll., 2018

Cheng Zhang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...