1. Chao-Hong Chen and Amr Sabry. A Computational Interpretation of Compact Closed Categories: Reversible Programming with Negative and Fractional Types. 2021 Symposium on Principles of Programming Languages (POPL). [artifact][errata]

  2. Fang-Yi Lo, Chao-Hong Chen and Ying-ping Chen. Shrinking Counterexamples in Property-Based Testing with Genetic Algorithms. 2020 IEEE Congress on Evolutionary Computation (CEC). DOI: https://doi.org/10.1109/CEC48606.2020.9185807

  3. Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry. Fractional Types: Expressive and Safe Space Management for Ancilla Bits. In Proceedings of the 12th international conference on Reversible Computation (RC’20). DOI: https://doi.org/10.1007/978-3-030-52482-1_10

  4. Fang-Yi Lo, Chao-Hong Chen, and Ying-ping Chen. Genetic algorithms as shrinkers in property-based testing. In Proceedings of the Genetic and Evolutionary Computation Conference Companion (GECCO ’19), Manuel López-Ibáñez (Ed.). ACM, New York, NY, USA, 291-292. DOI: https://doi.org/10.1145/3319619.3322004

  5. Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, and Amr Sabry. From Reversible Programs to Univalent Universes and Back. in Proceedings of Mathematical Foundations of Programming Semantics (MFPS XXXIII), ENTCS Vol. 336, (April 2018), p. 5-25. DOI: https://dx.doi.org/10.1016/j.entcs.2018.03.013

  6. Chao-Hong Chen, Vikraman Choudhury, and Ryan R. Newton. Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping. In Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell (Haskell 2017). ACM, New York, NY, USA, 197-211. DOI: https://doi.org/10.1145/3122955.3122973

  7. Li-An Yang, Jui-Pin Liu, Chao-Hong Chen and Ying-ping Chen. Automatically proving mathematical theorems with evolutionary algorithms and proof assistants. 2016 IEEE Congress on Evolutionary Computation (CEC), Vancouver, BC, 2016, pp. 4421-4428. DOI: https://doi.org/10.1109/CEC.2016.7744352

  8. Chao-Hong Chen and Ying-Ping Chen. Quality Analysis of Discretization Methods for Estimation of Distribution Algorithms. IEICE Transactions 97-D(5): 1312-1323 (2014). DOI: https://doi.org/10.1587/transinf.E97.D.1312

  9. Chao-Hong Chen and Ying-ping Chen. Convergence Time Analysis of Particle Swarm Optimization Based on Particle Interaction. Advances in Artificial Intelligence, vol. 2011, Article ID 204750, 7 pages, 2011. DOI: https://doi.org/10.1155/2011/204750

  10. Ying-ping Chen and Chao-Hong Chen. Enabling the extended compact genetic algorithm for real-parameter optimization by using adaptive discretization. Evolutionary Computation 18, 2 (June 2010), 199-228. DOI: https://doi.org/10.1162/evco.2010.18.2.18202

  11. Chao-Hong Chen and Ying-ping Chen. Real-coded ECGA for economic dispatch. In Proceedings of the 9th annual conference on Genetic and evolutionary computation (GECCO ’07). ACM, New York, NY, USA, 1920-1927. DOI: https://doi.org/10.1145/1276958.1277343

  12. Chao-Hong Chen, Wei-Nan Liu, and Ying-Ping Chen. Adaptive discretization for probabilistic model building genetic algorithms. In Proceedings of the 8th annual conference on Genetic and evolutionary computation (GECCO ’06). ACM, New York, NY, USA, 1103-1110. DOI: https://doi.org/10.1145/1143997.1144174