Efficient Synthesis for Concurrency by Semantics-Preserving Transformations? ˇ Pavol Cern´ y1 , Thomas A. Henzinger2 , Arjun Radhakrishna2 , Leonid Ryzhyk3 , and Thorsten Tarrach2

Source URL: ecee.colorado.edu

CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2007; V:1–11 Prepared using cpeauth.cls [Version: v2.02] Tackling the Provenance Challenge One Layer at a Time

Source URL: vgc.poly.edu

CONCURRENCY VULNERABILITIES OWASP BOOKS OWASP Testing Guide : ~NZ$18 + pp

Source URL: www.owasp.org

• Cyberwarfare
• Concurrency control
• Software testing
• Lock
• OWASP
• Vulnerability
• Application security
• Deadlock
• Computing
• Computer security
• Threads

PDF Document

Source URL: www.tjaekel.com

• Concurrent computing
• Concurrency control
• Critical section
• Thread
• Constructor
• Burroughs MCP
• Context switch
• Computing
• Computer programming
• Software engineering

Concurrency Oriented Programming in Termite Scheme Guillaume Germain Marc Feeley Stefan Monnier

Source URL: schemeworkshop.org

• Ericsson
• Erlang
• Gambit
• Inter-process communication
• Actor model
• Continuation
• Scheme
• Message passing
• Daemon
• Computing
• Software engineering
• Computer programming

Microsoft Word - SIGOPS Annual Report 2007.docx

Source URL: www.sigops.org

• Computer science
• Dijkstra Prize
• Distributed computing
• International Conference on Architectural Support for Programming Languages and Operating Systems
• Symposium on Principles of Distributed Computing
• Conference on Embedded Networked Sensor Systems
• Mutual exclusion
• Keith Marzullo
• Lock
• Concurrent computing
• Concurrency control
• Computing

IFRit: Interference-Free Regions for Dynamic Data-Race Detection ∗ Hans-J. Boehm Laura Effinger-Dean Brandon Lucia

Source URL: homes.cs.washington.edu

• Computer programming
• Monitor
• Parallel computing
• Variable
• Lock
• Critical section
• International Financial Reporting Standards
• Scope
• C dynamic memory allocation
• Computing
• Software engineering
• Concurrency control

Concurrency Makes Simple Theories Hard Stefan Göller1 and Anthony Widjaja Lin2 1 2 Fachbereich Informatik, University of Bremen, Germany

Source URL: www.informatik.uni-bremen.de

• Mathematics
• Theory
• Structure
• Regular language
• Model theory
• Logic
• Metalogic

Transparently Parameterizing Synchronization into a Concurrent Distributed Application A Case Study of C++ Design Evolution Douglas C. Schmidt Department of Computer Science

Source URL: www.cs.wustl.edu

• Software engineering
• Reentrant mutex
• Lock
• Spinlock
• Thread
• Mutual exclusion
• Critical section
• POSIX Threads
• Global variable
• Concurrency control
• Computing
• Computer programming

ColorSafe: Architectural Support for Debugging and Dynamically Avoiding Multi-variable Atomicity Violations Brandon Lucia† Luis Ceze†

Source URL: homes.cs.washington.edu

• Concurrency control
• Data management
• Memory management
• Debugging
• Software bug
• C dynamic memory allocation
• Pointer
• CPU cache
• MySQL
• Computing
• Data
• Transaction processing