%0 Conference Paper %1 conf/asplos/SmithKCCLPJBT24 %A Smith, Gus Henry %A Kushigian, Benjamin %A Canumalla, Vishal %A Cheung, Andrew %A Lyubomirsky, Steven %A Porncharoenwase, Sorawee %A Just, René %A Bernstein, Gilbert Louis %A Tatlock, Zachary %B ASPLOS (2) %D 2024 %E Gupta, Rajiv %E Abu-Ghazaleh, Nael B. %E Musuvathi, Madan %E Tsafrir, Dan %I ACM %K dblp %P 416-432 %T FPGA Technology Mapping Using Sketch-Guided Program Synthesis. %U http://dblp.uni-trier.de/db/conf/asplos/asplos2024-2.html#SmithKCCLPJBT24

@inproceedings{conf/asplos/SmithKCCLPJBT24, added-at = {2024-05-04T00:00:00.000+0200}, author = {Smith, Gus Henry and Kushigian, Benjamin and Canumalla, Vishal and Cheung, Andrew and Lyubomirsky, Steven and Porncharoenwase, Sorawee and Just, René and Bernstein, Gilbert Louis and Tatlock, Zachary}, biburl = {https://www.bibsonomy.org/bibtex/2e97e78eba15fa47611202e55d7d2985c/dblp}, booktitle = {ASPLOS (2)}, crossref = {conf/asplos/2024-2}, editor = {Gupta, Rajiv and Abu-Ghazaleh, Nael B. and Musuvathi, Madan and Tsafrir, Dan}, ee = {https://doi.org/10.1145/3620665.3640387}, interhash = {67c67a2a928b76ac7e87c662127d1657}, intrahash = {e97e78eba15fa47611202e55d7d2985c}, keywords = {dblp}, pages = {416-432}, publisher = {ACM}, timestamp = {2024-05-06T07:20:34.000+0200}, title = {FPGA Technology Mapping Using Sketch-Guided Program Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/asplos/asplos2024-2.html#SmithKCCLPJBT24}, year = 2024 }