Chih-Duo Hong

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 17

Top Topics

Technical Report

Constraint Solving

Datalog Queries

Lagrange Interpolation

Top Venues

Proc. ACM Program. Lang.

Publications

Chih-Duo Hong, Anthony W. Lin
Regular Abstractions for Array Systems. Proc. ACM Program. Lang. 8 (POPL) (2024)
Chih-Duo Hong, Anthony W. Lin
Regular Abstractions for Array Systems. CoRR (2024)
Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
Parameterized Synthesis with Safety Properties. APLAS (2020)
Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
Parameterized Synthesis with Safety Properties. CoRR (2020)
Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer
Probabilistic Bisimulation for Parameterized Systems (Technical Report). CoRR (2020)
Matthew Hague, Anthony W. Lin, Chih-Duo Hong
CSS Minification via Constraint Solving. ACM Trans. Program. Lang. Syst. 41 (2) (2019)
Pablo Barceló, Chih-Duo Hong, Xuan Bach Le, Anthony W. Lin, Reino Niskanen
Monadic Decomposability of Regular Relations. ICALP (2019)
Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer
Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols). CAV (1) (2019)
Pablo Barceló, Chih-Duo Hong, Xuan Bach Le, Anthony W. Lin, Reino Niskanen
Monadic Decomposability of Regular Relations. CoRR (2019)
Matthew Hague, Anthony W. Lin, Chih-Duo Hong
CSS Minification via Constraint Solving (Technical Report). CoRR (2018)
Yu-Fang Chen, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha, Bow-Yaw Wang
An Executable Sequential Specification for Spark Aggregation. CoRR (2017)
Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer
Learning to prove safety over parameterised concurrent systems. FMCAD (2017)
Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer
Learning to Prove Safety over Parameterised Concurrent Systems (Full Version). CoRR (2017)
Yu-Fang Chen, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha, Bow-Yaw Wang
An Executable Sequential Specification for Spark Aggregation. NETYS (2017)
Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation. CAV (1) (2015)
Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation. CoRR (2015)
Yu-Fang Chen, Chih-Duo Hong, Nishant Sinha, Bow-Yaw Wang
Commutativity of Reducers. TACAS (2015)
Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar
Advanced Ramsey-Based Büchi Automata Inclusion Testing. CONCUR (2011)
Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. CONCUR (2010)
Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar
Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. CAV (2010)