AG80 - PEPM 2015

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): Konstantinos (Kostis) SagonasUppsala University / NTUA

11:00 - 11:15
Day opening

Welcome

Kenichi AsaiOchanomizu University, Konstantinos (Kostis) SagonasUppsala University / NTUA

11:15 - 12:30
Talk

Invited Talk: Desugaring in Practice: Opportunities and Challenges

Shriram KrishnamurthiBrown University

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

14:00 - 14:30
Talk

Imperative Polymorphism by Store-Based Types as Abstract Interpretations

Casper Bach PoulsenSwansea University, Peter D. MossesSwansea University, Paolo TorriniSwansea University

14:30 - 15:00
Talk

Object-sensitive Type Analysis of PHP

Henk Erik van der HoekUtrecht University, Jurriaan HageUtrecht University

15:00 - 15:30
Talk

Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources

Venkatesh VinayakaraoIIITD, Rahul PurandareIIITD, Aditya Nori

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

16:00 - 16:30
Talk

Generalising Tree Traversals to DAGs

Patrick BahrUniversity of Copenhagen, Emil AxelssonChalmers University of Technology

16:30 - 17:00
Talk

Incremental Evaluation of Higher Order Attributes

Jeroen BransenUtrecht University, Atze DijkstraUtrecht University, S. Doaitse SwierstraUtrecht University

17:00 - 17:30
Talk

Linearly Ordered Attribute Grammars

L. Thomas van BinsbergenUniversity of London, Jeroen BransenUtrecht University, Atze DijkstraUtrecht University

Wed 14 Jan

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

09:00 - 09:30
Talk

Verifying Relational Properties of Functional Programs by First-Order Refinement

Kazuyuki AsadaUniversity of Tokyo, Ryosuke SatoUniversity of Tokyo, Naoki KobayashiUniversity of Tokyo

09:30 - 10:00
Talk

Threads as Resource for Concurrency Verification

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

Bishoksan KafleRoskilde University, John P. GallagherRoskilde University

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

11:00 - 11:30
Talk

SWIN: Towards Type-Safe Java Program Adaptation between APIs

Jun LiPeking University, Chenglong WangPeking University, Yingfei XiongPeking University, Zhenjiang HuNational Institute of Informatics

11:30 - 12:00
Talk

Safe Concurrency Introduction through Slicing

Huiqing LiUniversity of Kent, Simon ThompsonUniversity of Kent

12:00 - 12:30
Talk

Static Backward Demand-Driven Slicing

Bjorn LisperMalardalen University, Abu Naser MasudMalardalen University, Husni KhanfarMalardalen University

14:00 - 15:30: PEPM 2015 - Analysis 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

Ruud KootUtrecht University, Jurriaan HageUtrecht University

14:30 - 15:00
Talk

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

Hidde VerstoepUtrecht University, Jurriaan HageUtrecht University

15:00 - 15:30
Talk

Germán Puebla Memorial

Konstantinos (Kostis) SagonasUppsala University / NTUA, John P. GallagherRoskilde University, Roberto GiacobazziUniversity of Verona, Italy, Abu Naser MasudMalardalen University

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

16:00 - 16:30
Demonstration

Demo

Venkatesh VinayakaraoIIITD

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 Welcome & Invited Talk 11:00 - 12:30																																				PEPM Types / Code Mining 14:00 - 15:30																								PEPM 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 Verification 09:00 - 10:30																								PEPM Transformation / Slicing 11:00 - 12:30																																				PEPM Analysis 14:00 - 15:30																								PEPM 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 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 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 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

Room information: AG80

Tue 13 Jan

Wed 14 Jan

Tue 13 Jan 2015

PEPM

PEPM

PEPM

Wed 14 Jan 2015

PEPM

PEPM

PEPM

PEPM

Tue 13 Jan 2015

Wed 14 Jan 2015

Tracks