BT
You are now in FULL VIEW
CLOSE FULL VIEW

Flint: Fixing Linearizability Violations
Recorded at:

| by Peng Liu Follow 0 Followers , Omer Tripp Follow 0 Followers , Xiangyu Zhang Follow 0 Followers on Apr 23, 2015 |
13:47

Summary
The presenters introduce Flint, an automated fixing algorithm for composed Map operations suffering from atomicity violations, being able to fix 96% of the 48 faulty methods found in 27 popular apps.

Bio

Peng Liu, Purdue University. Omer Tripp, IBM Thomas J. Watson Research Cente. Xiangyu Zhang, Purdue University.

SPLASH — the ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity — embraces all aspects of programming, languages, and software construction and delivery. It incorporates OOPSLA, Onward!, the Dynamic Languages Symposium, and a host of workshops, panels, tutorials, demonstrations and invited talks.

BT