29 citations · 49 across the 9 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.DC2017
Monotonic Prefix Consistency in Distributed Systems
Alain Girault, Gregor Gössler, Rachid Guerraoui +2
We study the issue of data consistency in distributed systems. Specifically, we consider a distributed system that replicates its data at multiple sites, which is prone to partitio…
cs.FL2017
Minimal Synthesis of String To String Functions From Examples
Jad Hamza, Viktor Kunčak
We study the problem of synthesizing string to string transformations from a set of input/output examples. The transformations we consider are expressed using deterministic finite…
cs.FL2017
Polynomial-Time Proactive Synthesis of Tree-to-String Functions from Examples
Mikaël Mayer, Jad Hamza, Viktor Kuncak
Synthesis from examples enables non-expert users to generate programs by specifying examples of their behavior. A domain-specific form of such synthesis has been recently deployed…