Search Sciweavers | Sciweavers

1492 search results - page 26 / 299

» Concurrent programming in VISO

click to vote

ASPLOS
2010
ACM

268views Programming Languages» more ASPLOS 2010»

A randomized scheduler with probabilistic guarantees of finding bugs

14 years 4 months ago

Download research.microsoft.com

This paper presents a randomized scheduler for ﬁnding concurrency bugs. Like current stress-testing methods, it repeatedly runs a given test program with supplied inputs. Howeve...

Sebastian Burckhardt, Pravesh Kothari, Madanlal Mu...

claim paper

Read More »

click to vote

CSMR
1998
IEEE

99views Software Engineering» more CSMR 1998»

A Metrics Suite for Concurrent Logic Programs

14 years 2 months ago

Download cse.sjtu.edu.cn

AbstractA large body of research in the measurement of software complexity has been focused on imperative programs, but little eort has been made for logic programs. In this paper,...

Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

claim paper

Read More »

click to vote

VMCAI
2010
Springer

160views Software Engineering» more VMCAI 2010»

RGSep Action Inference

14 years 7 months ago

Download www.cl.cam.ac.uk

We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...

Viktor Vafeiadis

claim paper

Read More »

click to vote

PLDI
2009
ACM

119views Programming Languages» more PLDI 2009»

Lightweight annotations for controlling sharing in concurrent data structures

14 years 4 months ago

Download www.cs.berkeley.edu

Zachary R. Anderson, David Gay, Mayur Naik

claim paper

Read More »