Publicaties
Determinants of generalized herpes simplex virus-2 epidemics: the role of sexual partner concurrency Universiteit Hasselt Universiteit Antwerpen
Supporting Concurrency Abstractions in High-level Language Virtual Machines Vrije Universiteit Brussel
A General Method for Rendering Static Analyses for Diverse Concurrency Models Modular Vrije Universiteit Brussel
Shared-memory multi-threading and the actor model both share the notion of processes featuring communication, respectively by modifying shared state and by sending messages. Existing static analyses for concurrent programs either model every possible process interleavings and therefore suffer from the state explosion problem, or feature modularity but lack in precision or in their support for dynamic processes. In this paper we present a ...
A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs Vrije Universiteit Brussel
The actor model is an attractive foundation for developing concurrent applications because actors are isolated concurrent entities that communicate through asynchronous messages and do not share state. Thereby, they avoid concurrency bugs such as data races, but are not immune to concurrency bugs in general. This study taxonomizes concurrency bugs in actor-based programs reported in literature. Furthermore, it analyzes the bugs to identify ...
Identifying A Unifying Mechanism for the Implementation of Concurrency Abstractions on Multi-Language Virtual Machines Vrije Universiteit Brussel
Correlates of concurrency among young people in Carletonville, South Africa Instituut voor Tropische Geneeskunde Universiteit Antwerpen
There is still a considerable debate about whether socioeconomic or cultural factors underpin the high prevalence of sexual partner concurrency in parts of Southern and Eastern Africa. We analyzed the patterning and correlates of concurrency in a population-based sample of 1182 sexually active 14-24 year olds in Carletonville, South Africa. Potential demographic, socioeconomic and attitudinal risk factors were assessed via a questionnaire. ...
Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency Models Vrije Universiteit Brussel
operations into VM instruction sets.
Since there will not be a single instruction ...