Xiao He

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Execution Traces

Functional Programs

Fault Localization

Top Venues

Proc. ACM Program. Lang.

Publications

Luyao Ren, Xing Zhang, Ziyue Hua, Yanyan Jiang, Xiao He, Tao Xie
Validity-Preserving Delta Debugging via Generator. CoRR (2024)
Xing Zhang, Ruifeng Xie, Guanchen Guo, Xiao He, Tao Zan, Zhenjiang Hu
Fusing Direct Manipulations into Functional Programs. Proc. ACM Program. Lang. 8 (POPL) (2024)