This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
melange:papers:spring2021 [2021/02/08 06:44] lnarmour |
melange:papers:spring2021 [2021/02/08 08:10] (current) lnarmour |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | @misc{li2021analytical, | + | @article{10.5555/ |
- | title={Analytical Characterization | + | author |
- | author={Rui Li and Yufan Xu and Aravind Sukumaran-Rajam | + | title = {Pyro: Deep Universal Probabilistic Programming}, |
- | year={2021}, | + | year = {2019}, |
- | | + | issue_date |
- | | + | publisher = {JMLR.org}, |
- | | + | volume |
- | url={https:// | + | number |
+ | issn = {1532-4435}, | ||
+ | loc = {J. Mach. Learn. Res.}, | ||
+ | month = jan, | ||
+ | pages = {973–978}, | ||
+ | numpages = {6}, | ||
+ | keywords = {probabilistic programming, | ||
+ | url = {https://paperswithcode.com/paper/pyro-deep-universal-probabilistic-programming} | ||
} | } | ||
+ | @article{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:// | ||
+ | loc={The ACM Conference on Architectural Support for Programming Languages and Operating | ||
+ | Systems}, | ||
+ | number={ASPLOS} | ||
+ | } | ||
+ | |||
+ | @article{10.1145/ | ||
+ | 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 = {10.1145/ | ||
+ | journal = {Proc. ACM Program. Lang.}, | ||
+ | month = jan, | ||
+ | articleno = {40}, | ||
+ | numpages = {24}, | ||
+ | keywords = {Polyhedral model, Polyhedral code generation, Compiler verification}, | ||
+ | loc = {Proc. ACM Program. Lang.} | ||
+ | } | ||
+ | |||
+ | @article{Ghahramani2015, | ||
+ | author={Ghahramani, | ||
+ | title={Probabilistic machine learning and artificial intelligence}, | ||
+ | journal={Nature}, | ||
+ | year={2015}, | ||
+ | month={May}, | ||
+ | day={01}, | ||
+ | number={521}, | ||
+ | pages={452-459}, | ||
+ | issn={1476-4687}, | ||
+ | doi={10.1038/ | ||
+ | url={https:// | ||
+ | loc={Nature} | ||
+ | } | ||
+ | |||
+ | @article{10.1145/ | ||
+ | author = {Walia, Rajan and Narayanan, Praveen and Carette, Jacques and Tobin-Hochstadt, | ||
+ | title = {From High-Level Inference Algorithms to Efficient Code}, | ||
+ | year = {2019}, | ||
+ | issue_date = {August 2019}, | ||
+ | publisher = {Association for Computing Machinery}, | ||
+ | address = {New York, NY, USA}, | ||
+ | volume = {3}, | ||
+ | number = {ICFP}, | ||
+ | url = {https:// | ||
+ | doi = {10.1145/ | ||
+ | journal = {Proc. ACM Program. Lang.}, | ||
+ | month = jul, | ||
+ | articleno = {98}, | ||
+ | numpages = {30}, | ||
+ | keywords = {loop optimization, | ||
+ | loc = {Proc. ACM Program. Lang.} | ||
+ | } |