In Search of Quietude.

Authors: Neville-Neil, George V.¹ (AUTHOR) kv@acm.org

Source: Communications of the ACM. Oct2025, Vol. 68 Issue 10, p22-23. 2p.

Subject Terms: *COMPUTER programming, *TIME management, QUIETUDE

Program Correctness through Self-Certification.

Authors: Namjoshi, Kedar S.¹ (AUTHOR) kedar.namjoshi@nokia-bell-labs.com, Zuck, Lenore D.² (AUTHOR) zuck@uic.edu

Source: Communications of the ACM. Feb2025, Vol. 68 Issue 2, p74-84. 11p.

Subject Terms: *COMPUTER programming, *COMPUTERS, *COMPUTER systems, *SCALABILITY, *SYSTEMS design, *COMPUTER software, COMPUTER software testing, SOFTWARE verification

Asleep at the Keyboard? Assessing the Security of GitHub Copilot's Code Contributions.

Authors: Pearce, Hammond¹ (AUTHOR) hammond.pearce@nyu.edu, Ahmad, Baleegh¹ (AUTHOR) ba1283@nyu.edu, Tan, Benjamin² (AUTHOR) benjamin.tan1@ucalgary.ca, Dolan-Gavitt, Brendan¹ (AUTHOR) brendang@nyu.edu, Karri, Ramesh¹ (AUTHOR) rkarri@nyu.edu

Source: Communications of the ACM. Feb2025, Vol. 68 Issue 2, p96-105. 10p.

Subject Terms: *COMPUTER programming, *COMPUTER security vulnerabilities, *PROGRAMMING languages, HUMAN-artificial intelligence interaction

Company/Entity: GITHUB Inc.

What Is Programming?

Authors: Nicolajsen, Sebastian¹ (AUTHOR) sebni@itu.dk, Brabrand, Claus¹ (AUTHOR) brabrand@itu.dk

Source: Communications of the ACM. Jun2025, Vol. 68 Issue 6, p28-30. 3p.

Subject Terms: *COMPUTER programming, *COMPUTER programmers, *PROBLEM solving, GENERATIVE artificial intelligence, DEFINITIONS

Deterministic Record-and-Replay.

Authors: Quinn, Andrew¹ (AUTHOR) aquinn1@ucsc.edu, Alvaro, Peter² (AUTHOR) palvaro@ucsc.edu

Source: Communications of the ACM. May2025, Vol. 68 Issue 5, p32-34. 3p.

Subject Terms: *DEFECT tracking (Computer software development), *COMPUTER programming, *INTERNET servers, COMPUTER debugging software, CLOUD computing, GRAPHICS processing units, MACHINE learning

Development of the Cognitive Programming Engagement (CPE) Scale: A Learning Strategy.

Authors: Mahatanankoon, Pruthikrai¹ pmahata@ilstu.edu, Wolf, James R.¹ jrwolf@ilstu.edu

Source: Journal of Information Systems Education. Fall2025, Vol. 36 Issue 4, p400-416. 17p.

Subject Terms: *COMPUTER programming, *MATHEMATICS, LEARNING strategies, BLOOM'S taxonomy, TEACHING methods, INFORMATION technology education, STUDENT engagement

Proof Scores: A Survey.

Authors: Riesco, Adrián¹ (AUTHOR) ariesco@ucm.es, Ogata, Kazuhiro² (AUTHOR) ogata@jaist.ac.jp, Nakamura, Masaki³ (AUTHOR) masaki-n@pu-toyama.ac.jp, Gaina, Daniel⁴ (AUTHOR) daniel@imi.kyushu-u.ac.jp, Tran, Duong Dinh² (AUTHOR) duongtd@jaist.ac.jp, Futatsugi, Kokichi² (AUTHOR) futatsugi@jaist.ac.jp

Source: ACM Computing Surveys. Oct2025, Vol. 57 Issue 10, p1-37. 37p.

Subject Terms: *COMPUTER programming, *COMPUTER security, *PROGRAMMING languages, *DATA structures, MODELING languages (Computer science), SYMBOLIC computation, HOMOMORPHISMS, SOFTWARE verification, GRAPH labelings

Can't We Have Nice Things?

Authors: Neville-Neil, George V.¹ (AUTHOR) kv@acm.org

Source: Communications of the ACM. Aug2025, Vol. 68 Issue 8, p24-25. 2p.

Subject Terms: *COMPUTER programming, *COMPUTER programmers, CODING theory

On Program Synthesis and Large Language Models.

Authors: Hüttel, Hans^1,2 (AUTHOR) hans.huttel@di.ku.dk

Source: Communications of the ACM. Jan2025, Vol. 68 Issue 1, p33-35. 3p.

Subject Terms: *COMPUTER programming, *ARTIFICIAL intelligence, *PROGRAMMING languages, *COMPUTER science, COMPUTATIONAL complexity

Encoding Emotions: gamificación y pensamiento computacional para trabajar la inteligencia emocional en educación primaria

Authors: Sánchez Camacho, Rafael

Contributors: University/Department: Universitat de Barcelona. Facultat d'Educació

Thesis Advisors: Grané, Mariona

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Intel·ligència emocional, Inteligencia emocional, Emotional intelligence, Ludificació, Gamificación, Gamification, Educació primària, Educación primaria, Primary education, Programació (Ordinadors), Programación de ordenadores, Computer programming, Ciències de l'Educació

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/692468

Utilizing AI to Extract Emotional Information from Learners to Enhance Online Learning Experience

Authors: Yi, Yankun, Wu, Xianjun

Source: 2025 International Conference on IOT, Data Science and Advanced Computing (IDSAC) IOT, Data Science and Advanced Computing (IDSAC), 2025 International Conference on. :196-202 Jul, 2025

Relation: 2025 International Conference on IOT, Data Science and Advanced Computing (IDSAC)

Evaluation of a new job training program: Code Louisville.

Authors: Bollinger, Christopher R.¹ (AUTHOR), Troske, Kenneth R.¹ (AUTHOR) ktroske@uky.edu

Source: Journal of Policy Analysis & Management. Jul2025, p1. 26p. 10 Illustrations.

Subject Terms: *COMPUTER software development, *OCCUPATIONAL achievement, *OCCUPATIONAL training, *LABOR bureaus, COMPUTER programming education, MENTORING, ONLINE education

Exploring the complex interplay among middle schoolers’ prior coding experience, computational thinking attitudes and skills: a multiple moderated mediation analysis.

Authors: Wang, Qin¹ (AUTHOR), Lu, Chang² (AUTHOR) chang.lu@sjtu.edu.cn, Chen, Fu³ (AUTHOR), Liu, Xueliang² (AUTHOR), Zhao, Qin¹ (AUTHOR)

Source: Journal of Research on Technology in Education. Jul2025, p1-18. 18p. 4 Illustrations.

Subject Terms: *EXPERTISE, *PROBLEM solving, MIDDLE school students, COMPUTER programming education, PSYCHOLOGICAL factors, ATTITUDE (Psychology), MEDIATION (Statistics)

TUTORIA REMOTA: UMA ESTRATÉGIA EFICAZ PARA APRIMORAR O ENSINO DE PROGRAMAÇÃO EM ENGENHARIA.

Alternate Title: Remote tutoring: an effective strategy to improve programming education in engineering.
Tutoría remota: una estrategia eficaz para mejorar la enseñanza de programación en ingeniería.

Authors: Duarte, Riam Ferreira Lopes¹ riamlopes98@outlook.com, Longhini, Tatielle Menolli¹ tatielle.longhini@gmail.com, de Souza Toledo, Buno¹ bruno.toledo@ifmg.edu.br

Source: Brazilian Journal of Production Engineering / Revista Brasileira de Engenharia de Produção. jul-sep2025, Vol. 11 Issue 3, p259-272. 14p.

Subject Terms: *ENGINEERING, *TUTORING services, *TUTORS & tutoring, COMPUTER programming education, ACADEMIC achievement, SCHOOL dropouts, DROPOUT rates (Education)

Adventure RPG: A Text Adventure Game for an Introductory Java Programming Course.

Authors: Kinnett, Seth J.¹ seth.kinnett@colostate.edu, Shinedling, Tatum¹ tatum.shinedling@colostate.edu, Sunset, Ben¹ ben.sunset24@alumni.colostate.edu

Source: Journal of Information Systems Education. Summer2025, Vol. 36 Issue 3, p209-223. 15p.

Subject Terms: *COMPUTER programming, *OBJECT-oriented programming, ADVENTURE games, STUDENT activities, STUDENT surveys

Deep Learning Library Testing: Definition, Methods and Challenges.

Authors: Zhang, Xiaoyu¹ (AUTHOR) zxy0927@stu.xjtu.edu.cn, Jiang, Weipeng² (AUTHOR) lenijwp@stu.xjtu.edu.cn, Shen, Chao² (AUTHOR) chaoshen@mail.xjtu.edu.cn, Li, Qi³ (AUTHOR) qli01@tsinghua.edu.cn, Wang, Qian⁴ (AUTHOR) qianwang@whu.edu.cn, Lin, Chenhao² (AUTHOR) linchenhao@xjtu.edu.cn, Guan, Xiaohong² (AUTHOR) xhguan@mail.xjtu.edu.cn

Source: ACM Computing Surveys. Jul2025, Vol. 57 Issue 7, p1-37. 37p.

Subject Terms: *SOFTWARE libraries (Computer programming), LIBRARY storage centers, COMPUTER software testing, COMPUTER software security, LIBRARY software, COMPILERS (Computer programs), DEEP learning

Better Differentially Private Approximate Histograms and Heavy Hitters using the Misra-Gries Sketch.

Authors: Lebeda, Christian Janos¹ (AUTHOR) christian.j.lebeda@gmail.com, Tetek, Jakub² (AUTHOR) j.tetek@gmail.com

Source: ACM Transactions on Database Systems. Sep2025, Vol. 50 Issue 3, p1-26. 26p.

Subject Terms: *COMPUTER programming, *COMPUTER network monitoring, DATA privacy, REAL numbers, LAPLACE distribution

小学信息科技课堂中 "纸质流程图" 辅助编程教学的实践探索.

Authors: 毛向敏¹

Source: China Pulp & Paper Industry. 2025, Vol. 46 Issue 11, p136-138. 3p.

Subject Terms: *FLOW charts, COMPUTER programming education, PRIMARY schools

'Vibe coding' your own apps with AI is easy! 7 tools and tricks to get started.

Authors: SMITH, MATTHEW S. (AUTHOR)

Source: PCWorld. Aug2025, Vol. 43 Issue 8, p89-94. 6p. 3 Color Photographs, 3 Diagrams.

Subject Terms: *COMPUTER programming, PYTHON programming language, JAVASCRIPT programming language, SOFTWARE development tools, CHATBOTS, ARDUINO (Microcontroller)

The deal.II library, version 9.7.

Authors: Arndt, Daniel¹ (AUTHOR) arndtd@ornl.gov, Bangerth, Wolfgang^2,3 (AUTHOR) bangerth@colostate.edu, Bergbauer, Maximilian⁴ (AUTHOR) maximilian.bergbauer@tum.de, Blais, Bruno⁵ (AUTHOR) bruno.blais@polymtl.ca, Fehling, Marc⁶ (AUTHOR) marc.fehling@matfyz.cuni.cz, Gassmöller, Rene⁷ (AUTHOR) rgassmoeller@geomar.de, Heister, Timo⁸ (AUTHOR) heister@clemson.edu, Heltai, Luca⁹ (AUTHOR) luca.heltai@unipi.it, Kronbichler, Martin¹⁰ (AUTHOR) martin.kronbichler@rub.de, Maier, Matthias¹¹ (AUTHOR) maier@math.tamu.edu, Munch, Peter¹² (AUTHOR) muench@math.tu-berlin.de, Scheuerman, Sam² (AUTHOR) sam.scheuerman@colostate.edu, Turcksin, Bruno¹ (AUTHOR) turcksinbr@ornl.gov, Uzunbajakau, Siarhei¹³ (AUTHOR) info@cembooks.nl, Wells, David¹⁴ (AUTHOR) drwells@email.unc.edu, Wichrowski, Michał¹⁵ (AUTHOR) mt.wichrowsk@uw.edu.pl

Source: Journal of Numerical Mathematics. Dec2025, Vol. 33 Issue 4, p403-415. 13p.

Subject Terms: *SCIENTIFIC computing, *SOFTWARE libraries (Computer programming), *MATHEMATICAL analysis, *SOFTWARE engineering, *NUMERICAL analysis