Demo 2: OMEN - A Tool for Synthesizing Tests for Deadlock Detection (SPLASH 2014 - Demos)

Mon 20 - Fri 24 October 2014 Portland, Oregon, United States

Who

Malavika Samak, Murali Krishna Ramanathan

Track

SPLASH 2014 Demos

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect 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

Thu 23 Oct 2014 13:00 - 13:40 at Salon D - Demo 2: OMEN Testing Tool for Deadlock Detection

Abstract

OMEN: A Tool for Synthesizing Tests for Deadlock Detection by Malavika Samak (Indian Institute of Science); Murali Krishna Ramanathan (Indian Institute of Science)

Malavika Samak

Indian Institute of Science, Bangalore

Murali Krishna Ramanathan