An Interactive Approach to Mobile App Verification (MobileDeLi 2015 - Mobile Development Lifecycle)

Fri 23 - Fri 30 October 2015 Pittsburgh, Pennsylvania, United States

Who

Osbert Bastani, Alex Aiken, Saswat Anand

Track

MobileDeLi 2015

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select 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

Mon 26 Oct 2015 13:50 - 14:10 at Edenburg - Session III Chair(s): Aharon Abadi, Lori Flynn, Jeff Gray

Osbert Bastani

Stanford University

Alex Aiken

Stanford University

Saswat Anand

Stanford University

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select 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

Mon 26 Oct
Displayed time zone: Eastern Time (US & Canada) change

13:30 - 15:00	Session IIIMobileDeLi at Edenburg Chair(s): Aharon Abadi IBM Research, Lori Flynn CERT, Jeff Gray University of Alabama, USA

13:30 20m Talk		Automatic Code Generation for Cross-platform, Multi-Device Mobile Apps: Some Reflections from an Industrial Experience MobileDeLi Eric Umuhoza Politecnico di Milano, Italy, Hamza Ed-Douibi Mines Nantes, Marco Brambilla Politecnico di Milano, Italy, Jordi Cabot ICREA, Spain, Aldo Bongio WebRatio S.r.l
13:50 20m Talk		An Interactive Approach to Mobile App Verification MobileDeLi Osbert Bastani Stanford University, Alex Aiken Stanford University, Saswat Anand Stanford University
14:10 50m Other		Panel: “Mobile security: methods and challenges during development” MobileDeLi Marco Pistoia IBM Research, USA, Patrick Tague Carnegie Mellon University, Jan S. Rellermeyer IBM Research, Garret Wassermann CERT Coordination Center