Back to Results
First PageMeta Content
Software engineering / Concurrency control / Concurrency / Concurrent computing / Thread / Lock / Parallel computing / Deadlock / Call graph / Computing / Program analysis / Static program analysis


Effective Static Race Detection for Java Mayur Naik Alex Aiken John Whaley
Add to Reading List

Document Date: 2006-03-28 01:09:33

Open Document

File Size: 175,46 KB

Share Result on Facebook

City

Ottawa / /

Company

JdbF / jTDS / Microsoft / /

Country

Canada / /

Currency

USD / /

/

Facility

Java Mayur Naik Alex Aiken John Whaley Computer Science Department Stanford University / /

IndustryTerm

race detection tool / static tools / call site / race detection algorithm / lockset algorithm / lone call site / static race detection tool / harness synthesis algorithm / race detection tools / insensitive type-based systems / weak memory systems / post-processing phase / thread-spawning call site / type systems / web crawler / state-ofthe-art race detection tools / allocation site / /

OperatingSystem

Linux / /

Organization

National Science Foundation / Stanford University / /

Person

Brian Hackett / Apache Derby / Manu Sridharan / Paul Twohey / Jong-Deok Choi / Christoph von Praun / Alex Aiken John Whaley / John Kodumal / Ondrej Lhotak / Dawson Engler / Mayur Naik Alex Aiken John / /

Position

guard / Commons Pool JDBC driver / device driver / General / /

Product

Soot / Database / Apache / /

ProgrammingLanguage

Datalog / Java / TSP / /

ProvinceOrState

Ontario / /

SportsLeague

Stanford University / /

Technology

Object-Oriented Programming / 2.1 Harness Synthesis Our race detection algorithm / lockset algorithm / Java / relational database / Linux / harness synthesis algorithm / RDBMS / race detection algorithm / operating systems / 2.2 Algorithm Our race detection algorithm / /

URL

http /

SocialTag