Sankha Narayan Guria. Program Synthesis with Lightweight Abstractions. PhD thesis, University of Maryland, College Park, MD, USA, 2023. [doi]
@phdthesis{basesearch-16321,
title = {Program Synthesis with Lightweight Abstractions},
author = {Sankha Narayan Guria},
year = {2023},
url = {https://www.base-search.net/Record/31f5880bf08d1440733fca1d79fd1f1a13f7d5abb47d687fdb99fafec5eec73d},
note = {base-search.net (ftunivmaryland:oai:drum.lib.umd.edu:1903/30787)},
researchr = {https://researchr.org/publication/basesearch-16321},
cites = {0},
citedby = {0},
school = {University of Maryland, College Park, MD, USA},
}