Programming Language Seminar Concurrency I-1: Java and C# Memory Models Peter Sestoft Friday

Source URL: www.itu.dk

Notified Access: Extending Remote Memory Access Programming Models for Producer-Consumer Synchronization Roberto Belli, Torsten Hoefler Dept. of Computer Science, ETH Zurich {bellir,htor}@inf.ethz.ch

Source URL: spcl.inf.ethz.ch

• Computing
• Concurrent computing
• Computer programming
• Parallel computing
• Inter-process communication
• Application programming interfaces
• Concurrency
• Message Passing Interface
• Distributed computing architecture
• SHMEM
• Message queue
• Synchronization

How Do Developers Use APIs? A Case Study in Concurrency Stefan Blom Faculty of Electrical Engineering, Mathematics and Computer Science University of Twente

Source URL: wwwhome.ewi.utwente.nl

Call for Papers and Announcement Petri NetsINTERNATIONAL CONFERENCE ON APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY

Source URL: pn2016.mat.umk.pl

Technical Report UCAM-CL-TR-579 ISSNNumber 579

Source URL: www.cl.cam.ac.uk

• Concurrency control
• Computing
• Data management
• Computer architecture
• Non-blocking algorithm
• Lock
• Mutual exclusion
• Linearizability
• Readerswriter lock
• Synchronization
• Software transactional memory
• Memory barrier

CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2009; 21:301–319 Published online 1 September 2008 in Wiley InterScience (www.interscience.wiley.com). DOI: cpe.1359 Top

Source URL: nowlab.cse.ohio-state.edu

• Computing
• Parallel computing
• Computer networks
• Ethernet
• Message Passing Interface
• Computer buses
• InfiniBand
• MVAPICH
• Communications protocol
• Bandwidth
• Routing
• Telecommunications link

Programming Language Seminar Concurrency 2: Lock-free algorithms Peter Sestoft Friday

Source URL: www.itu.dk

A Views: Synthesizing Fine-Grained Concurrency Control BRIAN DEMSKY, University of California, Irvine PATRICK LAM, University of Waterloo Fine-grained locking is often necessary to increase concurrency. Correctly implem

Source URL: patricklam.ca

CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 0000; 00:1–21 Published online in Wiley InterScience (www.interscience.wiley.com). DOI: cpe Testing for Linearizability

Source URL: www.cs.ox.ac.uk

• Concurrency control
• Transaction processing
• Abstract data types
• Linearizability
• Queue
• Schedule
• Double-ended queue
• Algorithm
• Graph traversal
• Continuation
• Non-blocking algorithm

Yuri Breitbart Education • D.Sc. in Computer Science - Computer Science Department, Israel Technological Institute (TECHNION), Haifa, Israel. • MS in Mathematics - Mathematics Department, Moscow Pedagogical Institut

Source URL: www.cs.kent.edu

• Computing
• Data management
• Databases
• Transaction processing
• Data
• Information retrieval
• Concurrency control
• Conservatism in the United States
• Commitment ordering
• Breitbart News
• Abraham Silberschatz