Symbolic Execution for Memory Consumption Analysis (LCTES 2016) - LCTES 2016

Mon 13 - Tue 14 June 2016 Santa Barbara, California, United States

co-located with PLDI 2016

Who

Duc-Hiep Chu, Joxan Jaffar, Rasool Maghareh

Track

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

When

Tue 14 Jun 2016 10:30 - 11:00 at Sierra Madre North - Session 4: Worst-Case Analysis and Error Handling Chair(s): João M. P. Cardoso

Duc-Hiep Chu

National University of Singapore

Vietnam

Joxan Jaffar

National University of Singapore

Rasool Maghareh

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

Session Program

Tue 14 Jun
Displayed time zone: Tijuana, Baja California change

	10:30 - 12:00	Session 4: Worst-Case Analysis and Error HandlingLCTES at Sierra Madre North Chair(s): João M. P. Cardoso University of Porto, Portugal

	10:30 30m Talk		Symbolic Execution for Memory Consumption Analysis LCTES Duc-Hiep Chu National University of Singapore, Joxan Jaffar National University of Singapore, Rasool Maghareh
	11:00 30m Talk		TIC: A Scalable Model Checking Based Approach to WCET Estimation LCTES Ravindra Metta Tata Research Development and Design Centre, Martin Becker TU Munich, Prasad Bokil , R. Venkatesh , Samarjit Chakraborty
	11:30 30m Talk		Compensate or Ignore? Meeting control robustness requirements through adaptive Soft-Error Handling LCTES Kuan-Hsun Chen , Björn Bönninghoff , Jian-Jia Chen , Peter Marwedel