PEPM 2015
Tue 13 - Wed 14 January 2015 Mumbai, India
Wed 14 Jan 2015 14:00 - 14:30 at AG80 - Analysis Chair(s): Kenichi Asai

Wed 14 Jan
Times are displayed in time zone: Chennai, Kolkata, Mumbai, New Delhi change

14:00 - 15:30: AnalysisPEPM 2015 at AG80
Chair(s): Kenichi AsaiOchanomizu University
14:00 - 14:30
Talk
Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics
PEPM 2015
Ruud KootUtrecht University, Jurriaan HageUtrecht University
14:30 - 15:00
Talk
Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages
PEPM 2015
Hidde VerstoepUtrecht University, Jurriaan HageUtrecht University
15:00 - 15:30
Talk
Germán Puebla Memorial
PEPM 2015
Konstantinos (Kostis) SagonasUppsala University / NTUA, John P. GallagherRoskilde University, Roberto GiacobazziUniversity of Verona, Italy, Abu Naser MasudMalardalen University