This is the tentative schedule of Mélange group for the Spring 2021 semester.
Meeting time & Place : Mondays 12:00 PM - 1:00 PM (MST) via Webex

1. Fall 2020
2. Fall 2019
3. Spring 2019

1. Write a short (max 5 sentences) summary of the paper.
2. What is the problem addressed in the paper?
3. Why is the problem important?
4. How do the authors address the problem?
5. How do they evaluate their approach?
6. What is the punch-line (key cool idea, or “what I got out of this paper”)? This is often different for different people and different from what the authors may have intended.
7. Make a list of deeper questions that you would like discussed in the meeting.

• Nathanaël Courant, Xavier Leroy. Verified Code Generation for the Polyhedral Model. In Proc. ACM Program. Lang., POPL, 2021. https://doi.org/10.1145/3434321

• Rui Li, Yufan Xu, Aravind Sukumaran-Rajam, Atanas Rountev, P. Sadayappan. Analytical Characterization and Design Space Exploration for Optimization of CNNs. In The ACM Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS, 2021. https://arxiv.org/pdf/2101.09808.pdf

• Rajan Walia, Praveen Narayanan, Jacques Carette, Sam Tobin-Hochstadt, Chung-chieh Shan. From High-Level Inference Algorithms to Efficient Code. In Proc. ACM Program. Lang., ICFP, 2019. https://doi.org/10.1145/3341702

• Eli Bingham, Jonathan P. Chen, Martin Jankowiak, Fritz Obermeyer, Neeraj Pradhan, Theofanis Karaletsos, Rohit Singh, Paul Szerlip, Paul Horsfall, Noah D. Goodman. Pyro: Deep Universal Probabilistic Programming. In J. Mach. Learn. Res., JMLR, 2019. https://paperswithcode.com/paper/pyro-deep-universal-probabilistic-programming

• Zoubin Ghahramani. Probabilistic machine learning and artificial intelligence. In Nature, 521, 2015. https://doi.org/10.1038/nature14541