Chao-Hong Chen

19 papers A 2B 3C 2Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Generic Construction of Efficient Oblivious Signature Protocols.
IEEE Trans. Reliab.
Jen-Chieh Hsu, Chao-Hong Chen, Raylin Tso
2026 J jnl
Taming Scope Extrusion in Gradual Imperative Metaprogramming.
CoRR
Tianyu Chen, Darshal Shetty, Jeremy G. Siek, Chao-Hong Chen, Weixi Ma, Arnaud Venet, Rocky Liu
2025 J jnl
Gradual Metaprogramming.
CoRR
Tianyu Chen, Darshal Shetty, Jeremy G. Siek, Chao-Hong Chen, Weixi Ma, Arnaud Venet, Rocky Liu
2021 J jnl
A computational interpretation of compact closed categories: reversible programming with negative and fractional types.
Proc. ACM Program. Lang.
Chao-Hong Chen, Amr Sabry
2020 C conf
Fractional Types - Expressive and Safe Space Management for Ancilla Bits.
RC
Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry
2020 J jnl
Fractional Types: Expressive and Safe Space Management for Ancilla Bits.
CoRR
Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry
2020 B conf
Shrinking Counterexamples in Property-Based Testing with Genetic Algorithms.
CEC
Fang-Yi Lo, Chao-Hong Chen, Ying-Ping Chen
2019 — conf
Genetic algorithms as shrinkers in property-based testing.
GECCO (Companion)
Fang-Yi Lo, Chao-Hong Chen, Ying-Ping Chen
2018 B conf
From Reversible Programs to Univalent Universes and Back.
MFPS
Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry
2017 J jnl
Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping.
CoRR
Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton
2017 C conf
Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping.
Haskell
Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton
2017 J jnl
From Reversible Programs to Univalent Universes and Back.
CoRR
Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry
2016 J jnl
Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants.
CoRR
Li-An Yang, Jui-Pin Liu, Chao-Hong Chen, Ying-Ping Chen
2016 B conf
Automatically proving mathematical theorems with evolutionary algorithms and proof assistants.
CEC
Li-An Yang, Jui-Pin Liu, Chao-Hong Chen, Ying-Ping Chen
2014 J jnl
Quality Analysis of Discretization Methods for Estimation of Distribution Algorithms.
IEICE Trans. Inf. Syst.
Chao-Hong Chen, Ying-Ping Chen
2011 J jnl
Convergence Time Analysis of Particle Swarm Optimization Based on Particle Interaction.
Adv. Artif. Intell.
Chao-Hong Chen, Ying-Ping Chen
2010 J jnl
Enabling the Extended Compact Genetic Algorithm for Real-Parameter Optimization by Using Adaptive Discretization.
Evol. Comput.
Ying-Ping Chen, Chao-Hong Chen
2007 A conf
Real-coded ECGA for economic dispatch.
GECCO
Chao-Hong Chen, Ying-Ping Chen
2006 A conf
Adaptive discretization for probabilistic model building genetic algorithms.
GECCO
Chao-Hong Chen, Wei-Nan Liu, Ying-Ping Chen