ABCDEFGHIJKLMNOPQRSTUVWXYZ
1
Day/ThemeTitleAuthorsVenueYearLinkNotes
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 LogoHistory 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 11Epistemological 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 27Need Finding
What’s Wrong with Computational Notebooks? Pain Points, Needs, and Design Opportunities
Souti Chattopadhyay1 , Ishita Prasad2 , Austin Z. Henley3 , Anita Sarma1 , Titus Barik
CHI2020
https://web.eecs.utk.edu/~azh/pubs/Chattopadhyay2020CHI_NotebookPainpoints.pdf
11
I Don't Like NotebooksJoel GrusJupyterCon2018
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
CHI2019
https://dl.acm.org/doi/pdf/10.1145/3290605.3300493?casa_token=AhmUpGST5C4AAAAA:UH1mI891XAz0F9jE45FneRy8lsB-wZmJuPtXpNtABrdpcUuNsRUzCGjzfkDrh8AtQcrC4A_pxITCFg
13
Thu, March 5Education: model of interestThe 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 10Education: model of interestTo 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 12CORONAVIRUS
17
Tue, March 17CORONAVIRUS
18
Thu, March 19Online collabASSESSMENT 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 24Novel synthesisSynthesis with Abstract Examples
Dana Drachsler-Cohen1 , Sharon Shoham2 , and Eran Yahav
CAV2017
https://m.tau.ac.il/~sharonshoham/papers/cav17.pdf
21
Thu, March 26Novel programming environmentLive Functional Programming with Typed Holes
C. Omar, I. Voysey, R. Chugh and M. Hammer
POPL2019
https://arxiv.org/pdf/1805.00155
22
WHAT CYRUS RECOMMENDS:watch this video (at least first 16m30s)OmarMidwestern PL2019
https://youtu.be/_n23bHbje6U
23
then read this paper
Omar, Voysey, Hilton, Aldrich, Hammer
POPL2017
https://arxiv.org/pdf/1607.04180.pdf
24
Tue, March 31Education
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 2Novel programming environment
It's Like Python But: Towards Supporting Transfer of Programming Language Knowledge
N Shrestha, T Barik, C Parnin
VL/HCC2018
https://ieeexplore.ieee.org/document/8506508
26
Tue, April 7Pair 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
ESEM2008
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 9Need FindingExploring exploratory programming
Kery, M. B., & Myers, B. A.
VL/HCC2017
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
CHI2017
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 16Education 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 21Tutoring 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 systems2006
https://pdfs.semanticscholar.org/3fe1/41759f8e4bbb3c971adc99b81037bc03c900.pdf
36
Thu, April 23Eunice 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 28Characterizing 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/HCC2018
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
UIST2018
https://dl.acm.org/doi/10.1145/3242587.3242634
41
Tue, May 5Novel synthesisInteractive Program Synthesis
Vu Le, Daniel Perelman, Oleksandr Polozov, Mohammad Raza, Abhishek Udupa, Sumit Gulwani
arXiv2017
https://arxiv.org/abs/1703.03539
42
Thu, May 7Novel docs
Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming
Joshua Sunshine, James Herbsleb, and Jonathan Aldrich
ECOOP2014
http://www.cs.cmu.edu/~aldrich/papers/ecoop14-structuring.pdf
43
Tue, May 12Raft stuffIn 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 14Learning Programs from Traces using Version Space Algebra
https://homes.cs.washington.edu/~pedrod/papers/kcap03b.pdf
46
Tue, May 19Josh'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