Programme

Sep 30th

09:15-09:30 * Workshop opening
09:30-10:30 * Invited speaker PDMC:  Parallel SAT Solving (Youssef Hamadi)
10:30-11:00 * Coffee break
 

PDMC Session: SHARED-MEMORY PARALLEL MODEL CHECKING

11:00-11:30 * PDMC 1
DiVinE: Parallel Distributed Model Checker (Tool paper)

11:30-12:00 * PDMC 2
A General Lock-Free Algorithm for Parallel State Space Construction

12:00-12:30 * PDMC 3
GPU-PRISM: An Extension of PRISM for General Purpose Graphics Processing Units (Tool paper)
 
12:30-13:30 - Lunch
 
HIBI Session: PARALLEL COMPUTING IN SYSTEMS BIOLOGY (1)

13:30-14:00 * HIBI 1
Enhancing the Scalability of Simulations by Embracing Multiple Levels of Parallelization

14:00-14:30 * HIBI 2
Fast Parallel Markov Clustering in Bioinformatics using Massively Parallel Graphics Processing Unit Computing

14:30-15:00 * HIBI 3
HMMlib: A C++ Library for General Hidden Markov Models Exploiting Modern CPUs
 
15:00-15:30 - Coffee break
 
PDMC Session: DISTRIBUTED VERIFICATION METHODS

15:30-16:00 * PDMC 4 
Industrial Strength Distributed Explicit State Model Checking

16:00-16:30 * PDMC 5 
A BSP Algorithm for the State Space Construction of Security Protocols

16:30-17:00 * PDMC 6 
Three High Performance Architectures in the Parallel Approximate Probabilistic Model Checking Boat
 

 Oct 1st

09:30-10:30 * Invited speaker HIBI: Problem Solving by Inverse Methods in Systems Biology (Peter Schuster)
10:30-11:00 * Coffee break
 

HIBI Session: PARAMETER-DEPENDENT ANALYSIS

11:00-11:30 * HIBI 4 
Parallel computing algorithms for reverse-engineering and analysis of genome-wide gene regulatory networks from gene expression profiles

11:30-12:00 * HIBI 5 
Parameter Scanning by Parallel Model Checking with Applications to Systems and Synthetic Biology
12:00-12:30 * HIBI 6 
Predicting the effects of parameters changes in stochastic models through parallel synthetic experiments and multivariate analysis
 
12:30-13:30 - Lunch
 
HIBI Session: PARALLEL COMPUTING IN SYSTEMS BIOLOGY (2)

13:30-14:00 * HIBI 7 
Parallel particle-based reaction diffusion: a GPU implementation

14:00-14:30 * HIBI 8 
Using the GPU and Multi-Core CPU to Generate a 3D Oviduct Through Feature Extraction from Histology Slides

14:30-15:00 * HIBI 9 
Implementation of Smith-Waterman algorithm in OpenCL for GPUs
 
15:00-15:10 - Workshop closing