Hong Yi Chen

According to our database, Hong Yi Chen authored at least 5 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Qualitative Analysis of a Graph Transformer Approach to Addressing Hate Speech: Adapting to Dynamically Changing Content.

Liam Hebert, Hong Yi Chen, Robin Cohen, Lukasz Golab

CoRR, 2023

2014

Proving Nontermination via Safety.

Hong Yi Chen, Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter W. O'Hearn

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013

A 10 Gbps in-line network security processor based on configurable hetero-multi-cores.

Yun Niu, Liji Wu, Yang Liu, Xiangmin Zhang, Hong Yi Chen

J. Zhejiang Univ. Sci. C, 2013

Control Flow Refinement and Symbolic Computation of Average Case Bound.

Hong Yi Chen, Supratik Mukhopadhyay, Zheng Lu

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Termination Proofs for Linear Simple Loops.

Hong Yi Chen, Shaked Flur, Supratik Mukhopadhyay

Proceedings of the Static Analysis - 19th International Symposium, 2012