Zippy LL(1) parsing with derivatives | 1 | 0.36 | 2020 |
System FR as Foundations for Stainless. | 0 | 0.34 | 2019 |
Minimal Synthesis of String To String Functions From Examples. | 0 | 0.34 | 2019 |
Monotonic Prefix Consistency in Distributed Systems. | 1 | 0.37 | 2018 |
Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact). | 0 | 0.34 | 2017 |
Polynomial-Time Proactive Synthesis of Tree-to-String Functions from Examples. | 0 | 0.34 | 2017 |
Proactive Synthesis of Recursive Tree-to-String Functions from Examples. | 2 | 0.37 | 2017 |
Optimal Test Sets for Context-Free Languages. | 0 | 0.34 | 2016 |
On Reducing Linearizability to State Reachability. | 4 | 0.40 | 2015 |
Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk). | 0 | 0.34 | 2015 |
Tractable Refinement Checking for Concurrent Objects | 17 | 0.66 | 2015 |
Verifying eventual consistency of optimistic replication systems | 19 | 0.83 | 2014 |
Verifying concurrent programs against sequential specifications | 21 | 0.83 | 2013 |
Synthesis for regular specifications over unbounded domains | 6 | 0.62 | 2010 |