Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs

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 compare...

Full description

Saved in:
Bibliographic Details
Published in:2019 IEEE/ACM Workshop on Education for High-Performance Computing (EduHPC) pp. 49 - 57
Main Authors: Marchant, David, Johnsen, Carl-Johannes, Vinter, Brian, Skovhede, Kenneth
Format: Conference Proceeding
Language:English
Published: IEEE 01.11.2019
Subjects:
Concepts
Concurrent
Concurrent computing
CSP
Education
Hardware
Parallel
Parallel programming
Physics
SME
Software
Teaching
ZeroMQ
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
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.
AbstractList 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.
Author Vinter, Brian
Marchant, David
Skovhede, Kenneth
Johnsen, Carl-Johannes
Author_xml – sequence: 1
  givenname: David
  surname: Marchant
  fullname: Marchant, David
  organization: University of Copenhagen, Niels Bohr Institute, Denmark
– sequence: 2
  givenname: Carl-Johannes
  surname: Johnsen
  fullname: Johnsen, Carl-Johannes
  organization: University of Copenhagen, Niels Bohr Institute, Denmark
– sequence: 3
  givenname: Brian
  surname: Vinter
  fullname: Vinter, Brian
  organization: University of Copenhagen, Niels Bohr Institute, Denmark
– sequence: 4
  givenname: Kenneth
  surname: Skovhede
  fullname: Skovhede, Kenneth
  organization: University of Copenhagen, Niels Bohr Institute, Denmark
BookMark eNotzEtOwzAUhWEjwYAWVoCEvIGUazvxY4hCoUhF7aA8ZpVj3zSWmqRyHCR23xaYnH_y6UzIZdd3SMg9gxljYB7mflysy9wUhZlxYGYGAIxfkAlTXLPCqOLrmnxs0LomdDta9p0bY8QuUdt5-hSGFEM1JvR0HftdtG17Zp8hNb8WD2mgq2-M9M2mBlubgrP7s-3r4YZc1XY_4O1_p-T9eb4pF9ly9fJaPi6zwEGkTAhvFPjcCKjAaVnXSkgvuTJOee6NlBxUBVyjPbXQ3Nn6NGAlOi28FFNy9_cbEHF7iKG18WerTS7AgDgCfpdPlw
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/EduHPC49559.2019.00012
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE/IET Electronic Library
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE/IET Electronic Library
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Education
Physics
EISBN 172815975X
9781728159751
EndPage 57
ExternalDocumentID 8943090
Genre orig-research
GroupedDBID 6IE
6IL
CBEJK
RIE
RIL
ID FETCH-LOGICAL-i203t-33d970d4930b0c86ff736d6279c7d2d966207b028ea07b582caf82c0a6ec83d63
IEDL.DBID RIE
ISICitedReferencesCount 2
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000525883000007&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
IngestDate Thu Jun 29 18:37:57 EDT 2023
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i203t-33d970d4930b0c86ff736d6279c7d2d966207b028ea07b582caf82c0a6ec83d63
PageCount 9
ParticipantIDs ieee_primary_8943090
PublicationCentury 2000
PublicationDate 2019-Nov.
PublicationDateYYYYMMDD 2019-11-01
PublicationDate_xml – month: 11
  year: 2019
  text: 2019-Nov.
PublicationDecade 2010
PublicationTitle 2019 IEEE/ACM Workshop on Education for High-Performance Computing (EduHPC)
PublicationTitleAbbrev EduHPC
PublicationYear 2019
Publisher IEEE
Publisher_xml – name: IEEE
Score 1.7238706
Snippet 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...
SourceID ieee
SourceType Publisher
StartPage 49
SubjectTerms Concepts
Concurrent
Concurrent computing
CSP
Education
Hardware
Parallel
Parallel programming
Physics
SME
Software
Teaching
ZeroMQ
Title Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs
URI https://ieeexplore.ieee.org/document/8943090
WOSCitedRecordID wos000525883000007&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3NT8IwFG-QaOJJBYzf2cGjk64t7XpGCAdFDqjcSNfXRRIdBIZ_v33dgh68eFmb5W1L-pq9dvt9EHKbJCaXDN9-zMlY-AIQpwZ8LxOZhiTrgQmZflTjcTqb6UmD3O24MM65AD5z99gN__Jhabf4qawbtMK136DvKSUrrlZN-k2o7g5gO5r0BUqqIWQLdSgpGk3-ck0JRWN49L_HHZPOD_sumuzqyglpuKKF7so1EqNFDgJs027a5HVagyEjf62tpJYiU0D0gHq4aGXlAO-FEKxPDHtblO8h1q3KTfTs53H0tBNuNR8Y66tih7wMB9P-KK6dEuIFo7yMOQetKAjNaUZtKvNccQmSKW0VMPBbGkZV5pcSzvi2lzJrcn-gRjqbcpD8lDSLZeHOSGR5D5zLhbSKC58oDTyxuV9VqIxzDeKctHGk5qtKDGNeD9LF36cvySGmoiLvXZFmud66a7Jvv8rFZn0TMvgNceyezQ
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3NT8IwFG8IavSkAsZvd_DopGu7dj0jBCMgB1RupOvrIokOAsO_37Zb0IMXL2uzvG1JX7PXbr8PhG6jSGWcuLcfMTxktgCEiQLbS1kqIUpjUD7TAzEaJdOpHNfQ3ZYLY4zx4DNz77r-Xz4s9MZ9Kmt7rXBpN-g7MWMEl2ytivYbYdnuwqY_7jAnquZAW06JEjuryV--Kb5s9A7_98Aj1Prh3wXjbWU5RjWTN5y_coXFaKA9D9zU6yZ6nVRwyMBeq0uxpUDlEDw4RVxnZmXA3cuBsD5d2Nu8ePexZlmsg2c7k4PhVrpVfbhYWxdb6KXXnXT6YeWVEM4JpkVIKUiBgUmKU6wTnmWCcuBESC2AgN3UECxSu5gwyrZxQrTK7AErbnRCgdMTVM8XuTlFgaYxGJMxrgVlNlUSaKQzu64QKaUS2BlqupGaLUs5jFk1SOd_n75B-_3JcDAbPI6eLtCBS0tJ5btE9WK1MVdoV38V8_Xq2mfzG-E6ohQ
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2019+IEEE%2FACM+Workshop+on+Education+for+High-Performance+Computing+%28EduHPC%29&rft.atitle=Teaching+Concurrent+and+Distributed+Programming+With+Concepts+Over+Mathematical+Proofs&rft.au=Marchant%2C+David&rft.au=Johnsen%2C+Carl-Johannes&rft.au=Vinter%2C+Brian&rft.au=Skovhede%2C+Kenneth&rft.date=2019-11-01&rft.pub=IEEE&rft.spage=49&rft.epage=57&rft_id=info:doi/10.1109%2FEduHPC49559.2019.00012&rft.externalDocID=8943090