%0 Conference Paper %1 conf/vstte/ChenSG22 %A Chen, Christopher K. %A Seltzer, Margo I. %A Greenstreet, Mark R. %B VSTTE %D 2022 %E Lal, Akash %E Tonetta, Stefano %I Springer %K dblp %P 33-51 %T Shellac: A Compiler Synthesizer for Concurrent Programs. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2022.html#ChenSG22 %V 13800 %@ 978-3-031-25803-9

@inproceedings{conf/vstte/ChenSG22, added-at = {2023-02-10T00:00:00.000+0100}, author = {Chen, Christopher K. and Seltzer, Margo I. and Greenstreet, Mark R.}, biburl = {https://www.bibsonomy.org/bibtex/2c5067c7eff876ecfab9ff4cfd107fcdf/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2022}, editor = {Lal, Akash and Tonetta, Stefano}, ee = {https://doi.org/10.1007/978-3-031-25803-9_3}, interhash = {2dcb531e97b81aa82885673c4671ccb8}, intrahash = {c5067c7eff876ecfab9ff4cfd107fcdf}, isbn = {978-3-031-25803-9}, keywords = {dblp}, pages = {33-51}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T09:58:28.000+0200}, title = {Shellac: A Compiler Synthesizer for Concurrent Programs.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2022.html#ChenSG22}, volume = 13800, year = 2022 }