Chao-Hong Chen

Publication Activity (10 Years)

Years Active: 2006-2021
Publications (10 Years): 11

Top Topics

Broad Categories

Evolutionary Algorithm

Mathematical Knowledge

Top Venues

GECCO (Companion)

IEICE Trans. Inf. Syst.

Publications

Chao-Hong Chen, Amr Sabry
A computational interpretation of compact closed categories: reversible programming with negative and fractional types. Proc. ACM Program. Lang. 5 (POPL) (2021)
Fang-Yi Lo, Chao-Hong Chen, Ying-Ping Chen
Shrinking Counterexamples in Property-Based Testing with Genetic Algorithms. CEC (2020)
Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry
Fractional Types - Expressive and Safe Space Management for Ancilla Bits. RC (2020)
Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry
Fractional Types: Expressive and Safe Space Management for Ancilla Bits. CoRR (2020)
Fang-Yi Lo, Chao-Hong Chen, Ying-Ping Chen
Genetic algorithms as shrinkers in property-based testing. GECCO (Companion) (2019)
Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry
From Reversible Programs to Univalent Universes and Back. MFPS (2018)
Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton
Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping. CoRR (2017)
Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton
Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping. Haskell (2017)
Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry
From Reversible Programs to Univalent Universes and Back. CoRR (2017)
Li-An Yang, Jui-Pin Liu, Chao-Hong Chen, Ying-Ping Chen
Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants. CoRR (2016)
Li-An Yang, Jui-Pin Liu, Chao-Hong Chen, Ying-Ping Chen
Automatically proving mathematical theorems with evolutionary algorithms and proof assistants. CEC (2016)
Chao-Hong Chen, Ying-Ping Chen
Quality Analysis of Discretization Methods for Estimation of Distribution Algorithms. IEICE Trans. Inf. Syst. (5) (2014)
Chao-Hong Chen, Ying-Ping Chen
Convergence Time Analysis of Particle Swarm Optimization Based on Particle Interaction. Adv. Artif. Intell. 2011 (2011)
Ying-Ping Chen, Chao-Hong Chen
Enabling the Extended Compact Genetic Algorithm for Real-Parameter Optimization by Using Adaptive Discretization. Evol. Comput. 18 (2) (2010)
Chao-Hong Chen, Ying-Ping Chen
Real-coded ECGA for economic dispatch. GECCO (2007)
Chao-Hong Chen, Wei-Nan Liu, Ying-Ping Chen
Adaptive discretization for probabilistic model building genetic algorithms. GECCO (2006)