Chao-Hong Chen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2006–2020
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CEC | Shrinking Counterexamples in Property-Based Testing with Genetic Algorithms. | Fang-Yi Lo, Chao-Hong Chen, Ying-Ping Chen |
| 2020 | RC | Fractional Types - Expressive and Safe Space Management for Ancilla Bits. | Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry |
| 2019 | GECCO | Genetic algorithms as shrinkers in property-based testing. | Fang-Yi Lo, Chao-Hong Chen, Ying-Ping Chen |
| 2017 | HASKELL | Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping. | Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton |
| 2016 | CEC | Automatically proving mathematical theorems with evolutionary algorithms and proof assistants. | Li-An Yang, Jui-Pin Liu, Chao-Hong Chen, Ying-Ping Chen |
| 2007 | GECCO | Real-coded ECGA for economic dispatch. | Chao-Hong Chen, Ying-Ping Chen |
| 2006 | GECCO | Adaptive discretization for probabilistic model building genetic algorithms. | Chao-Hong Chen, Wei-Nan Liu, Ying-Ping Chen |