InfoQ Homepage Presentations Flint: Fixing Linearizability Violations
Flint: Fixing Linearizability Violations
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.
About the conference
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.
Apr 23, 2015