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
-
Related Sponsored Content
-
Related Sponsor
/filters:no_upscale()/sponsorship/topic/2c0d72d2-1768-47c2-8f5b-24f3ef0ae0e0/QconNYrsb-1679560094156.png)
Community comments