| A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | Day/Theme | Title | Authors | Venue | Year | Link | Notes | |||||||||||||||||||
2 | Thu Jan 30 | New PL design approach from PL perspective | Interdisciplinary Programming Language Design | Michael Coblenz, Jonathan Aldrich, Brad A. Myers, and Joshua Sunshine | Onward! | 2018 | http://www.cs.cmu.ed*u/afs/cs.cmu.edu/Web/People/natprog/papers/onward18essays-p7-p-682d101-38832-final.pdf | |||||||||||||||||||
3 | History of Logo | History of Logo | Solomon, Silverman, Lieberman, Harvey, Miller, Kahn, Minsky, Papert | Unpublished; under review at HOPL | unpublished; 2020? | https://drive.google.com/file/d/1SLRFXegEqmErVqKwJo0k1kEZxckfIfEW/view?usp=sharing | ||||||||||||||||||||
4 | Tue Feb 4 | ---- Sections 1-4 | ||||||||||||||||||||||||
5 | Thu Feb 6 | ---- Sections 5-end | ||||||||||||||||||||||||
6 | Tue Feb 11 | Epistemological Pluralism and the Revaluation of the Concrete | http://www.papert.org/articles/EpistemologicalPluralism.html | |||||||||||||||||||||||
7 | Thu Feb 13 | Hackers, Computers, and Cooperation: A Critical History of Logo and Constructionist Learning | MORGAN G. AMES | CSCW | http://morganya.org/research/2018-Ames-CSCW-Constructionism.pdf | |||||||||||||||||||||
8 | Thu Feb 20 Option 1 | note: original CEGIS paper even though it doesn't use the term CEGIS | Combinatorial sketching for finite programs | Armando Solar-Lezama, Liviu Tancau, Rastislav Bodik, Vijay Saraswat∗, Sanjit Seshia | https://dl.acm.org/doi/10.1145/1168919.1168907 | |||||||||||||||||||||
9 | Tue Feb 25 | New PL design approach from HCI perspective | Programmers Are Users Too: Human-Centered Methods for Improving Programming Tools | Brad A. Myers ; Andrew J. Ko ; Thomas D. LaToza ; YoungSeok Yoon | Computer, IEEE | 2016 | https://faculty.washington.edu/ajko/papers/Myers2016ProgrammersAreUsers.pdf | |||||||||||||||||||
10 | Thu, Feb 27 | Need Finding | What’s Wrong with Computational Notebooks? Pain Points, Needs, and Design Opportunities | Souti Chattopadhyay1 , Ishita Prasad2 , Austin Z. Henley3 , Anita Sarma1 , Titus Barik | CHI | 2020 | https://web.eecs.utk.edu/~azh/pubs/Chattopadhyay2020CHI_NotebookPainpoints.pdf | |||||||||||||||||||
11 | I Don't Like Notebooks | Joel Grus | JupyterCon | 2018 | https://docs.google.com/presentation/d/1n2RlMdmv1p25Xy5thJUhkKGvjtV-dkAIsUXP-AL4ffI/edit#slide=id.g3d168d2fd3_0_255 | |||||||||||||||||||||
12 | Tue, March 3 | Practitioners Teaching Data Science in Industry andAcademia: Expectations, Workflows, and Challenges | Sean Kross, Philip J. Guo | CHI | 2019 | https://dl.acm.org/doi/pdf/10.1145/3290605.3300493?casa_token=AhmUpGST5C4AAAAA:UH1mI891XAz0F9jE45FneRy8lsB-wZmJuPtXpNtABrdpcUuNsRUzCGjzfkDrh8AtQcrC4A_pxITCFg | ||||||||||||||||||||
13 | Thu, March 5 | Education: model of interest | The Four-Phase Model of Interest Development | Suzanne Hidi & K. Ann Renninger | Educational Psychologist | 2006 | https://www.tandfonline.com/doi/abs/10.1207/s15326985ep4102_4 | |||||||||||||||||||
14 | Tue, March 10 | Education: model of interest | To Level the Playing Field, Develop Interest | Renninger, K. A., & Hidi, S. E. | Policy Insights from the Behavioral and Brain Sciences | 2020 | https://works.swarthmore.edu/fac-education/145/ | |||||||||||||||||||
15 | Motivation, Engagement, and Interest “In the End, It Came Down to You and How You Think of the Problem” | K. Ann Renninger, Yanyan Ren, Heidi M. Kern | International Handbook of the Learning Sciences | 2018 | https://www.taylorfrancis.com/books/e/9781315617572/chapters/10.4324%2F9781315617572-12 | |||||||||||||||||||||
16 | Thu, March 12 | CORONAVIRUS | ||||||||||||||||||||||||
17 | Tue, March 17 | CORONAVIRUS | ||||||||||||||||||||||||
18 | Thu, March 19 | Online collab | ASSESSMENT AND COLLABORATION IN ONLINE LEARNING | Karen Swan, Jia Shen, Starr Roxanne Hiltz | 2019 | https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.101.8803&rep=rep1&type=pdf | ||||||||||||||||||||
19 | Effective Discussion Through a Computer-Mediated Anchored Forum | The Journal of the Learning Sciences | 2000 | https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.667.866&rep=rep1&type=pdf | ||||||||||||||||||||||
20 | Tue, March 24 | Novel synthesis | Synthesis with Abstract Examples | Dana Drachsler-Cohen1 , Sharon Shoham2 , and Eran Yahav | CAV | 2017 | https://m.tau.ac.il/~sharonshoham/papers/cav17.pdf | |||||||||||||||||||
21 | Thu, March 26 | Novel programming environment | Live Functional Programming with Typed Holes | C. Omar, I. Voysey, R. Chugh and M. Hammer | POPL | 2019 | https://arxiv.org/pdf/1805.00155 | |||||||||||||||||||
22 | WHAT CYRUS RECOMMENDS: | watch this video (at least first 16m30s) | Omar | Midwestern PL | 2019 | https://youtu.be/_n23bHbje6U | ||||||||||||||||||||
23 | then read this paper | Omar, Voysey, Hilton, Aldrich, Hammer | POPL | 2017 | https://arxiv.org/pdf/1607.04180.pdf | |||||||||||||||||||||
24 | Tue, March 31 | Education | PRACTICING VERSUS INVENTING WITH CONTRASTING CASES: THE EFFECTS OF TELLING FIRST ON LEARNING AND TRANSFER | Daniel L. Schwartz1 , Catherine C. Chase1 , Marily A. Oppezzo1 , & Doris B. Chin | Journal of Educational Psychology | 2011 | http://aaalab.stanford.edu/assets/papers/2011/Practicing_versus_inventing.pdf | |||||||||||||||||||
25 | Thu, April 2 | Novel programming environment | It's Like Python But: Towards Supporting Transfer of Programming Language Knowledge | N Shrestha, T Barik, C Parnin | VL/HCC | 2018 | https://ieeexplore.ieee.org/document/8506508 | |||||||||||||||||||
26 | Tue, April 7 | Pair Programming | Guidelines for the use of pair programming in a freshman programming class | J. Bevan, L. Werner, & C. McDowell | Software Engineering Education & Training | 2002 | https://users.soe.ucsc.edu/~charlie/pubs/cseet2002.pdf | |||||||||||||||||||
27 | Pair programming: what's in it for me? | Andrew Begel, Nachi Nagappan | ESEM | 2008 | https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/esem-begel-2008.pdf | |||||||||||||||||||||
28 | The effectiveness of pair programming: a meta-analysis | Jo E. Hannay , Tore Dybå , Erik Arisholm , Dag I. K. Sjøberg , Jo E. Hannay A , Tore Dyb˚a A , C Erik Arisholm A | Information and Software Technology | 2009 | http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.387.3876&rep=rep1&type=pdf | |||||||||||||||||||||
29 | Thu April 9 | Need Finding | Exploring exploratory programming | Kery, M. B., & Myers, B. A. | VL/HCC | 2017 | http://www.cs.cmu.edu/~NatProg/papers/p025-kery-vlhcc2017exp-prog.pdf | This one is very short! See Variolite paper for the more complete insights. | ||||||||||||||||||
30 | Variolite: Supporting Exploratory Programming by Data Scientists | Kery, M. B., Horvath, A., & Myers, B. A | CHI | 2017 | https://marybethkery.com/projects/Verdant/variolite-supporting-exploratory-programming.pdf | |||||||||||||||||||||
31 | Tue, April 14 | Towards Effective Foraging by Data Scientists to Find Past Analysis Choices | https://dl.acm.org/doi/10.1145/3290605.3300322 | |||||||||||||||||||||||
32 | Thu, April 16 | Education practice | The Knowledge-Learning-Instruction Framework: Bridging the Science-Practice Chasm to Enhance Robust Student Learning | Kenneth R. Koedinger, Albert T. Corbett, Charles Perfetti | Cognitive Science | 2012 | http://pact.cs.cmu.edu/pubs/Koedinger,%20Corbett,%20Perfetti%202012-KLI.pdf | |||||||||||||||||||
33 | intelligent tutor paper?? | |||||||||||||||||||||||||
34 | Tue, April 21 | Tutoring systems | Cognitive tutors: Technology bringing learning sciences to the classroom | 2006 | https://www.researchgate.net/publication/255519934_Cognitive_Tutors_Technology_Bringing_Learning_Science_to_the_Classroom | |||||||||||||||||||||
35 | The behavior of tutoring systems | 2006 | https://pdfs.semanticscholar.org/3fe1/41759f8e4bbb3c971adc99b81037bc03c900.pdf | |||||||||||||||||||||||
36 | Thu, April 23 | Eunice Jun will join | ||||||||||||||||||||||||
37 | Increasing Transparency Through a Multiverse Analysis | Sara Steegen1, Francis Tuerlinckx1, Andrew Gelman2, and Wolf Vanpaemel1 | 2016 | http://www.stat.columbia.edu/~gelman/research/published/multiverse_published.pdf | ||||||||||||||||||||||
38 | companion website to a different multiverse paper (https://hal.inria.fr/hal-01976951/document), NOT the Steegen et al. one we will be discussing | https://explorablemultiverse.github.io/ | ||||||||||||||||||||||||
39 | Tue, April 28 | Characterizing practice | API Designers in the Field: Design Practices and Challenges for Creating Usable APIs | Murphy, L., Kery, M. B., Alliyu, O., Macvean, A., & Myers, B. A. | VL/HCC | 2018 | https://www.cs.cmu.edu/~NatProg/papers/API-Designers-in-the-Field-Preprint.pdf | |||||||||||||||||||
40 | Thu, April 30 | Novel programming environment/verification tool | Authoring and Verifying Human-Robot Interactions | Porfirio, David and Saupp\'{e}, Allison and Albarghouthi, Aws and Mutlu, Bilge | UIST | 2018 | https://dl.acm.org/doi/10.1145/3242587.3242634 | |||||||||||||||||||
41 | Tue, May 5 | Novel synthesis | Interactive Program Synthesis | Vu Le, Daniel Perelman, Oleksandr Polozov, Mohammad Raza, Abhishek Udupa, Sumit Gulwani | arXiv | 2017 | https://arxiv.org/abs/1703.03539 | |||||||||||||||||||
42 | Thu, May 7 | Novel docs | Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming | Joshua Sunshine, James Herbsleb, and Jonathan Aldrich | ECOOP | 2014 | http://www.cs.cmu.edu/~aldrich/papers/ecoop14-structuring.pdf | |||||||||||||||||||
43 | Tue, May 12 | Raft stuff | In Search of an Understandable Consensus Algorithm (Extended Version) | 2014 | https://raft.github.io/raft.pdf | |||||||||||||||||||||
44 | Paxos vs Raft: have we reached consensus on distributed consensus? | 2020 | https://dl.acm.org/doi/abs/10.1145/3380787.3393681 | |||||||||||||||||||||||
45 | Thu, May 14 | Learning Programs from Traces using Version Space Algebra | https://homes.cs.washington.edu/~pedrod/papers/kcap03b.pdf | |||||||||||||||||||||||
46 | Tue, May 19 | Josh's penrose paper - he and student will visit and chat | ||||||||||||||||||||||||
47 | ||||||||||||||||||||||||||
48 | ||||||||||||||||||||||||||
49 | ||||||||||||||||||||||||||
50 | ||||||||||||||||||||||||||
51 | ||||||||||||||||||||||||||
52 | ||||||||||||||||||||||||||
53 | ||||||||||||||||||||||||||
54 | ||||||||||||||||||||||||||
55 | ||||||||||||||||||||||||||
56 | ||||||||||||||||||||||||||
57 | ||||||||||||||||||||||||||
58 | ||||||||||||||||||||||||||
59 | ||||||||||||||||||||||||||
60 | ||||||||||||||||||||||||||
61 | ||||||||||||||||||||||||||
62 | ||||||||||||||||||||||||||
63 | ||||||||||||||||||||||||||
64 | ||||||||||||||||||||||||||
65 | ||||||||||||||||||||||||||
66 | ||||||||||||||||||||||||||
67 | ||||||||||||||||||||||||||
68 | ||||||||||||||||||||||||||
69 | ||||||||||||||||||||||||||
70 | ||||||||||||||||||||||||||
71 | ||||||||||||||||||||||||||
72 | ||||||||||||||||||||||||||
73 | ||||||||||||||||||||||||||
74 | ||||||||||||||||||||||||||
75 | ||||||||||||||||||||||||||
76 | ||||||||||||||||||||||||||
77 | ||||||||||||||||||||||||||
78 | ||||||||||||||||||||||||||
79 | ||||||||||||||||||||||||||
80 | ||||||||||||||||||||||||||
81 | ||||||||||||||||||||||||||
82 | ||||||||||||||||||||||||||
83 | ||||||||||||||||||||||||||
84 | ||||||||||||||||||||||||||
85 | ||||||||||||||||||||||||||
86 | ||||||||||||||||||||||||||
87 | ||||||||||||||||||||||||||
88 | ||||||||||||||||||||||||||
89 | ||||||||||||||||||||||||||
90 | ||||||||||||||||||||||||||
91 | ||||||||||||||||||||||||||
92 | ||||||||||||||||||||||||||
93 | ||||||||||||||||||||||||||
94 | ||||||||||||||||||||||||||
95 | ||||||||||||||||||||||||||
96 | ||||||||||||||||||||||||||
97 | ||||||||||||||||||||||||||
98 | ||||||||||||||||||||||||||
99 | ||||||||||||||||||||||||||
100 |