Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space

• URL: http://arxiv.org/abs/2207.12703v1
• Date: Tue, 26 Jul 2022 07:47:22 GMT
• Title: Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space
• Authors: Kevin Kappelmann (Technical University of Munich), Jonas R\"adle (Technical University of Munich), Lukas Stevens (Technical University of Munich)
• Abstract summary: COVID-19 pandemic requires institutions to radically replace the traditional way of on-site teaching. We report on our strategies and experience tackling these issues as part of a Haskell-based functional programming and verification course.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Worldwide, computer science departments have experienced a dramatic increase in the number of student enrolments. Moreover, the ongoing COVID-19 pandemic requires institutions to radically replace the traditional way of on-site teaching, moving interaction from physical to virtual space. We report on our strategies and experience tackling these issues as part of a Haskell-based functional programming and verification course, accommodating over 2000 students in the course of two semesters. Among other things, we fostered engagement with weekly programming competitions and creative homework projects, workshops with industry partners, and collaborative pair-programming tutorials. To offer such an extensive programme to hundreds of students, we automated feedback for programming as well as inductive proof exercises. We explain and share our tools and exercises so that they can be reused by other educators.

Related papers

• Ten Years of Teaching Empirical Software Engineering in the context of Energy-efficient Software [12.26887943861433]
  We share our experience in running ten editions of the Green Lab course at the Vrije Universiteit Amsterdam, the Netherlands. The course is given in the Software Engineering and Green IT track of the Computer Science Master program of the VU.
  arXiv  Detail & Related papers  (2024-07-08T07:44:49Z)
• Beyond the Hype: A Cautionary Tale of ChatGPT in the Programming Classroom [0.0]
  The paper provides insights for academics who teach programming to create more challenging exercises and how to engage responsibly in the use of ChatGPT to promote classroom integrity. We analyzed the various practical programming examples from past IS exercises and compared those with memos created by tutors and lecturers in a university setting.
  arXiv  Detail & Related papers  (2024-06-16T23:52:37Z)
• Bridging Theory to Practice in Software Testing Teaching through Team-based Learning (TBL) and Open Source Software (OSS) Contribution [3.190574537106449]
  This paper presents a teaching approach for a software testing course that integrates theory and practical experience. The paper reports on our experience implementing the pedagogical approach over four consecutive semesters of a Software Testing course within an undergraduate Software Engineering program.
  arXiv  Detail & Related papers  (2024-04-16T21:16:17Z)
• Experiential Co-Learning of Software-Developing Agents [83.34027623428096]
  Large language models (LLMs) have brought significant changes to various domains, especially in software development. We introduce Experiential Co-Learning, a novel LLM-agent learning framework. Experiments demonstrate that the framework enables agents to tackle unseen software-developing tasks more effectively.
  arXiv  Detail & Related papers  (2023-12-28T13:50:42Z)
• Introducing High School Students to Version Control, Continuous Integration, and Quality Assurance [0.0]
  Two high school students volunteered in our lab at Wayne State University where I'm a graduate research assistant and Ph.D. student in computer science. The students had taken AP Computer Science but had no prior experience with software engineering or software testing. This paper documents our experience devising a group project to teach the requisite software engineering skills to implement automated tests.
  arXiv  Detail & Related papers  (2023-10-05T21:44:11Z)
• Giving Feedback on Interactive Student Programs with Meta-Exploration [74.5597783609281]
  Developing interactive software, such as websites or games, is a particularly engaging way to learn computer science. Standard approaches require instructors to manually grade student-implemented interactive programs. Online platforms that serve millions, like Code.org, are unable to provide any feedback on assignments for implementing interactive programs.
  arXiv  Detail & Related papers  (2022-11-16T10:00:23Z)
• Building an Effective Automated Assessment System for C/C++ Introductory Programming Courses in ODL Environment [0.0]
  Traditional ways of assessing students' work are becoming insufficient in terms of both time and effort. In distance education environment, such assessments become additionally more challenging in terms of hefty remuneration for hiring large number of tutors. We identify different components that we believe are necessary in building an effective automated assessment system.
  arXiv  Detail & Related papers  (2022-05-24T09:20:43Z)
• TecCoBot: Technology-aided support for self-regulated learning [52.77024349608834]
  Self-study activities can increase the degree of activity and the contribution of self-study activities to the achievement of learning outcomes. Especially in times of a global pandemic, self-study activities are increasingly executed at home, where students already use technology-enhanced materials, processes, and digital platforms.
  arXiv  Detail & Related papers  (2021-11-23T13:50:21Z)
• Distributed Deep Learning in Open Collaborations [49.240611132653456]
  We propose a novel algorithmic framework designed specifically for collaborative training. We demonstrate the effectiveness of our approach for SwAV and ALBERT pretraining in realistic conditions and achieve performance comparable to traditional setups at a fraction of the cost.
  arXiv  Detail & Related papers  (2021-06-18T16:23:13Z)
• Improving Compositionality of Neural Networks by Decoding Representations to Inputs [83.97012077202882]
  We bridge the benefits of traditional and deep learning programs by jointly training a generative model to constrain neural network activations to "decode" back to inputs. We demonstrate applications of decodable representations to out-of-distribution detection, adversarial examples, calibration, and fairness.
  arXiv  Detail & Related papers  (2021-06-01T20:07:16Z)
• Broader terms curriculum mapping: Using natural language processing and visual-supported communication to create representative program planning experiences [62.997667081978825]
  Communication difficulties between faculty and non-faculty groups leave unexplored an immense collaboration potential. This paper presents a method to deliver program plan representations that are universal, self-explanatory, and empowering.
  arXiv  Detail & Related papers  (2021-02-09T13:27:04Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.