User Tools

Site Tools


melange:papers:spring2021

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Last revision Both sides next revision
melange:papers:spring2021 [2021/02/08 06:58]
lnarmour
melange:papers:spring2021 [2021/02/08 07:57]
lnarmour
Line 1: Line 1:
 +@article{10.5555/3322706.3322734,
 +author = {Bingham, Eli and Chen, Jonathan P. and Jankowiak, Martin and Obermeyer, Fritz and Pradhan, Neeraj and Karaletsos, Theofanis and Singh, Rohit and Szerlip, Paul and Horsfall, Paul and Goodman, Noah D.},
 +title = {Pyro: Deep Universal Probabilistic Programming},
 +year = {2019},
 +issue_date = {January 2019},
 +publisher = {JMLR.org},
 +volume = {20},
 +number = {JMLR},
 +issn = {1532-4435},
 +loc = {J. Mach. Learn. Res.},
 +month = jan,
 +pages = {973–978},
 +numpages = {6},
 +keywords = {probabilistic programming, deep learning, approximate Bayesian inference, graphical models, generative models},
 +url = {https://paperswithcode.com/paper/pyro-deep-universal-probabilistic-programming}
 +}
 +
 +
 @misc{li2021analytical, @misc{li2021analytical,
 title={Analytical Characterization and Design Space Exploration for Optimization of CNNs},  title={Analytical Characterization and Design Space Exploration for Optimization of CNNs}, 
Line 6: Line 24:
 archivePrefix={arXiv}, archivePrefix={arXiv},
 primaryClass={cs.LG}, primaryClass={cs.LG},
-url={https://arxiv.org/pdf/2101.09808.pdf}+url={https://arxiv.org/pdf/2101.09808.pdf}, 
 +loc={The ACM Conference on Architectural Support for Programming Languages and Operating 
 +Systems}, 
 +number={ASPLOS}
 } }
  
 @article{10.1145/3434321, @article{10.1145/3434321,
-author = {Courant, Nathana\"{e}l and Leroy, Xavier},+author = {Courant, Nathanaël and Leroy, Xavier},
 title = {Verified Code Generation for the Polyhedral Model}, title = {Verified Code Generation for the Polyhedral Model},
 year = {2021}, year = {2021},
Line 24: Line 45:
 articleno = {40}, articleno = {40},
 numpages = {24}, numpages = {24},
-keywords = {Polyhedral model, Polyhedral code generation, Compiler verification}+keywords = {Polyhedral model, Polyhedral code generation, Compiler verification}, 
 +loc = {Proc. ACM Program. Lang.}
 } }
  
-Article{Ghahramani2015,+@article{Ghahramani2015,
 author={Ghahramani, Zoubin}, author={Ghahramani, Zoubin},
 title={Probabilistic machine learning and artificial intelligence}, title={Probabilistic machine learning and artificial intelligence},
Line 34: Line 56:
 month={May}, month={May},
 day={01}, day={01},
-volume={521}, +number={521},
-number={7553},+
 pages={452-459}, pages={452-459},
 issn={1476-4687}, issn={1476-4687},
 doi={10.1038/nature14541}, doi={10.1038/nature14541},
-url={https://doi.org/10.1038/nature14541}+url={https://doi.org/10.1038/nature14541}, 
 +loc={Nature} 
 +
 + 
 +@article{10.1145/3341702, 
 +author = {Walia, Rajan and Narayanan, Praveen and Carette, Jacques and Tobin-Hochstadt, Sam and Shan, Chung-chieh}, 
 +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.org/10.1145/3341702}, 
 +doi = {10.1145/3341702}, 
 +journal = {Proc. ACM Program. Lang.}, 
 +month = jul, 
 +articleno = {98}, 
 +numpages = {30}, 
 +keywords = {loop optimization, conjugacy, marginalization, collapsed Gibbs sampling, arrays, plates, multidimensional distributions, probabilistic programs, map-reduce}, 
 +loc = {Proc. ACM Program. Lang.}
 } }
melange/papers/spring2021.txt · Last modified: 2021/02/08 08:10 by lnarmour