AG80 - PEPM 2015

Tue 13 - Wed 14 January 2015 Mumbai, India

VenueTata Institute of Fundamental Research

Room nameAG80

Floor0

Room numberAG80

Capacity50

Additional informationThere is no additional information of this room available.

Program

Tue 13 Jan

11:00 - 12:30: PEPM 2015 - Welcome & Invited Talk at AG80
Chair(s): Kostis Sagonas

11:00 - 11:15
Day opening

Kenichi Asai, Kostis Sagonas

11:15 - 12:30
Talk

Invited Talk: Desugaring in Practice: Opportunities and Challenges

Shriram Krishnamurthi

14:00 - 15:30: PEPM 2015 - Types / Code Mining at AG80
Chair(s): Simon Thompson

14:00 - 14:30
Talk

Imperative Polymorphism by Store-Based Types as Abstract Interpretations

Casper Bach Poulsen, Peter D. Mosses, Paolo Torrini

14:30 - 15:00
Talk

Object-sensitive Type Analysis of PHP

Henk Erik van der Hoek, Jurriaan Hage

15:00 - 15:30
Talk

Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources

Venkatesh Vinayakarao, Rahul Purandare, Aditya Nori

16:00 - 17:30: PEPM 2015 - Tree and Grammars at AG80
Chair(s): Jeremy Gibbons

16:00 - 16:30
Talk

Generalising Tree Traversals to DAGs

Patrick Bahr, Emil Axelsson

16:30 - 17:00
Talk

Incremental Evaluation of Higher Order Attributes

Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra

17:00 - 17:30
Talk

Linearly Ordered Attribute Grammars

L. Thomas van Binsbergen, Jeroen Bransen, Atze Dijkstra

Wed 14 Jan

09:00 - 10:30: PEPM 2015 - Verification at AG80
Chair(s): Kostis Sagonas

09:00 - 09:30
Talk

Verifying Relational Properties of Functional Programs by First-Order Refinement

Kazuyuki Asada, Ryosuke Sato, Naoki Kobayashi

09:30 - 10:00
Talk

Threads as Resource for Concurrency Verification

Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo

10:00 - 10:30
Talk

Constraint Specialisation in Horn Clause Verification

Bishoksan Kafle, John P. Gallagher

11:00 - 12:30: PEPM 2015 - Transformation / Slicing at AG80
Chair(s): Jurriaan Hage

11:00 - 11:30
Talk

SWIN: Towards Type-Safe Java Program Adaptation between APIs

Jun Li, Chenglong Wang, Yingfei Xiong, Zhenjiang Hu

11:30 - 12:00
Talk

Safe Concurrency Introduction through Slicing

Huiqing Li, Simon Thompson

12:00 - 12:30
Talk

Static Backward Demand-Driven Slicing

Bjorn Lisper, Abu Naser Masud, Husni Khanfar

14:00 - 15:30: PEPM 2015 - Analysis at AG80
Chair(s): Kenichi Asai

14:00 - 14:30
Talk

Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics

Ruud Koot, Jurriaan Hage

14:30 - 15:00
Talk

Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages

Hidde Verstoep, Jurriaan Hage

15:00 - 15:30
Talk

Germán Puebla Memorial

Kostis Sagonas, John P. Gallagher, Roberto Giacobazzi, Abu Naser Masud

16:00 - 16:30: PEPM 2015 - Demo at AG80
Chair(s): Kostis Sagonas

16:00 - 16:30
Demonstration

Venkatesh Vinayakarao

Tue 13 Jan 2015


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 11:00 - 12:30																																				PEPM 2015 Types / Code Mining 14:00 - 15:30																								PEPM 2015 Tree and Grammars 16:00 - 17:30

Wed 14 Jan 2015


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 09:00 - 10:30																								PEPM 2015 Transformation / Slicing 11:00 - 12:30																																				PEPM 2015 Analysis 14:00 - 15:30																								PEPM 2015 Demo 16:00 - 16:30

Tue 13 Jan 2015


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

Wed 14 Jan 2015


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