This is an old revision of the document!
@misc{li2021analytical, title={Analytical Characterization and Design Space Exploration for Optimization of CNNs}, author={Rui Li and Yufan Xu and Aravind Sukumaran-Rajam and Atanas Rountev and P. Sadayappan}, year={2021}, eprint={2101.09808}, archivePrefix={arXiv}, primaryClass={cs.LG}, url={https://arxiv.org/pdf/2101.09808.pdf} }
@article{10.1145/3434321, author = {Courant, Nathanaël and Leroy, Xavier}, title = {Verified Code Generation for the Polyhedral Model}, year = {2021}, issue_date = {January 2021}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, volume = {5}, number = {POPL}, url = {https://doi.org/10.1145/3434321}, doi = {10.1145/3434321}, journal = {Proc. ACM Program. Lang.}, month = jan, articleno = {40}, numpages = {24}, keywords = {Polyhedral model, Polyhedral code generation, Compiler verification} }
@article{Ghahramani2015, author={Ghahramani, Zoubin}, title={Probabilistic machine learning and artificial intelligence}, journal={Nature}, year={2015}, month={May}, day={01}, volume={521}, number={7553}, pages={452-459}, issn={1476-4687}, doi={10.1038/nature14541}, url={https://doi.org/10.1038/nature14541} }
