Introduction to Concurrent Programming in C: An Open Course Book With Program Visualizations

Authors: Strmbck, Filip

Source: Proceedings of the 57th ACM Technical Symposium on Computer Science Education V.2. :1537-1538

Availability: http://dl.acm.org/doi/10.1145/3770761.3777196

'Hear' and 'Play' Students Misconceptions on Concurrent Programming Using Sonic Pi

Authors: Daniele Traversaro, Giorgio Delzanno, Giovanna Guerrini

Source: Informatics in Education. 2024 23(3):679-718.

Peer Reviewed: Y

Page Count: 40

Descriptors: Misconceptions, Programming Languages, Computer Science Education, Undergraduate Students, Introductory Courses, Teamwork, Difficulty Level, Comparative Analysis, Intervention, Teaching Methods, Music, Coding, Transfer of Training, Computer Software, Task Analysis, Student Attitudes, Programming

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Authors: Din, Crystal Chang, Hähnle, Reiner, Henrio, Ludovic, Johnsen, Einar Broch, Pun, Violet Ka I, Tarifa, S. Lizeth Tapia

Source: ACM Transactions on Programming Languages and Systems. 46(1):1-58

Availability: http://dl.acm.org/doi/10.1145/3648439

Research on Mutual Exclusion and Condition Synchronization in Concurrent Programming

Authors: Yang, Ling

Source: 2021 3rd International Academic Exchange Conference on Science and Technology Innovation (IAECST) Science and Technology Innovation (IAECST), 2021 3rd International Academic Exchange Conference on. :745-749 Dec, 2021

Relation: 2021 3rd International Academic Exchange Conference on Science and Technology Innovation (IAECST)

Introduction to Concurrent Programming

Authors: Capel Tuñón, Manuel Isidoro

Source: Concurrent and Real-time Programming ISBN: 9783031852329
Digibug. Repositorio Institucional de la Universidad de Granada
instname

Subject Terms: Concurrent properties verification, Concurrent Programming, Hoare Program Logic, Semaphores

Access URL: https://hdl.handle.net/10481/107358

Go vs. Java: A Detailed Performance Analysis in Concurrent Programming

Authors: Morshed, Md. Neaz, Roy, Prince

Source: 2024 1st International Conference on Advances in Computing, Communication and Networking (ICAC2N) Advances in Computing, Communication and Networking (ICAC2N), 2024 1st International Conference on. :1800-1804 Dec, 2024

Relation: 2024 1st International Conference on Advances in Computing, Communication and Networking (ICAC2N)

Dependent Session Types for Verified Concurrent Programming

Authors: Fu, Qiancheng, Xi, Hongwei, Das, Ankush

Subject Terms: Programming Languages

Access URL: http://arxiv.org/abs/2510.19129

Fusing Session-Typed Concurrent Programming into Functional Programming

Authors: Sano, Chuta, Garg, Deepak, Kavanagh, Ryan, Pientka, Brigitte, Toninho, Bernardo

Source: Proceedings of the ACM on Programming Languages. 9(ICFP):435-462

Availability: http://dl.acm.org/doi/10.1145/3747519

Parallelism and Concurrent Programming

Authors: Jason Gregory

Source: Game Engine Architecture ISBN: 9781003371519

An experimental evaluation of tools for grading concurrent programming exercises

Authors: Barros, Manuel, Ramos, Maria, Gomes, Alexandre, Cunha, Alcino, Pereira, José, Almeida, Paulo Sérgio

Contributors: Universidade do Minho

Subject Terms: Concurrent programming, e-Learning, Testing, Verification

File Description: application/pdf

Relation: 978-3-031-35354-3; 0302-9743

Availability: https://hdl.handle.net/1822/89231

Concurrent Programming: Algorithms, Principles, and Foundations

Authors: Michel Raynal

Resource Type: eBook.

Subjects: Parallel programming (Computer science)--Distributed processing, Electronic data processing, Computer multitasking

Categories: COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages

Authors: Vidal, Germán

Source: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing. :1132-1139

Availability: http://dl.acm.org/doi/10.1145/3605098.3636051

Concurrent Programming in General Coding Interviews

Authors: Liu, Bonan^Aff2

Contributors: Liu, Bonan^Aff1

Source: Concurrent Programming Interviews : A Practical Guide to Becoming the Standout Candidate. :215-246

Fundamentals of Concurrent Programming for Technical Interviews

Authors: Liu, Bonan^Aff2

Contributors: Liu, Bonan^Aff1

Source: Concurrent Programming Interviews : A Practical Guide to Becoming the Standout Candidate. :1-21

Multithreading in Java: Techniques for Concurrent Programming

Authors: Ashok Lama Software Engineer

Subject Terms: Java, Multithreading, Concurrency, Thread Lifecycle, Synchronization, ExecutorService, Race Conditions, Deadlock, Performance Optimization, Concurrent Programming

Improving parallel and concurrent programming in FreeST

Authors: Lopes, Guilherme João Correia

Contributors: Rodrigues, Andreia Filipa Torcato Mordido, Vasconcelos, Vasco Manuel Thudichum de Serpa, Repositório Científico de Acesso Aberto da ULisboa

Source: urn:tid:203741170

Subject Terms: Tipos de sessão, Concorrência, Problemas embaraçosamente paralelos, Futuros, Streams, Teses de mestrado - 2024

File Description: application/pdf

Availability: http://hdl.handle.net/10400.5/95630

Actors and Blockchains, Together

Authors: Chen, Xiaohong^Aff10, Rosu, Grigore^{Aff10, Aff11}

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Meseguer, Jose, editor^Aff7, Varela, Carlos A., editor^Aff8, Venkatasubramanian, Nalini, editor^Aff9

Source: Concurrent Programming, Open Systems and Formal Methods : Essays Dedicated to Gul Agha to Celebrate His Scientific Career. 16120:215-236

Concurrent Programming, Open Systems and Formal Methods: Essays Dedicated to Gul Agha to Celebrate His Scientific Career

Source: Lecture Notes in Computer Science ISBN: 9783032052902

ForkSim: animation of programs to support the learning of concurrent programming

Authors: Farina, Daniel Augusto Rodrigues

Contributors: Pereira, Maria João, Rufino, José, Campiolo, Rodrigo, Biblioteca Digital do IPB

Source: urn:tid:203666550

Subject Terms: E-Learning tool, Operating system, System programming, Code instrumentation, Inspector functions, BPMN

File Description: application/pdf

Availability: http://hdl.handle.net/10198/30102

Evaluation of LLM Tools for Feedback Generation in a Course on Concurrent Programming

Authors: Iria Estévez-Ayres (ORCID 0000-0002-1047-5398), Patricia Callejo (ORCID 0000-0001-6124-6213), Miguel Ángel Hombrados-Herrera (ORCID 0000-0002-8254-8795), Carlos Alario-Hoyos (ORCID 0000-0002-3082-0814), Carlos Delgado Kloos (ORCID 0000-0003-4093-3705)

Source: International Journal of Artificial Intelligence in Education. 2025 35(2):774-790.

Peer Reviewed: Y

Page Count: 17

Descriptors: Artificial Intelligence, Natural Language Processing, Computer Mediated Communication, Technology Uses in Education, Educational Technology, Feedback (Response), Computer Science Education, Programming, College Students, Error Patterns, Student Evaluation, Evaluation Methods, Accuracy