Program - PEPM 2015

Detailed Table Session Timeline Detailed Timeline

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
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

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

11:00 15m Day opening		Welcome PEPM 2015 Kenichi Asai Ochanomizu University, Konstantinos (Kostis) Sagonas Uppsala University / NTUA
11:15 75m Talk		Invited Talk: Desugaring in Practice: Opportunities and Challenges PEPM 2015 Shriram Krishnamurthi Brown University

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

14:00 30m Talk		Imperative Polymorphism by Store-Based Types as Abstract Interpretations PEPM 2015 Casper Bach Poulsen Swansea University, Peter D. Mosses Swansea University, Paolo Torrini Swansea University
14:30 30m Talk		Object-sensitive Type Analysis of PHP PEPM 2015 Henk Erik van der Hoek Utrecht University, Jurriaan Hage Utrecht University
15:00 30m Talk		Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources PEPM 2015 Venkatesh Vinayakarao IIITD, Rahul Purandare IIITD, Aditya Nori

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

16:00 30m Talk		Generalising Tree Traversals to DAGs PEPM 2015 Patrick Bahr University of Copenhagen, Emil Axelsson Chalmers University of Technology
16:30 30m Talk		Incremental Evaluation of Higher Order Attributes PEPM 2015 Jeroen Bransen Utrecht University, Atze Dijkstra Utrecht University, S. Doaitse Swierstra Utrecht University
17:00 30m Talk		Linearly Ordered Attribute Grammars PEPM 2015 L. Thomas van Binsbergen University of London, Jeroen Bransen Utrecht University, Atze Dijkstra Utrecht University

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

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

09:00 30m Talk		Verifying Relational Properties of Functional Programs by First-Order Refinement PEPM 2015 Kazuyuki Asada University of Tokyo, Ryosuke Sato University of Tokyo, Naoki Kobayashi University of Tokyo
09:30 30m Talk		Threads as Resource for Concurrency Verification PEPM 2015 Duy-Khanh Le National University of Singapore, Wei-Ngan Chin National University of Singapore, Yong Meng Teo National University of Singapore
10:00 30m Talk		Constraint Specialisation in Horn Clause Verification PEPM 2015 Bishoksan Kafle Roskilde University, John P. Gallagher Roskilde University

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

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

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

16:00 30m Demonstration		Demo PEPM 2015 Venkatesh Vinayakarao IIITD

PEPM 2015 Program

Tue 13 Jan
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

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

Tracks

PEPM 2015 Program

Switch Program View

Program Display Configuration

Tue 13 JanDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

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

Get Calendar (iCal)

Tue 13 Jan
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

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