In the rapidly evolving field of computerscience education, there is an increasing demand for a comprehensive coding platform that caters to the needs of both college students and educators Although the educational s...
详细信息
ISBN:
(纸本)9789819713288;9789819713295
In the rapidly evolving field of computerscience education, there is an increasing demand for a comprehensive coding platform that caters to the needs of both college students and educators Although the educational setting is vital in exposing students to computerprogramming, current coding practices are frequently unsatisfactory because evaluating proposed solutions takes a lot of time. The aim of this research paper is to develop an integrated web-based coding platform called "CodeConnect". This platform offers a flexible ecosystem for coding practice, assessment, and collaborative learning, with the goal of empowering educators and learners alike. It acts as a database of programming problems, providing opportunities for training, practice, and tracking of progress. Our web application aims to create a supportive community that promotes collaboration, skill development, and a passion for coding by bridging the gap between students and educators.
Programmers rely on the recognition and utilization of reoccurring code sequences to understand and create code. Knowledge of these sequences - programming plans - has been shown to be a factor that differentiates nov...
详细信息
ISBN:
(纸本)9781450394314
Programmers rely on the recognition and utilization of reoccurring code sequences to understand and create code. Knowledge of these sequences - programming plans - has been shown to be a factor that differentiates novice programmers from experts. Although the information on the development of programming plans would be beneficial to both teachers and students, explicitly following their development over a longer time period is scarce. In this article, we describe an easy-to-apply methodology for monitoring the development of programming plans. The development of programming plans is evaluated with time-constrained code recall tasks, where students are shown snippets of code for a short period of time, after which they write the snippets they saw. To determine the existence of programming plans, the short duration is designed so that reading the shown code is not feasible in the given time period. We demonstrate the methodology through an experiment in which we studied the development of programming plans in students in a beginner web programming course.
have garnered significant attention in the academic community. Previous research has evaluated these LLMs for various applications such as generating programming exercises and solutions. However, these evaluations hav...
详细信息
ISBN:
(纸本)9798400716195
have garnered significant attention in the academic community. Previous research has evaluated these LLMs for various applications such as generating programming exercises and solutions. However, these evaluations have predominantly been conducted by instructors and researchers, not considering the actual usage of LLMs by students. This study adopts a student-first approach to comprehensively understand how undergraduate computerscience students utilize ChatGPT, a popular LLM, released by OpenAI. We employ a combination of student surveys and interviews to obtain valuable insights into the benefits, challenges, and suggested improvements related to ChatGPT. Our findings suggest that a majority of students (over 57%) have a convincingly positive outlook towards adopting ChatGPT as an aid in coursework-related tasks. However, our research also highlights various challenges that must be resolved for long-term acceptance of ChatGPT amongst students. The findings from this investigation have broader implications and may be applicable to other LLMs and their role in computing education.
While educational researchers in various disciplines are grappling with how to develop policies and pedagogical approaches that address the use of generative artificial intelligence, the challenge is particularly comp...
详细信息
ISBN:
(纸本)9798400705328
While educational researchers in various disciplines are grappling with how to develop policies and pedagogical approaches that address the use of generative artificial intelligence, the challenge is particularly complex in computerscience education where the new technology is changing the core of the field. In this paper, we take a look at the pedagogy of other subjects with a longer history than computerscience and a more extensive body of educational research to collect insights on how this challenge can be met. We begin by drawing from recent neurological research to find domains that share cognitive commonalities with computerprogramming and then build upon comparisons that others have made to literacy and mathematics education. We then consider how the "reading wars" and "math wars" have shaped these fields, which we see as conflicts between less effective top-down pedagogy and more effective bottom-up pedagogy, and reflect on what would be comparable approaches in teaching computing. We find that approaches that make heavy use of large language models without teaching fundamentals can be compared to the top-down pedagogy of reading and mathematics and are likely to be ineffective on their own. Therefore, we advise against the exclusive use of such approaches with novices. However, we also acknowledge that the social science surrounding computerscience education is complex and that effectiveness only tells a part of the story, with other factors such as engagement, motivation and social dynamics also being important.
Background and Context: During online learning, it is essential to provide instructional guidance to support learning. However, guidance can be given in different forms and quantities. Thus, one important challenge is...
详细信息
Background and Context: During online learning, it is essential to provide instructional guidance to support learning. However, guidance can be given in different forms and quantities. Thus, one important challenge is to provide the right amount and type of instructional guidance. Objective: The aim of the study is to investigate types of guidance which are effective for students with heterogenous programming knowledge and skills solving programming tasks in a remote laboratory. Method: We carried out two studies with a single factor pre-post-design with guidance (basic/enhanced) as a between-subjects factor. Findings: In study 1, we implemented enhanced guidance in the form of prompts in the introduction to the tasks. Whereas we found no differences in learning outcome or extraneous cognitive load, students in the enhanced guidance group reported less intrinsic motivation, and logfiles revealed a lower programming performance. In study 2, we implemented enhanced guidance in the form of adaptive just-in-time explanations for error streaks. Enhanced guidance led to a lower extraneous cognitive load, and this way increased learning outcome.
The integration of AI assistants, especially through the development of Large Language Models (LLMs), into computerscience education has sparked significant debate, highlighting both their potential to augment studen...
详细信息
ISBN:
(纸本)9798400706332
The integration of AI assistants, especially through the development of Large Language Models (LLMs), into computerscience education has sparked significant debate, highlighting both their potential to augment student learning and the risks associated with their misuse. An emerging body of work has looked into using LLMs in education, primarily focusing on evaluating the performance of existing models or conducting short-term human subject studies. However, very little work has examined the impacts of LLM-powered assistants on students in entry-level programming courses, particularly in real-world contexts and over extended periods. To address this research gap, we conducted a semester-long, between-subjects study with 50 students using CodeTutor, an LLM-powered assistant developed by our research team. Our study results show that students who used CodeTutor (the "CodeTutor group" as the experimental group) achieved statistically significant improvements in their final scores compared to peers who did not use the tool (the "control group"). Within the CodeTutor group, those without prior experience with LLM-powered tools demonstrated significantly greater performance gain than their counterparts. We also found that students expressed positive feedback regarding CodeTutor's capability to comprehend their queries and assist in learning programming language syntax. However, they had concerns about CodeTutor's limited role in developing critical thinking skills. Over the course of the semester, students' agreement with CodeTutor's suggestions decreased, with a growing preference for support from traditional human teaching assistants. Our findings also show that students turned to CodeTutor for different tasks, including programming task completion, syntax comprehension, and debugging, particularly seeking help for programming assignments. Our analysis further reveals that the quality of user prompts was significantly correlated with CodeTutor's response effectiveness.
The design of a certified program for the Karatsuba method to multiply univariate polynomials is described. A machine-checked proof of the equivalence between the simplest method for polynomial multiplication and the ...
详细信息
The design of a certified program for the Karatsuba method to multiply univariate polynomials is described. A machine-checked proof of the equivalence between the simplest method for polynomial multiplication and the Karatsuba method is implemented. This is a small part of the DoCon-A library of certified computer algebra programs designed by the author of this paper. The equivalence is proved for an arbitrary commutative ring of coefficients, and our library includes a certified generation of commutative ring structure for domain R[x] of polynomials over any commutative ring R. The programs in the DoCon-A system include definitions of the corresponding mathematical concepts and proofs for the main properties of the methods implemented. These proofs are checked by the compiler. The purely functional programming language Agda, which supports dependent types, is used. General principles of designing certified programs in Agda are considered. A comparison with another approach to certified programming of the Karatsuba method is carried out.
The COVID-19 pandemic has significantly impacted education worldwide and higher education institutions have seen a sudden shift to remote learning. Students have experienced various negative consequences from this eme...
详细信息
Evolving LLVM IR is widely applicable, with LLVM Clang offering support for an increasing range of computer hardware and programming languages. Local search mutations are used to hill climb industry C code released to...
详细信息
ISBN:
(纸本)9783031295720;9783031295737
Evolving LLVM IR is widely applicable, with LLVM Clang offering support for an increasing range of computer hardware and programming languages. Local search mutations are used to hill climb industry C code released to support geographic open standards: Open Location Code (OLC) from Google and Uber's Hexagonal Hierarchical Spatial Index (H3), giving up to two percent speed up on compiler optimised code.
In recent years, particularly with the Ethereum blockchain's advent, smart contracts have gained significant interest as a means of regulating exchanges among multiple parties via code. This surge has prompted the...
详细信息
In recent years, particularly with the Ethereum blockchain's advent, smart contracts have gained significant interest as a means of regulating exchanges among multiple parties via code. This surge has prompted the emergence of various smart contract (SC) programming languages, each possessing distinct philosophies, grammatical structures, and components. Consequently, developers are increasingly involved in SC programming. However, these languages are platform specific, implying that a transition to another platform necessitates the use of different languages. Additionally, developers require a certain level of control over SCs to address encountered bugs and ensure maintenance. To address these developer-centric challenges, this paper presents SCEditor, a novel Eclipse Sirius-based prototype editor designed for the visualization, design, and creation of SCs. The editor proposes a means of standardizing the usage of SC programming languages through the incorporation of graphical syntax and a metamodel conforming to Model-Driven Engineering (MDE) principles and SC construction rules to generate an abstract SC model. The efficacy of this editor is demonstrated through testing on a voting SC written in Vyper and Solidity languages. Furthermore, the editor holds potential for future exploitation in model transformation and code generation for various SC languages.
暂无评论