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
Last revision Both sides next revision
melange:papers:spring2021 [2021/02/08 07:52]
lnarmour
melange:papers:spring2021 [2021/02/08 07:57]
lnarmour
Line 46: Line 46:
 numpages = {24}, numpages = {24},
 keywords = {Polyhedral model, Polyhedral code generation, Compiler verification}, keywords = {Polyhedral model, Polyhedral code generation, Compiler verification},
-loc = {Proceedings of the ACM on Programming Languages}+loc = {Proc. ACM Program. Lang.}
 } }
  
Line 62: Line 62:
 url={https://doi.org/10.1038/nature14541}, url={https://doi.org/10.1038/nature14541},
 loc={Nature} 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