Verifying Distributed Programs via Canonical Sequentialization. Bakst, A., von Gleissenthall, K., Gokhan Kici, R., & Jhala, R. In OOPSLA, August, 2017. Paper Code Slides bibtex @inproceedings{bakst_verifying_2017,
title = {Verifying {Distributed} {Programs} via {Canonical} {Sequentialization}},
url = {Paper=http://goto.ucsd.edu/~gleissen/papers/brisk.pdf Code=https://github.com/abakst/brisk Slides=http://goto.ucsd.edu/~gleissen/papers/brisk-slides.pdf},
booktitle = {{OOPSLA}},
author = {Bakst, Alexander and von Gleissenthall, Klaus and Gokhan Kici, Rami and Jhala, Ranjit},
month = aug,
year = {2017},
keywords = {type\_backup, type\_conf, type\_top, verification},
}
Downloads: 0
{"_id":"HWCdXnwxAW6Ezg8if","bibbaseid":"bakst-vongleissenthall-gokhankici-jhala-verifyingdistributedprogramsviacanonicalsequentialization-2017","author_short":["Bakst, A.","von Gleissenthall, K.","Gokhan Kici, R.","Jhala, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Verifying Distributed Programs via Canonical Sequentialization","booktitle":"OOPSLA","author":[{"propositions":[],"lastnames":["Bakst"],"firstnames":["Alexander"],"suffixes":[]},{"propositions":["von"],"lastnames":["Gleissenthall"],"firstnames":["Klaus"],"suffixes":[]},{"propositions":[],"lastnames":["Gokhan","Kici"],"firstnames":["Rami"],"suffixes":[]},{"propositions":[],"lastnames":["Jhala"],"firstnames":["Ranjit"],"suffixes":[]}],"month":"August","year":"2017","keywords":"type_backup, type_conf, type_top, verification","bibtex":"@inproceedings{bakst_verifying_2017,\n\ttitle = {Verifying {Distributed} {Programs} via {Canonical} {Sequentialization}},\n\turl = {Paper=http://goto.ucsd.edu/~gleissen/papers/brisk.pdf Code=https://github.com/abakst/brisk Slides=http://goto.ucsd.edu/~gleissen/papers/brisk-slides.pdf},\n\tbooktitle = {{OOPSLA}},\n\tauthor = {Bakst, Alexander and von Gleissenthall, Klaus and Gokhan Kici, Rami and Jhala, Ranjit},\n\tmonth = aug,\n\tyear = {2017},\n\tkeywords = {type\\_backup, type\\_conf, type\\_top, verification},\n}\n\n","author_short":["Bakst, A.","von Gleissenthall, K.","Gokhan Kici, R.","Jhala, R."],"urlPaper":"http://goto.ucsd.edu/~gleissen/papers/brisk.pdf","urlCode":"https://github.com/abakst/brisk","urlSlides":"http://goto.ucsd.edu/~gleissen/papers/brisk-slides.pdf","key":"bakst_verifying_2017","id":"bakst_verifying_2017","bibbaseid":"bakst-vongleissenthall-gokhankici-jhala-verifyingdistributedprogramsviacanonicalsequentialization-2017","role":"author","urls":{"Paper":"http://goto.ucsd.edu/~gleissen/papers/brisk.pdf","Code":"https://github.com/abakst/brisk","Slides":"http://goto.ucsd.edu/~gleissen/papers/brisk-slides.pdf"},"keyword":["type_backup","type_conf","type_top","verification"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://download.vusec.net/papers/zotero.php?tag=&full=1&format=bibtex&sort=date","dataSources":["t7bbMv6rDqXsgJLed","cEmMXPermWEFsgmMR","BiiCvZqo4qNuaZKx8","LY5xkJFgS2sBQ9umB"],"keywords":["type_backup","type_conf","type_top","verification"],"search_terms":["verifying","distributed","programs","via","canonical","sequentialization","bakst","von gleissenthall","gokhan kici","jhala"],"title":"Verifying Distributed Programs via Canonical Sequentialization","year":2017}