%0 Conference Paper %1 conf/pldi/HonoreSKS22 %A Honoré, Wolf %A Shin, Ji-Yong %A Kim, Jieung %A Shao, Zhong %B PLDI %D 2022 %E Jhala, Ranjit %E Dillig, Isil %I ACM %K dblp %P 379-394 %T Adore: atomic distributed objects with certified reconfiguration. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2022.html#HonoreSKS22 %@ 978-1-4503-9265-5

@inproceedings{conf/pldi/HonoreSKS22, added-at = {2022-12-07T00:00:00.000+0100}, author = {Honoré, Wolf and Shin, Ji-Yong and Kim, Jieung and Shao, Zhong}, biburl = {https://www.bibsonomy.org/bibtex/22a4f99ce8ebe1066f4ac101398a46703/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2022}, editor = {Jhala, Ranjit and Dillig, Isil}, ee = {https://doi.org/10.1145/3519939.3523444}, interhash = {80ff7161715bf8f2b5e4c34d07754135}, intrahash = {2a4f99ce8ebe1066f4ac101398a46703}, isbn = {978-1-4503-9265-5}, keywords = {dblp}, pages = {379-394}, publisher = {ACM}, timestamp = {2024-04-09T19:00:12.000+0200}, title = {Adore: atomic distributed objects with certified reconfiguration.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2022.html#HonoreSKS22}, year = 2022 }