Anthony W. Lin

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 55

Top Topics

Concurrent Systems

Constraint Solving

Technical Report

Top Venues

Proc. ACM Program. Lang.

Publications

Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games. CSL (2024)
Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
Ramsey Quantifiers in Linear Arithmetics. Proc. ACM Program. Lang. 8 (POPL) (2024)
Chih-Duo Hong, Anthony W. Lin
Regular Abstractions for Array Systems. Proc. ACM Program. Lang. 8 (POPL) (2024)
Matthew Hague, Artur Jez, Anthony W. Lin
Parikh's Theorem Made Symbolic. Proc. ACM Program. Lang. 8 (POPL) (2024)
Diego Figueira, Anthony W. Lin, Liat Peterfreund
Relational Perspective on Graph Query Languages. CoRR (2024)
Chih-Duo Hong, Anthony W. Lin
Regular Abstractions for Array Systems. CoRR (2024)
Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer
Decision Procedures for Sequence Theories (Technical Report). CoRR (2023)
Matthew Hague, Artur Jez, Anthony W. Lin
Parikh's Theorem Made Symbolic. CoRR (2023)
Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
Ramsey Quantifiers in Linear Arithmetics. CoRR (2023)
Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version). CoRR (2023)
Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer
Decision Procedures for Sequence Theories. CAV (2) (2023)
Diego Figueira, Artur Jez, Anthony W. Lin
Data Path Queries over Embedded Graph Databases. PODS (2022)
Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Solving string constraints with Regex-dependent functions through transducers with priorities and variables. Proc. ACM Program. Lang. 6 (POPL) (2022)
Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification. LICS (2022)
Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification. CoRR (2022)
Oliver Markgraf, Daniel Stan, Anthony W. Lin
Learning Union of Integer Hypercubes with Queries (Technical Report). CoRR (2021)
Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Micha Schrader
CertiStr: A Certified String Solver (technical report). CoRR (2021)
Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge
Rational Verification for Probabilistic Systems. CoRR (2021)
Anthony W. Lin, Rupak Majumdar
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. Log. Methods Comput. Sci. 17 (4) (2021)
Anthony W. Lin, Philipp Rümmer
Regular Model Checking Revisited. Model Checking, Synthesis, and Learning (2021)
Oliver Markgraf, Daniel Stan, Anthony W. Lin
Learning Union of Integer Hypercubes with Queries - (with Applications to Monadic Decomposition). CAV (2) (2021)
Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge
Rational Verification for Probabilistic Systems. KR (2021)
Daniel Stan, Anthony W. Lin
Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems. AAMAS (2021)
Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
Parameterized Synthesis with Safety Properties. APLAS (2020)
Anthony W. Lin, Rupak Majumdar
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. CoRR (2020)
Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
Parameterized Synthesis with Safety Properties. CoRR (2020)
Lukás Holík, Petr Janku, Anthony W. Lin, Philipp Rümmer, Tomás Vojnar
String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report). CoRR (2020)
Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer
Probabilistic Bisimulation for Parameterized Systems (Technical Report). CoRR (2020)
Anthony W. Lin, Philipp Rümmer
Regular Model Checking Revisited (Technical Report). CoRR (2020)
Xuan Bach Le, Aquinas Hobor, Anthony W. Lin
Complexity Analysis of Tree Share Structure. CoRR (2020)
Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Monadic Decomposition in Integer Linear Arithmetic. IJCAR (1) (2020)
Matthew Hague, Anthony W. Lin, Chih-Duo Hong
CSS Minification via Constraint Solving. ACM Trans. Program. Lang. Syst. 41 (2) (2019)
Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Decision procedures for path feasibility of string-manipulating programs with complex operations. Proc. ACM Program. Lang. 3 (POPL) (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)
Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations. CoRR (2018)
Anthony W. Lin, Rupak Majumdar
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. CoRR (2018)
Matthew Hague, Anthony W. Lin
Decidable models of integer-manipulating programs with recursive parallelism. Theor. Comput. Sci. 750 (2018)
Matthew Hague, Anthony W. Lin, Chih-Duo Hong
CSS Minification via Constraint Solving (Technical Report). CoRR (2018)
Lukás Holík, Petr Janku, Anthony W. Lin, Philipp Rümmer, Tomás Vojnar
String constraints with concatenation and transducers solved efficiently. Proc. ACM Program. Lang. 2 (POPL) (2018)
Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu
What is decidable about string constraints with the ReplaceAll function. Proc. ACM Program. Lang. 2 (POPL) (2018)
Anthony W. Lin, Rupak Majumdar
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. ATVA (2018)
Xuan Bach Le, Aquinas Hobor, Anthony W. Lin
Complexity Analysis of Tree Share Structure. APLAS (2018)
Ondrej Lengál, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer
Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report). CoRR (2017)
Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer
Learning to prove safety over parameterised concurrent systems. FMCAD (2017)
Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu
What Is Decidable about String Constraints with the ReplaceAll Function. CoRR (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)
Anthony W. Lin, Philipp Rümmer
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers. CAV (2) (2016)
Anthony W. Lin, Sanming Zhou
A linear-time algorithm for the orbit problem over cyclic groups. Acta Informatica 53 (5) (2016)
Xuan Bach Le, Aquinas Hobor, Anthony W. Lin
Decidability and Complexity of Tree Share Formulas. FSTTCS (2016)
Anthony W. Lin, Philipp Rümmer
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report). CoRR (2016)
Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun
Regular Symmetry Patterns. VMCAI (2016)
Anthony W. Lin, Pablo Barceló
String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS (Full Version). CoRR (2015)
Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun
Regular Symmetry Patterns (Technical Report). CoRR (2015)