Published in: LIPIcs, Volume 136, 3rd Summit on Advances in Programming Languages (SNAPL 2019)
Lindsey Kuper and Peter Alvaro. Toward Domain-Specific Solvers for Distributed Consistency. In 3rd Summit on Advances in Programming Languages (SNAPL 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 136, pp. 10:1-10:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{kuper_et_al:LIPIcs.SNAPL.2019.10, author = {Kuper, Lindsey and Alvaro, Peter}, title = {{Toward Domain-Specific Solvers for Distributed Consistency}}, booktitle = {3rd Summit on Advances in Programming Languages (SNAPL 2019)}, pages = {10:1--10:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-113-9}, ISSN = {1868-8969}, year = {2019}, volume = {136}, editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2019.10}, URN = {urn:nbn:de:0030-drops-105530}, doi = {10.4230/LIPIcs.SNAPL.2019.10}, annote = {Keywords: distributed consistency, SMT solving, theory solvers} }
Feedback for Dagstuhl Publishing