program-repair.github.io icon indicating copy to clipboard operation
program-repair.github.io copied to clipboard

Published 20 hours ago • verified publisher icon program-repair

Adding paper "HIPPODROME: Data Race Repair using Static Analysis Summaries"

Open yannicnoller opened this issue 2 years ago • 2 comments

I would like to add the following publication:

  • DBLP key: journals/corr/abs-2108-02490

yannicnoller avatar Jun 29 '22 03:06 yannicnoller

opened PR https://github.com/program-repair/program-repair.github.io/pull/72

yannicnoller avatar Jun 29 '22 09:06 yannicnoller

From @yannicnoller's comments

Name: HIPPODROME One line description: statically detects and fixes data race conditions for small to large scale Java programs Target: Java DBPL key: journals/corr/abs-2108-02490 Website: https://github.com/verse-lab/hippodrome Repository (optional): https://github.com/verse-lab/hippodrome

mechtaev avatar Jul 26 '22 10:07 mechtaev

Thanks, added in 8abb808

mechtaev avatar Aug 07 '23 10:08 mechtaev