Toward Domain-Specific Solvers for Distributed Consistency

Lindsey Kuper, Peter Alvaro. Toward Domain-Specific Solvers for Distributed Consistency. In Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi, editors, 3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA. Volume 136 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]