Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis. Symbolic Reasoning for Automatic Signal Placement. Operating Systems Review, 54(1):64-76, 2020. [doi]
@article{FerlesGDS20, title = {Symbolic Reasoning for Automatic Signal Placement}, author = {Kostas Ferles and Jacob Van Geffen and Isil Dillig and Yannis Smaragdakis}, year = {2020}, doi = {10.1145/3421473.3421482}, url = {https://doi.org/10.1145/3421473.3421482}, researchr = {https://researchr.org/publication/FerlesGDS20}, cites = {0}, citedby = {0}, journal = {Operating Systems Review}, volume = {54}, number = {1}, pages = {64-76}, }