Skip to main content

and
  1. No Access

    Chapter and Conference Paper

    Complexity Analysis of Tree Share Structure

    The tree share structure proposed by Dockins et al. is an elegant model for tracking disjoint ownership in concurrent separation logic, but decision procedures for tree shares are hard to implement due to a la...

    Xuan-Bach Le, Aquinas Hobor, Anthony W. Lin in Programming Languages and Systems (2018)

  2. Chapter and Conference Paper

    Probabilistic Bisimulation for Parameterized Systems

    Probabilistic bisimulation is a fundamental not...

    Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar in Computer Aided Verification (2019)

  3. No Access

    Chapter and Conference Paper

    Parameterized Synthesis with Safety Properties

    Parameterized synthesis offers a solution to the problem of constructing correct and verified controllers for parameterized systems. Such systems occur naturally in practice (e.g., in the form of distributed p...

    Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin in Programming Languages and Systems (2020)

  4. Chapter and Conference Paper

    Monadic Decomposition in Integer Linear Arithmetic

    Monadic decomposability is a notion of variable independence, which asks whether a given formula in a first-order theory is expressible as a Boolean combination of monadic predicates in the theory. Recently, V...

    Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu in Automated Reasoning (2020)