Program - PEPM 2015

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

Save

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Tue 13 Jan
Times are displayed in time zone: Chennai, Kolkata, Mumbai, New Delhi change

	11:00 - 12:30: Welcome & Invited TalkPEPM 2015 at AG80 Chair(s): Konstantinos (Kostis) SagonasUppsala University / NTUA

	11:00 - 11:15 Day opening		Welcome PEPM 2015 Kenichi AsaiOchanomizu University, Konstantinos (Kostis) SagonasUppsala University / NTUA
	11:15 - 12:30 Talk		Invited Talk: Desugaring in Practice: Opportunities and Challenges PEPM 2015 Shriram KrishnamurthiBrown University

	14:00 - 15:30: Types / Code MiningPEPM 2015 at AG80 Chair(s): Simon ThompsonUniversity of Kent

	14:00 - 14:30 Talk		Imperative Polymorphism by Store-Based Types as Abstract Interpretations PEPM 2015 Casper Bach PoulsenSwansea University, Peter D. MossesSwansea University, Paolo TorriniSwansea University
	14:30 - 15:00 Talk		Object-sensitive Type Analysis of PHP PEPM 2015 Henk Erik van der HoekUtrecht University, Jurriaan HageUtrecht University
	15:00 - 15:30 Talk		Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources PEPM 2015 Venkatesh VinayakaraoIIITD, Rahul PurandareIIITD, Aditya Nori

	16:00 - 17:30: Tree and GrammarsPEPM 2015 at AG80 Chair(s): Jeremy GibbonsUniversity of Oxford, UK

	16:00 - 16:30 Talk		Generalising Tree Traversals to DAGs PEPM 2015 Patrick BahrUniversity of Copenhagen, Emil AxelssonChalmers University of Technology
	16:30 - 17:00 Talk		Incremental Evaluation of Higher Order Attributes PEPM 2015 Jeroen BransenUtrecht University, Atze DijkstraUtrecht University, S. Doaitse SwierstraUtrecht University
	17:00 - 17:30 Talk		Linearly Ordered Attribute Grammars PEPM 2015 L. Thomas van BinsbergenUniversity of London, Jeroen BransenUtrecht University, Atze DijkstraUtrecht University

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

	09:00 - 10:30: VerificationPEPM 2015 at AG80 Chair(s): Konstantinos (Kostis) SagonasUppsala University / NTUA

	09:00 - 09:30 Talk		Verifying Relational Properties of Functional Programs by First-Order Refinement PEPM 2015 Kazuyuki AsadaUniversity of Tokyo, Ryosuke SatoUniversity of Tokyo, Naoki KobayashiUniversity of Tokyo
	09:30 - 10:00 Talk		Threads as Resource for Concurrency Verification PEPM 2015 Duy-Khanh LeNational University of Singapore, Wei-Ngan ChinNational University of Singapore, Yong Meng TeoNational University of Singapore
	10:00 - 10:30 Talk		Constraint Specialisation in Horn Clause Verification PEPM 2015 Bishoksan KafleRoskilde University, John P. GallagherRoskilde University

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

	11:00 - 11:30 Talk		SWIN: Towards Type-Safe Java Program Adaptation between APIs PEPM 2015 Jun LiPeking University, Chenglong WangPeking University, Yingfei XiongPeking University, Zhenjiang HuNational Institute of Informatics
	11:30 - 12:00 Talk		Safe Concurrency Introduction through Slicing PEPM 2015 Huiqing LiUniversity of Kent, Simon ThompsonUniversity of Kent
	12:00 - 12:30 Talk		Static Backward Demand-Driven Slicing PEPM 2015 Bjorn LisperMalardalen University, Abu Naser MasudMalardalen University, Husni KhanfarMalardalen University

	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

	16:00 - 16:30: DemoPEPM 2015 at AG80 Chair(s): Konstantinos (Kostis) SagonasUppsala University / NTUA

	16:00 - 16:30 Demonstration		Demo PEPM 2015 Venkatesh VinayakaraoIIITD

Tue 13 Jan
Times are displayed in time zone: Chennai, Kolkata, Mumbai, New Delhi change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
AG80	PEPM 2015 Welcome & Invited Talk																																				PEPM 2015 Types / Code Mining																								PEPM 2015 Tree and Grammars

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
AG80	PEPM 2015 Verification																								PEPM 2015 Transformation / Slicing																																				PEPM 2015 Analysis																								PEPM 2015 Demo

Tue 13 Jan
Times are displayed in time zone: Chennai, Kolkata, Mumbai, New Delhi change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
AG80	PEPM Welcome 11:00 - 11:15			PEPM Invited Talk: Desugaring in Practice: Opportunities and Challenges 11:15 - 12:30																																	PEPM Imperative Polymorphism by Store-Based Types as Abstract Interpretations 14:00 - 14:30						PEPM Object-sensitive Type Analysis of PHP 14:30 - 15:00						PEPM Structurally Heterogeneous Source Code Examples from Unstructured Knowl ... 15:00 - 15:30												PEPM Generalising Tree Traversals to DAGs 16:00 - 16:30						PEPM Incremental Evaluation of Higher Order Attributes 16:30 - 17:00						PEPM Linearly Ordered Attribute Grammars 17:00 - 17:30

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
AG80	PEPM Verifying Relational Properties of Functional Programs by First-Order R ... 09:00 - 09:30						PEPM Threads as Resource for Concurrency Verification 09:30 - 10:00						PEPM Constraint Specialisation in Horn Clause Verification 10:00 - 10:30												PEPM SWIN: Towards Type-Safe Java Program Adaptation between APIs 11:00 - 11:30						PEPM Safe Concurrency Introduction through Slicing 11:30 - 12:00						PEPM Static Backward Demand-Driven Slicing 12:00 - 12:30																								PEPM Type-based Exception Analysis for Non-strict Higher-order Functional La ... 14:00 - 14:30						PEPM Polyvariant Cardinality Analysis for Non-strict Higher-order Functional ... 14:30 - 15:00						PEPM Germán Puebla Memorial 15:00 - 15:30												PEPM Demo 16:00 - 16:30

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format

PEPM 2015 Program

Filter Program

Tue 13 Jan
Times are displayed in time zone: Chennai, Kolkata, Mumbai, New Delhi change

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

Tue 13 Jan
Times are displayed in time zone: Chennai, Kolkata, Mumbai, New Delhi change

PEPM 2015

PEPM 2015

PEPM 2015

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

PEPM 2015

PEPM 2015

PEPM 2015

PEPM 2015

Tue 13 Jan
Times are displayed in time zone: Chennai, Kolkata, Mumbai, New Delhi change

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

Tracks

PEPM 2015 Program

Filter Program

Program Display Configuration

Tue 13 Jan Times are displayed in time zone: Chennai, Kolkata, Mumbai, New Delhi change

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

Tue 13 Jan Times are displayed in time zone: Chennai, Kolkata, Mumbai, New Delhi change

PEPM 2015

PEPM 2015

PEPM 2015

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

PEPM 2015

PEPM 2015

PEPM 2015

PEPM 2015

Tue 13 Jan Times are displayed in time zone: Chennai, Kolkata, Mumbai, New Delhi change

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

Tue 13 Jan
Times are displayed in time zone: Chennai, Kolkata, Mumbai, New Delhi change

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

Tue 13 Jan
Times are displayed in time zone: Chennai, Kolkata, Mumbai, New Delhi change

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

Tue 13 Jan
Times are displayed in time zone: Chennai, Kolkata, Mumbai, New Delhi change

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