Safe Concurrency Introduction through Slicing (PEPM 2015) - PEPM 2015

Tue 13 - Wed 14 January 2015 Mumbai, India

Who

Huiqing Li, Simon Thompson

Track

Time Zone

The program is currently displayed in (GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi.

Use conference time zone: (GMT+05:30) Chennai, Kolkata, Mumbai, New DelhiSelect 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

Wed 14 Jan 2015 11:30 - 12:00 at AG80 - Transformation / Slicing Chair(s): Jurriaan Hage

Huiqing Li

University of Kent

Simon Thompson

University of Kent

Time Zone

The program is currently displayed in (GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi.

Use conference time zone: (GMT+05:30) Chennai, Kolkata, Mumbai, New DelhiSelect 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

Wed 14 Jan
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

	11:00 - 12:30	Transformation / SlicingPEPM 2015 at AG80 Chair(s): Jurriaan Hage Utrecht University

	11:00 30m Talk		SWIN: Towards Type-Safe Java Program Adaptation between APIs PEPM 2015 Jun Li Peking University, Chenglong Wang Peking University, Yingfei Xiong Peking University, Zhenjiang Hu National Institute of Informatics
	11:30 30m Talk		Safe Concurrency Introduction through Slicing PEPM 2015 Huiqing Li University of Kent, Simon Thompson University of Kent
	12:00 30m Talk		Static Backward Demand-Driven Slicing PEPM 2015 Björn Lisper Malardalen University, Abu Naser Masud Malardalen University, Husni Khanfar Malardalen University