Cooperative Empirical Failure Avoidance for Multithreaded Programs Brandon Lucia and Luis Ceze {blucia0a,luisceze}@cs.washington.edu University of Washington, Department of Computer Science and Engineering http://sampa.c

Source URL: homes.cs.washington.edu

• Software engineering
• Failure
• Materials science
• Reliability engineering
• Software quality
• Survival analysis
• Parallel computing
• Thread
• Design closure
• Design
• Concurrency control
• Electronic engineering

BRICS Basic Research in Computer Science BRICS DS-99-1 G. L. Cattani: Presheaf Models for Concurrency

Source URL: www.brics.dk

• Logic in computer science
• Process calculi
• Sheaf theory
• Π-calculus
• Programming language semantics
• Bisimulation
• Presheaf
• Coinduction
• Process calculus
• Mathematics
• Theoretical computer science
• Applied mathematics

D S L: A T S Lu´ıs Caires ∗ Abstract Spatial logics for concurrency have been proposed with the aim of reasoning about distributi

Source URL: ctp.di.fct.unl.pt

True Concurrency at Work: Relaxed Memory Models Gérard Boudol (joint work with Gustavo Petri) INRIA Sophia Antipolis

Source URL: www.cmi.ac.in

BRICS Basic Research in Computer Science BRICS DSM. Nygaard: Domain Theory for Concurrency Domain Theory for Concurrency

Source URL: www.brics.dk

CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2000; 00:1–7 Prepared using cpeauth.cls [Version: v2.02] The First Provenance Challenge Luc Moreau∗ , Bertram Lud¨

Source URL: swift-lang.org

Logical Semantics of Types for Concurrency Lu´ıs Caires CITI / Departamento de Inform´ atica, Universidade Nova de Lisboa, Portugal Abstract. We motivate and present a logical semantic approach to

Source URL: ctp.di.fct.unl.pt

Linear Logical Relations for Session-Based Concurrency Jorge A. P´erez1 , Lu´ıs Caires1 , Frank Pfenning2 , and Bernardo Toninho1,2 1 CITI and Departamento de Inform´atica, FCT, Universidade Nova de Lisboa 2

Source URL: www.cs.cmu.edu

concurrency_diagram copy.key

Source URL: www.filemaker.com

A Concurrency Control Protocol for Continuously Monitoring Moving Objects

Source URL: europa.nvc.cs.vt.edu