Automatic Synthesis of Deterministic Concurrency Veselin Raychev (ETH Zurich) Martin Vechev (ETH Zurich) Eran Yahav (Technion)

Source URL: www.sri.inf.ethz.ch

From EBNF to PEG Roman R. Redziejowski Concurrency, Specification and Programming Berlin 2012

Source URL: www.romanredz.se

Concurrency, Robotics, and RoboDeb Christian L. Jacobsen and Matthew C. Jadud University of Kent Canterbury, Kent CT2 7NF UK

Source URL: jadud.com

SDNRacer: Detecting Concurrency Violations in Software-Defined Networks

Source URL: sdnracer.ethz.ch

• Computing
• Network architecture
• Information and communications technology
• Network protocols
• OpenFlow
• Software-defined networking
• Local area networks
• Nox
• Open vSwitch
• Forwarding plane
• Transmission Control Protocol
• Network switch

Principles of Distributed Test Synthesis based on True-concurrency Models Claude JARD IRISA/CNRS Campus de Beaulieu

Source URL: pagesperso.lina.univ-nantes.fr

CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2011; 23:2305–2314 Published online 27 June 2011 in Wiley Online Library (wileyonlinelibrary.com). DOI: cpe.1782 SPECIAL

Source URL: ccl.cse.nd.edu

Lightweight Concurrency Crash Reproduction Without Logging Shared Memory Dependencies and Program States Jeff Huang Initially   x==y==0;

Source URL: parasol.tamu.edu

Extracting More Concurrency from Distributed Transactions † Tsinghua Shuai Mu†‡ , Yang Cui‡ , Yang Zhang‡ , Wyatt Lloyd]\ , Jinyang Li‡ University*, ‡ New York University, ] University of Southern Californi

Source URL: news.cs.nyu.edu

CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2003; 00:1–15 Prepared using CPEAuth.cls [Version: v2.02] Checking Ownership and Confinement Alex Potanin

Source URL: homepages.ecs.vuw.ac.nz

LEAN: Simplifying Concurrency Bug Reproduction via Replay-supported Execution Reduction Jeff Huang Charles Zhang

Source URL: parasol.tamu.edu