Gaosen Zhao

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Semantically Equivalent

Modelling Language

Intended Meaning

Declarative Semantics

Top Venues

Proc. ACM Program. Lang.

Publications

Zhenyang Xu, Yongqiang Tian, Mengxiao Zhang, Gaosen Zhao, Yu Jiang, Chengnian Sun
Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)