Name
Abstract | ||
|---|---|---|
With the increasing emphasis on exploiting concurrency efficiently and correctly, the lack of suitable pedagogical material for teaching concurrency is a growing problem. In this paper, we summarize a recently concluded class as well as some independent projects in the area of concurrency and multi-core computing that offer some insights to address this problem. We examine background papers, the teaching of low level concurrency, and the teaching of threading and message passing. The use of dynamic formal verification tools in a class setting is discussed in some detail. We conclude with a summary of pedagogical material being assembled, including exercises from a popular textbook on MPI solved using our dynamic verifier ISP. Our observation is that the teaching of concurrency is greatly facilitated by the use of dynamic push-button formal verification tools that can handle non-trivial concurrent programs. Given the growing number of publications on how to teach concurrency as well as employ new programming approaches, our work addresses the somewhat neglected topic of using modern dynamic formal verification methods within the context of widely used concurrency approaches and libraries. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1145/1639622.1639624 | International Symposium on Software Testing and Analysis |
Keywords | Field | DocType |
mpi,multi-core,dynamic verification,modern dynamic formal verification,memory models,class setting,computer science education,education,concurrency approach,suitable pedagogical material,pthreads,dynamic push-button formal verification,concurrency,dynamic verifier,low level concurrency,dynamic formal verification tool,pedagogical material,teaching concurrency,memory model,message passing,formal verification,multi core | Programming language,Concurrency,Computer science,Multiversion concurrency control,Concurrent object-oriented programming,Distributed concurrency control,Concurrent computing,Non-lock concurrency control,Optimistic concurrency control,Message passing,Distributed computing | Conference |
Citations | PageRank | References |
1 | 0.39 | 21 |
Authors | ||
11 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ganesh Gopalakrishnan | 1 | 1619 | 130.11 |
| Yu Yang | 2 | 121 | 5.95 |
| Sarvani Vakkalanka | 3 | 177 | 11.14 |
| Vo Anh | 4 | 1244 | 91.60 |
| Sriram Aananthakrishnan | 5 | 52 | 3.11 |
| Grzegorz Szubzda | 6 | 5 | 1.17 |
| Geoffrey Sawaya | 7 | 3 | 0.76 |
| Jason Williams | 8 | 1 | 0.39 |
| Subodh Sharma | 9 | 70 | 5.99 |
| Michael Delisi | 10 | 98 | 7.10 |
| Simone Atzeni | 11 | 1 | 0.39 |