Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics (PEPM 2015) - PEPM 2015

Tue 13 - Wed 14 January 2015 Mumbai, India

Who

Ruud Koot, Jurriaan Hage

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 14:00 - 14:30 at AG80 - Analysis Chair(s): Kenichi Asai

Ruud Koot

Utrecht University

Netherlands

Jurriaan Hage

Utrecht University

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

	14:00 - 15:30	AnalysisPEPM 2015 at AG80 Chair(s): Kenichi Asai Ochanomizu University

	14:00 30m Talk		Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics PEPM 2015 Ruud Koot Utrecht University, Jurriaan Hage Utrecht University
	14:30 30m Talk		Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages PEPM 2015 Hidde Verstoep Utrecht University, Jurriaan Hage Utrecht University
	15:00 30m Talk		Germán Puebla Memorial PEPM 2015 Konstantinos (Kostis) Sagonas Uppsala University / NTUA, John P. Gallagher Roskilde University, Roberto Giacobazzi University of Verona, Italy, Abu Naser Masud Malardalen University