%0 Conference Paper %1 conf/pldi/ShahG16 %A Shah, Michael D. %A Guyer, Samuel Z. %B SOAP@PLDI %D 2016 %E Zhang, Charles %E Rival, Xavier %I ACM %K dblp %P 7-12 %T Iceberg: a tool for static analysis of Java critical sections. %U http://dblp.uni-trier.de/db/conf/pldi/soap2016.html#ShahG16 %@ 978-1-4503-4385-5

@inproceedings{conf/pldi/ShahG16, added-at = {2018-11-06T00:00:00.000+0100}, author = {Shah, Michael D. and Guyer, Samuel Z.}, biburl = {https://www.bibsonomy.org/bibtex/2ecc9e5fcca8ee44ee7e7d17e0c333b20/dblp}, booktitle = {SOAP@PLDI}, crossref = {conf/pldi/2016soap}, editor = {Zhang, Charles and Rival, Xavier}, ee = {https://doi.org/10.1145/2931021.2931025}, interhash = {da585a38ecd29bcea33c71be93c5685a}, intrahash = {ecc9e5fcca8ee44ee7e7d17e0c333b20}, isbn = {978-1-4503-4385-5}, keywords = {dblp}, pages = {7-12}, publisher = {ACM}, timestamp = {2024-04-12T14:42:23.000+0200}, title = {Iceberg: a tool for static analysis of Java critical sections.}, url = {http://dblp.uni-trier.de/db/conf/pldi/soap2016.html#ShahG16}, year = 2016 }