VerifiedFT: A Verified, High-Performance Dynamic Race Detector (PPoPP 2018)

Write a Blog >>

Sat 24 - Wed 28 February 2018 Vösendorf / Wien, Austria

Track

PPoPP 2018

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Wed 28 Feb 2018 11:20 - 11:45 at Europa 3 - PPoPP Session 8: Race Detection Chair(s): Jesper Träff

Abstract

Authors

James R. Wilcox (University of Washington)
Cormac Flanagan (UC Santa Cruz)
Stephen N. Freund (Williams College)