THE FIRST CORRECT CONCURRENCY CONTROL ALGORITHM JAMES SMITH e-mail address: Imperial College London Abstract. We present for the first time a complete solution to the problem of proving

Source URL: djalbat.com

Fast In-memory Transaction Processing using RDMA and HTM Xingda Wei, Jiaxin Shi, Yanzhe Chen, Rong Chen, Haibo Chen Shanghai Key Laboratory of Scalable Computing and Systems Institute of Parallel and Distributed Systems,

Source URL: ipads.se.sjtu.edu.cn

• Computing
• Transaction processing
• Data management
• Concurrency control
• Software
• Databases
• Remote direct memory access
• Software transactional memory
• Serializability
• Two-phase locking
• Isolation
• Extensible Storage Engine

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs Claudio Corrodi1,2? , Alexander Heußner3 , and Christopher M. Poskitt1,4? Department of Computer Science, ETH Zürich, Switzerland Software Composit

Source URL: se.inf.ethz.ch

• Software engineering
• Computing
• Computer programming
• Logic in computer science
• Object-oriented programming languages
• Programming language semantics
• SCOOP
• Semantics
• Eiffel
• Operational semantics
• Concurrency
• Actor model

Using Contracts to Guide the Search-Based Verification of Concurrent Programs Christopher M. Poskitt1 and Simon Poulding2 1 2

Source URL: se.inf.ethz.ch

• Software engineering
• Computing
• Computer programming
• Concurrency control
• Concurrent computing
• Edsger W. Dijkstra
• Object-oriented programming languages
• Concurrent programming languages
• Concurrency
• Concurrent data structure
• Thread
• SCOOP

SyncProf: Detecting, Localizing, and Optimizing Synchronization Bottlenecks Tingting Yu Michael Pradel

Source URL: mp.binaervarianz.de

• Concurrency control
• Computing
• Software engineering
• Economy
• Software optimization
• Edsger W. Dijkstra
• Network performance
• Communication
• Synchronization
• Bottleneck
• Lock
• Mutual exclusion

Verifying Read-Copy-Update in a Logic for Weak Memory Joseph Tassarotti Derek Dreyer Viktor Vafeiadis

Source URL: plv.mpi-sws.org

• Concurrency control
• Computer architecture
• Computing
• Software
• Read-copy-update
• Memory barrier
• Linearizability
• Mutual exclusion
• Synchronization
• Futures and promises

Reasoning about Concurrency for Security Tunnels Alwyn E. Goodloe University of Pennsylvania Carl A. Gunter University of Illinois at Urbana-Champaign

Source URL: seclab.illinois.edu

Using Restricted Transactional Memory to Build a Scalable In-Memory Database Zhaoguo Wang†, Hao Qian‡, Jinyang Li§, Haibo Chen‡ † School of Computer Science, Fudan University ‡ Institute of Parallel and Distri

Source URL: ipads.se.sjtu.edu.cn

• Transaction processing
• Concurrency control
• Data management
• Databases
• Software transactional memory
• Database transaction
• Serializability
• Extensible Storage Engine
• Linearizability
• Transactional memory
• Optimistic concurrency control
• Atomicity

Performance Evaluation of Adaptivity in Software Transactional Memory Mathias Payer ETH Zurich, Switzerland Abstract—Transactional memory (TM) is an attractive platform for parallel programs,

Source URL: hexhive.github.io

• Concurrency control
• Computing
• Transaction processing
• Data management
• Information science
• Software transactional memory
• Lock
• Non-blocking algorithm
• Transactional memory
• Linearizability
• Critical section
• Synchronization

Postdoc in the Area of Concurrency The Software Languages Lab of the Vrije Universiteit Brussel in Belgium has an opening for a post-doctoral researcher in the field of programming technology for complex concurrent syste

Source URL: www.ssw.uni-linz.ac.at