SDNRacer: Detecting Concurrency Violations in Software-Defined Networks

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

• Computing
• Network architecture
• Network protocols
• OpenFlow
• Software-defined networking
• Local area networks
• Nox
• Open vSwitch
• Firewall
• Forwarding plane
• Transmission Control Protocol

Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model Alexander Heußner University of Bamberg, Germany Christopher M. Poskitt Claudio Corrodi

Source URL: se.inf.ethz.ch

• Software engineering
• Software
• Computing
• Parallel computing
• Object-oriented programming languages
• Object-oriented programming
• Concurrent programming languages
• Concurrent computing
• Edsger W. Dijkstra
• SCOOP
• Concurrency
• EiffelStudio

High-Performance Distributed RMA Locks Patrick Schmid∗ Maciej Besta∗ Torsten Hoefler

Source URL: spcl.inf.ethz.ch

• Concurrency control
• Readerswriter lock
• File locking
• Spinlock
• Non-blocking algorithm
• Compare-and-swap
• Lock
• Mutual exclusion
• Synchronization
• Linearizability
• Parallel computing

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: ssw.jku.at

Integrating Concurrency Control and Energy Management in Device Drivers Kevin Klues†∓? , Vlado Handziski? , Chenyang Lu∓ , Adam Wolisz? , David Culler• , David Gay‡ , and Philip Levis† †

Source URL: www.cse.wustl.edu

SDNRacer: Concurrency Analysis for Software-Defined Networks Ahmed El-Hassany‡ Jeremie Miserez] Pavol Bielik] Laurent Vanbever‡ Martin Vechev]

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

Concurrent and Consistent Virtual Machine Introspection with Hardware Transactional Memory Yutao Liu†, Yubin Xia†, Haibing Guan§, Binyu Zang†, Haibo Chen† Shanghai Key Laboratory of Scalable Computing and System

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

• Software
• System software
• Computing
• Concurrency control
• Transaction processing
• Transactional memory
• Programming language implementation
• Cyberwarfare
• Rootkit
• Hypervisor
• Hyper-V
• VM

adaptSTM - An Online Fine-grained Adaptive STM System Mathias Payer Thomas R. Gross ETH Zurich, Switzerland

Source URL: hexhive.github.io

• Concurrency control
• Information science
• Computing
• Information retrieval
• Transaction processing
• Hashing
• Search algorithms
• Error detection and correction
• Software transactional memory
• Lock
• Hash table
• Linearizability

MULTIGRID METHODS WITH SPACE-TIME CONCURRENCY R. D. FALGOUT† , S. FRIEDHOFF‡ § , TZ. V. KOLEV† , S. P. MACLACHLAN¶, J. B. SCHRODER† , AND S. VANDEWALLE‡ Abstract. We consider the comparison of multigrid metho

Source URL: www.math.mun.ca

Parallelism, Concurrency, and Asynchrony in Perl 6 Jonathan Worthington Hi!

Source URL: jnthn.net

• Software engineering
• Computing
• Software
• Cross-platform software
• High-level programming languages
• Scripting languages
• Parallel computing
• Edsger W. Dijkstra
• Concurrent computing
• Perl
• Thread
• Asynchrony