New Programming Paradigms

Davina, a seventhgrade girl, lives in a rural community. She loves her dog, Slayer, and wonders what he does all day. Like many other dogs in her area, Slayer doesn’t spend a lot of time indoors at home; he goes on adventures during the day, and returns home many nights for food and sleep. Davina’s friends have similar curiosities: Where do their dogs go? What other dogs do they hang out with? They decide to work together to build technologies that will get them answers to these questions. With their teacher’s help, they use the BBC Micro:bit (a small, lowcost microcontroller with builtin sensors and wireless communication) to create animal wearables that they can use to create a data set about their dogs’ social and geospatial activities. They assign each dog a unique ID number and program each dog’s Micro:bit to broadcast that unique ID every 30 seconds using the builtin shortrange wireless radio. They also program each device to listen for broadcasts from other dogs’ devices; each device will count up how many times it receives broadcasts from every other device. The next time they see their dogs, they attach the Micro:bits (in waterproof cases) to the dogs’ collars, and send them out on their adventures. Then, when they see the dogs again, the students download their dogs’ data sets to their laptops. They bring these data to class, and each creates a graph of how much time their dog hangs out with every other dog.

[1]  Harold Abelson,et al.  Boxer: a reconstructible computational medium , 1986, CACM.

[2]  Aditi Wagh,et al.  Balancing Curricular and Pedagogical Needs in Computational Construction Kits: Lessons from the DeltaTick Project. , 2015 .

[3]  Mitchel Resnick,et al.  “Thick” authenticity: new media and authentic learning , 1999 .

[4]  Uri Wilensky,et al.  Students’ Learning with the Connected Chemistry (CC1) Curriculum: Navigating the Complexities of the Particulate World , 2009 .

[5]  Masoud Mohseni,et al.  Commercialize quantum technologies in five years , 2017, Nature.

[6]  Mandy Lupton,et al.  Students' perceptions of the relevance of mathematics in engineering , 2012 .

[7]  Josh Sheldon,et al.  Critical computational empowerment: Engaging youth as shapers of the digital future , 2017, 2017 IEEE Global Engineering Education Conference (EDUCON).

[8]  Markus Holzer,et al.  Sorting the Slow Way: An Analysis of Perversely Awful Randomized Sorting Algorithms , 2007, FUN.

[9]  Mitchel Resnick,et al.  Imagining, Creating, Playing, Sharing, Reflecting: How Online Community Supports Young People as Designers of Interactive Media , 2013 .

[10]  Matthias Felleisen,et al.  A functional I/O system or, fun for freshman kids , 2009, ICFP.

[11]  Aram W. Harrow,et al.  Quantum computational supremacy , 2017, Nature.

[12]  S. Lloyd Quantum-Mechanical Computers , 1995 .

[13]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[14]  Nancy A. Lynch,et al.  Impossibility of distributed consensus with one faulty process , 1983, PODS '83.

[15]  R. Benjamin Shapiro,et al.  BlockyTalky: New programmable tools to enable students' learning networks , 2018, Int. J. Child Comput. Interact..

[16]  Donald E. Knuth,et al.  The art of computer programming: sorting and searching (volume 3) , 1973 .

[17]  Sayamindu Dasgupta,et al.  From surveys to collaborative art: enabling children to program with online data , 2013, IDC.

[18]  Jeannette M. Wing An introduction to computer science for non-majors using principles of computation , 2007, SIGCSE.

[19]  Jeannette M. Wing Computational thinking and thinking about computing , 2008, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[20]  Frederic T. Chong,et al.  Quantum Computing for Computer Architects, Second Edition , 2011, Quantum Computing for Computer Architects.

[21]  David C. Webb,et al.  Scalable game design and the development of a checklist for getting computational thinking into public schools , 2010, SIGCSE.

[22]  Matthias Felleisen,et al.  How to Design Programs , 2001 .

[23]  Isaac L. Chuang,et al.  Quantum Computation and Quantum Information (10th Anniversary edition) , 2011 .

[24]  Peter J. Denning A debate on teaching computing science , 1989, CACM.

[25]  Werner Vogels,et al.  Building reliable distributed systems at a worldwide scale demands trade-offs between consistency and availability. , 2022 .

[26]  Alfred V. Aho,et al.  Computation and Computational Thinking , 2012, Comput. J..

[27]  Alfred V. Aho,et al.  Ubiquity symposium: Computation and Computational Thinking , 2011, Ubiquity.

[28]  Martin Stanisstreet,et al.  Why aren't secondary students interested in physics? , 2003 .

[29]  Seth Reichelson AP Computer Science Principles , 2019 .

[30]  Margaret Martonosi,et al.  Programming languages and compiler design for realistic quantum hardware , 2017, Nature.

[31]  Andrew S. Tanenbaum,et al.  Distributed systems: Principles and Paradigms , 2001 .

[32]  Harold Abelson,et al.  From computational thinking to computational action , 2019, Commun. ACM.

[33]  M. Resnick,et al.  Thinking in Levels: A Dynamic Systems Approach to Making Sense of the World , 1999 .

[34]  Alan C. Kay The early history of Smalltalk , 1993, HOPL-II.

[35]  Leslie Lamport,et al.  The part-time parliament , 1998, TOCS.

[36]  Seymour Papert,et al.  What's the big idea? Toward a pedagogy of idea power , 2000, IBM Syst. J..

[37]  Eric A. Brewer,et al.  Towards robust distributed systems (abstract) , 2000, PODC '00.

[38]  Andrea Vedaldi,et al.  Understanding deep image representations by inverting them , 2014, 2015 IEEE Conference on Computer Vision and Pattern Recognition (CVPR).

[39]  Xin-She Yang,et al.  Introduction to Algorithms , 2021, Nature-Inspired Optimization Algorithms.

[40]  Marco T. Morazán,et al.  Infusing an HtDP-based CS1 with distributed programming using functional video games , 2018, Journal of Functional Programming.

[41]  David P. Williamson,et al.  The Design of Approximation Algorithms , 2011 .

[42]  Peter W. Shor,et al.  Algorithms for quantum computation: discrete logarithms and factoring , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[43]  Seymour Papert,et al.  Mindstorms: Children, Computers, and Powerful Ideas , 1981 .

[44]  Perry R. Cook,et al.  A Meta-Instrument for Interactive, On-the-Fly Machine Learning , 2009, NIME.

[45]  Pratim Sengupta,et al.  Learning Electricity with NIELS: Thinking with Electrons and Thinking in Levels , 2009, Int. J. Comput. Math. Learn..

[46]  Leslie Lamport,et al.  Paxos Made Simple , 2001 .

[47]  Sylvain Arlot,et al.  A survey of cross-validation procedures for model selection , 2009, 0907.4728.

[48]  Gerald J. Sussman,et al.  Structure and interpretation of computer programs , 1985, Proceedings of the IEEE.

[49]  Eric Klopfer,et al.  Augmented Learning: Research and Design of Mobile Educational Games , 2008 .

[50]  Perry R. Cook,et al.  Human model evaluation in interactive supervised learning , 2011, CHI.

[51]  John Stuckey Why the heck does higher ED need chief information/technology officers? , 2007, UBIQ.

[52]  Satoshi Nakamoto Bitcoin : A Peer-to-Peer Electronic Cash System , 2009 .

[53]  Eli Upfal,et al.  Algorithms for Detecting Significantly Mutated Pathways in Cancer , 2010, RECOMB.

[54]  Luciano Rossoni,et al.  Models and methods in social network analysis , 2006 .

[55]  Ron Kohavi,et al.  A Study of Cross-Validation and Bootstrap for Accuracy Estimation and Model Selection , 1995, IJCAI.

[56]  S. Turkle,et al.  Epistemological Pluralism and the Revaluation of the Concrete. , 1992 .

[57]  Leah Buechley,et al.  Textile messages : dispatches from the world of e-textiles and education , 2013 .

[58]  Walter Tichy Is quantum computing for real?: an interview with Catherine McGeoch of D-Wave Systems , 2017, UBIQ.

[59]  Nancy A. Lynch,et al.  Impossibility of distributed consensus with one faulty process , 1985, JACM.

[60]  Nancy A. Lynch,et al.  Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services , 2002, SIGA.

[61]  Martin Kleppmann,et al.  A Critique of the CAP Theorem , 2015, ArXiv.

[62]  Jerry Alan Fails,et al.  Interactive machine learning , 2003, IUI '03.

[63]  Peter J. Denning,et al.  Remaining trouble spots with computational thinking , 2017, Commun. ACM.

[64]  Mike Stieff,et al.  Connected Chemistry—Incorporating Interactive Simulations into the Chemistry Classroom , 2003 .

[65]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[66]  R. Benjamin Shapiro,et al.  Tangible Distributed Computer Music for Youth , 2017, Computer Music Journal.

[67]  Eitan M. Gurari,et al.  Introduction to the theory of computation , 1989 .

[68]  Ulrike Stege,et al.  Quantum Computing for High-School Students An Experience Report , 2020, 2020 IEEE International Conference on Quantum Computing and Engineering (QCE).

[69]  R. Feynman Simulating physics with computers , 1999 .