Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages (PEPM 2015) - PEPM 2015

Tue 13 - Wed 14 January 2015 Mumbai, India

Who

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

Hidde Verstoep

Utrecht University

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