Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

conference paper · IEEE/ACM Workshop on Education for High-Performance Computing (EduHPC) · 2019

Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs

David Marchant, Carl‐Johannes Johnsen, Brian Vinter, Kenneth Skovhede

Cited by 2Abstract and details only

Abstract

This paper describes how a concept-based approach to teaching was used to update how concurrent and distributed systems were taught at the University of Copenhagen. This approach focuses on discussion to drive student engagement whilst fostering a deeper understanding of the presented topics compared to more traditional displays of crude facts. The course is split into three sections: local concurrency, networked concurrency, and concurrency in hardware. This allows for an easier student journey through the course, as they are introduced to all core concepts in the first section, then have them reinforced in greater detail in the subsequent sections. Finally, the experience gained in updating this course is presented so others attempting to do similar may learn from it.

Cite this paper

APA 7

Marchant, D., Johnsen, C., Vinter, B., & Skovhede, K. (2019). Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs. IEEE/ACM Workshop on Education for High-Performance Computing (EduHPC), 95, 49–57. https://doi.org/10.1109/eduhpc49559.2019.00012

MLA 9

Marchant, David, et al. “Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs.” IEEE/ACM Workshop on Education for High-Performance Computing (EduHPC), vol. 95, 2019, pp. 49–57, https://doi.org/10.1109/eduhpc49559.2019.00012.

Chicago

Marchant, David, Carl‐Johannes Johnsen, Brian Vinter, and Kenneth Skovhede. 2019. “Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs.” IEEE/ACM Workshop on Education for High-Performance Computing (EduHPC) 95: 49–57. https://doi.org/10.1109/eduhpc49559.2019.00012.

Harvard

Marchant, D. et al. (2019) ‘Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs’, IEEE/ACM Workshop on Education for High-Performance Computing (EduHPC), 95, pp. 49–57. Available at: https://doi.org/10.1109/eduhpc49559.2019.00012.

BibTeX
@article{marchant2019teaching,
  title = {{Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs}},
  author = {Marchant, David and Johnsen, Carl‐Johannes and Vinter, Brian and Skovhede, Kenneth},
  journal = {IEEE/ACM Workshop on Education for High-Performance Computing (EduHPC)},
  volume = {95},
  pages = {49--57},
  year = {2019},
  doi = {10.1109/eduhpc49559.2019.00012}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.

Related papers