Smith, Gus Henry, Kushigian, Benjamin, Canumalla, Vishal, Cheung, Andrew, Lyubomirsky, Steven, Porncharoenwase, Sorawee, Just, René, Bernstein, Gilbert Louis, and Tatlock, Zachary. FPGA Technology Mapping Using Sketch-Guided Program Synthesis. Retrieved from https://par.nsf.gov/biblio/10518689. Web. doi:10.1145/3620665.3640387.

Smith, Gus Henry, Kushigian, Benjamin, Canumalla, Vishal, Cheung, Andrew, Lyubomirsky, Steven, Porncharoenwase, Sorawee, Just, René, Bernstein, Gilbert Louis, & Tatlock, Zachary. FPGA Technology Mapping Using Sketch-Guided Program Synthesis. Retrieved from https://par.nsf.gov/biblio/10518689. https://doi.org/10.1145/3620665.3640387

Smith, Gus Henry, Kushigian, Benjamin, Canumalla, Vishal, Cheung, Andrew, Lyubomirsky, Steven, Porncharoenwase, Sorawee, Just, René, Bernstein, Gilbert Louis, and Tatlock, Zachary. "FPGA Technology Mapping Using Sketch-Guided Program Synthesis". Country unknown/Code not available: ACM. https://doi.org/10.1145/3620665.3640387. https://par.nsf.gov/biblio/10518689.

@article{osti_10518689,
place = {Country unknown/Code not available}, title = {FPGA Technology Mapping Using Sketch-Guided Program Synthesis}, url = {https://par.nsf.gov/biblio/10518689}, DOI = {10.1145/3620665.3640387}, abstractNote = {}, journal = {}, publisher = {ACM}, 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}, }