PLT publishes technical reports about some of its tools and libraries so that scholars who wish to give proper credit to some of our innovations have a definite citation. Each entry below provides the full pdf and a bibtex entry; some of the bibtex entries provide additional citations to published papers.