Security (N40AI 2017)

Sun 15 - Sat 21 January 2017

Track

N40AI 2017 Next 40 years of Abstract Interpretation

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

Sat 21 Jan 2017 14:00 - 14:30 at Amphitheater 44 - Security, Big Code and Synthesis Chair(s): Xavier Rival

Abstract

Michael Hicks will present the future challenges in verifying and certifying secure software systems and the relevance that Abstract Interpretation can have in this field.

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

Display full programSpecify a time band

Save

Session Program

Sat 21 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30	Security, Big Code and Synthesis N40AI at Amphitheater 44 Chair(s): Xavier Rival INRIA/CNRS/ENS Paris

14:00 30m Talk		Security N40AI Michael Hicks University of Maryland at College Park, USA
14:30 30m Talk		Big Code N40AI Bor-Yuh Evan Chang University of Colorado Boulder
15:00 30m Talk		Program synthesis N40AI Eran Yahav Technion

Security

Sat 21 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Michael Hicks

University of Maryland at College Park, USA

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Security

Program Display Configuration

Program Display Configuration

Sat 21 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Michael Hicks

University of Maryland at College Park, USA

Sat 21 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change