Chao-Hong Chen

According to our database, Chao-Hong Chen authored at least 12 papers between 2006 and 2021.

Collaborative distances:

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

2021

A computational interpretation of compact closed categories: reversible programming with negative and fractional types.

Chao-Hong Chen, Amr Sabry

Proc. ACM Program. Lang., 2021

2020

Fractional Types - Expressive and Safe Space Management for Ancilla Bits.

Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry

Proceedings of the Reversible Computation - 12th International Conference, 2020

Shrinking Counterexamples in Property-Based Testing with Genetic Algorithms.

Fang-Yi Lo, Chao-Hong Chen, Ying-Ping Chen

Proceedings of the IEEE Congress on Evolutionary Computation, 2020

2019

Genetic algorithms as shrinkers in property-based testing.

Fang-Yi Lo, Chao-Hong Chen, Ying-Ping Chen

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2019

2018

From Reversible Programs to Univalent Universes and Back.

Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

2017

Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping.

Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

2016

Automatically proving mathematical theorems with evolutionary algorithms and proof assistants.

Li-An Yang, Jui-Pin Liu, Chao-Hong Chen, Ying-Ping Chen

Proceedings of the IEEE Congress on Evolutionary Computation, 2016

2014

Quality Analysis of Discretization Methods for Estimation of Distribution Algorithms.

Chao-Hong Chen, Ying-Ping Chen

IEICE Trans. Inf. Syst., 2014

2011

Convergence Time Analysis of Particle Swarm Optimization Based on Particle Interaction.

Chao-Hong Chen, Ying-Ping Chen

Adv. Artif. Intell., 2011

2010

Enabling the Extended Compact Genetic Algorithm for Real-Parameter Optimization by Using Adaptive Discretization.

Ying-Ping Chen, Chao-Hong Chen

Evol. Comput., 2010

2007

Real-coded ECGA for economic dispatch.

Chao-Hong Chen, Ying-Ping Chen

Proceedings of the Genetic and Evolutionary Computation Conference, 2007

2006

Adaptive discretization for probabilistic model building genetic algorithms.

Chao-Hong Chen, Wei-Nan Liu, Ying-Ping Chen

Proceedings of the Genetic and Evolutionary Computation Conference, 2006