The Miller-Rabin test is a useful probabilistic method for finding large primes. In this paper, we explain the method in detail and give three variations on this test. These variations were originally developed as student projects to supplement a course in error correcting codes and cryptography.

This paper describes Alkaline, a size-reduced version of Kyber, which has recently been announced as a prototype NIST standard for post-quantum public-key cryptography. While not as simple as RSA, I believe that Alkaline can be used in an undergraduate classroom to effectively teach the techniques and principles behind Kyber and post-quantum…

Automatically identifying struggling students learning to program can assist teachers in providing timely and focused help. This work presents a new deep-learning language model for predicting "bug-fix-time", the expected duration between when a software bug occurs and the time it will be fixed by the student. Such information can guide…

The present study evaluated the effects of a combined form of written corrective feedback (WCF) on English as a foreign language (EFL) students' writing accuracy. The combined WCF consisted of unfocused error-code WCF and focused metalinguistic explanation. Different forms of WCF were administered to two groups of Japanese EFL students in two…

Software is an integral part of our lives. It controls the cars we drive every day, the ships we send into space, and even our toasters. It is everywhere and we can easily download more. Software solves many real-world problems and satisfies many needs. Thus, unsurprisingly, there is a rising demand for software engineers to maintain existing…

This paper reports on a study exploring English language teachers' stated beliefs on coded unfocused corrective feedback in improving learners' writing accuracy at King Abdulaziz University (KAU). A questionnaire with both closed and open ended items was taken by ten participants. The results of the study indicate that many participants in the…

This study describes the development and structure of a coding scheme for analysing solutions to well-structured problems in terms of cognitive processes and problem-solving deficiencies for first-year engineering students. A task analysis approach was used to assess students' problem solutions using the hierarchical structure from a…

Although feedback is often seen as a critical component of the learning process, many open questions about how specific feedback features contribute to the effectiveness of feedback remain--especially in regards to peer feedback of writing. Nelson and Schunn (2009) identified several important features of peer feedback in their nature of feedback…

Natural language contains disfluencies and errors. Do listeners simply discard information that was clearly produced in error, or can erroneous material persist to affect subsequent processing? Two experiments explored this question using a structural priming paradigm. Speakers described dative-eliciting pictures after hearing prime sentences that…

Effectively exploring the efficacy of synchronous computer-mediated communication (SCMC) for pedagogical purposes can be achieved through the careful investigation of potentially beneficial, inherent attributes of SCMC. This study provides empirical evidence for the capacity of task-based SCMC to draw learner attention to linguistic forms by…

This paper reports on a small-scale study into the effects of uncoded correction (writing the correct forms above each error) and coded annotations (writing symbols that encourage learners to self-correct) on Colombian university-level EFL learners' written work. The study finds that while both coded annotations and uncoded correction appear to…

The Java Intelligent Tutoring System (JITS) research project explored the power of a new approach to supporting beginner Java programming students. Using Java's grammar as the core of its production rule base, JITS is embedded with extra functionality to detect, predict and correct lexicographical errors in students' code. This additional…