Hong Yi Chen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2012–2014
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | TACAS | Proving Nontermination via Safety. | Hong Yi Chen, Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter W. O'Hearn |
| 2013 | ATVA | Control Flow Refinement and Symbolic Computation of Average Case Bound. | Hong Yi Chen, Supratik Mukhopadhyay, Zheng Lu |
| 2012 | SAS | Termination Proofs for Linear Simple Loops. | Hong Yi Chen, Shaked Flur, Supratik Mukhopadhyay |