Hong Yi Chen

Publication Activity (10 Years)

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

Top Topics

Learning Curves

Top Venues

J. Zhejiang Univ. Sci. C

Int. J. Softw. Tools Technol. Transf.

Publications

Liam Hebert, Hong Yi Chen, Robin Cohen, Lukasz Golab
Qualitative Analysis of a Graph Transformer Approach to Addressing Hate Speech: Adapting to Dynamically Changing Content. CoRR (2023)
Hong Yi Chen, Shaked Flur, Supratik Mukhopadhyay
Termination proofs for linear simple loops. Int. J. Softw. Tools Technol. Transf. 17 (1) (2015)
Hong Yi Chen, Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter W. O'Hearn
Proving Nontermination via Safety. TACAS (2014)
Hong Yi Chen, Supratik Mukhopadhyay, Zheng Lu
Control Flow Refinement and Symbolic Computation of Average Case Bound. ATVA (2013)
Yun Niu, Liji Wu, Yang Liu, Xiangmin Zhang, Hong Yi Chen
A 10 Gbps in-line network security processor based on configurable hetero-multi-cores. J. Zhejiang Univ. Sci. C 14 (8) (2013)
Hong Yi Chen, Shaked Flur, Supratik Mukhopadhyay
Termination Proofs for Linear Simple Loops. SAS (2012)