Model Checking Task Parallel Programs Using Gradual Permissions (N)

Habanero is a task parallel programming model that provides correctness guarantees to the programmer. Even so, programs may contain data races that lead to non-determinism, which complicates debugging and verification. This paper presents a sound algorithm based on permission regions to prove data r...

Full description

Saved in:

Bibliographic Details
Published in:	2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) pp. 535 - 540
Main Authors:	Mercer, Eric G., Anderson, Peter, Vrvilo, Nick, Sarkar, Vivek
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.11.2015
Subjects:	Data models Data race deadlock Habanero Java Java Pathfinder Model checking Schedules Synchronization System recovery task parallel languages Writing
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!