Cen$man:  Elas$c,  High  Performance  Op$mis$c   Concurrency  Control  by  Watermarking   Bailu  Ding,  Lucja  Kot,  Alan  Demers,  Johannes  Gehrke   Cornell  Univer

Source URL: acmsocc.github.io

• Computer architecture
• Scalability
• Validator

Prototyping a Concurrency Model Benjamin Morandi, Mischael Schill, Sebastian Nanz, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland http://se.inf.ethz.ch/

Source URL: se.inf.ethz.ch

• Computing
• Parallel computing
• Computer programming
• Software engineering
• SCOOP
• File locking
• Communicating sequential processes

PACER: Proportional Detection of Data Races ∗ Michael D. Bond Katherine E. Coons Kathryn S. McKinley

Source URL: www.cs.utexas.edu

• Concurrency
• Software engineering
• Computing
• Computer programming
• Parallel computing
• Race condition
• Sampling
• Pacer
• Synchronization
• Memory model
• Vector space

Performance Evaluation of Adaptivity in STM Mathias Payer and Thomas R. Gross Department of Computer Science, ETH Zürich

Source URL: hexhive.github.io

• Computing
• Concurrency control
• Transaction processing
• Data management
• Software
• Software transactional memory
• Synchronization
• Lock
• Transactional memory
• File locking

GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation Derek Dreyer Ar tifact

Source URL: plv.mpi-sws.org

• Software engineering
• Mathematical logic
• Computing
• Concurrency
• Logic in computer science
• Computer memory
• First-order logic
• Predicate logic
• Memory model
• Hoare logic
• Lock
• FO

Towards Timed Models for Cyber-Physical Security Protocols Max Kanovich∗ , Tajana Ban Kirigin† , Vivek Nigam‡ , Andre Scedrov§ and Carolyn Talcott¶ ∗ ∗

Source URL: software.imdea.org

• Multiplexing
• Concurrency
• Diagrams
• Petri net
• T-carrier
• Finite topological space
• Relaxation
• Futures and promises
• Mathematics
• Abstraction
• Software engineering

CALL FOR PAPERS AND ANNOUNCEMENT 16th International Conference on Application of Concurrency to System Design (ACSDToruń, Poland, June 19-24, 2016 http://acsd2016.mat.umk.pl/

Source URL: pn2016.mat.umk.pl

True Concurrency and Net Unfoldings Daniil Frumin December 9, 2013 Daniil Frumin

Source URL: covariant.me

Concurrency Analysis for Parallel Programs with Textually Aligned Barriers Amir Kamil statements in a program. The analysis is done for the Titanium language [29], a single program, multiple data global

Source URL: www.ece.lsu.edu

Appears in the proceedings of the 34th International Symposium on Microarchitecture (MICRO), Dec. 3-Dec. 5, 2001, Austin, Texas. Speculative Lock Elision: Enabling Highly Concurrent Multithreaded Execution Ravi Rajwar a

Source URL: pages.cs.wisc.edu

• Concurrency control
• Computing
• Computer architecture
• Test-and-set
• Transactional memory
• Non-blocking algorithm
• Synchronization
• Monitor
• Lock
• Linearizability
• Consistency model
• CPU cache