PEPM 2015
Tue 13 - Wed 14 January 2015
Mumbai, India
Toggle navigation
Attending
Venue: Tata Institute of Fundamental Research
List of accepted papers
Research Paper Advice
Tool Paper Advice
Program
Complete Program
Your Program
Tue 13 Jan
Wed 14 Jan
Track/Call
Organization
PEPM 2015
PEPM 2015
Program Committee
PEPM 2015
Steering Committee
Contributors
People Index
Search
Series
Series
PEPM 2020
PEPM 2019
PEPM 2018
PEPM 2017
PEPM 2016
PEPM 2015
Sign in
Sign up
PEPM 2015
(
series
) /
Tata Institute of Fundamental Research
/
Room information: AG80
Venue
Tata Institute of Fundamental Research
Room name
AG80
Floor
0
Room number
AG80
Capacity
50
Additional information
There is no additional information of this room available.
Program
Detailed Table
Session Timeline
Detailed Timeline
Tue 13 Jan
cfp
11:00 - 12:30:
PEPM 2015
- Welcome & Invited Talk at
AG80
Chair(s):
Konstantinos (Kostis) Sagonas
Uppsala University / NTUA
cfp
11:00 - 11:15
Day opening
Welcome
Kenichi Asai
Ochanomizu University
,
Konstantinos (Kostis) Sagonas
Uppsala University / NTUA
cfp
11:15 - 12:30
Talk
Invited Talk: Desugaring in Practice: Opportunities and Challenges
Shriram Krishnamurthi
Brown University
cfp
14:00 - 15:30:
PEPM 2015
- Types / Code Mining at
AG80
Chair(s):
Simon Thompson
University of Kent
cfp
14:00 - 14:30
Talk
Imperative Polymorphism by Store-Based Types as Abstract Interpretations
Casper Bach Poulsen
Swansea University
,
Peter D. Mosses
Swansea University
,
Paolo Torrini
Swansea University
cfp
14:30 - 15:00
Talk
Object-sensitive Type Analysis of PHP
Henk Erik van der Hoek
Utrecht University
,
Jurriaan Hage
Utrecht University
cfp
15:00 - 15:30
Talk
Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources
Venkatesh Vinayakarao
IIITD
,
Rahul Purandare
IIITD
,
Aditya Nori
cfp
16:00 - 17:30:
PEPM 2015
- Tree and Grammars at
AG80
Chair(s):
Jeremy Gibbons
University of Oxford, UK
cfp
16:00 - 16:30
Talk
Generalising Tree Traversals to DAGs
Patrick Bahr
University of Copenhagen
,
Emil Axelsson
Chalmers University of Technology
cfp
16:30 - 17:00
Talk
Incremental Evaluation of Higher Order Attributes
Jeroen Bransen
Utrecht University
,
Atze Dijkstra
Utrecht University
,
S. Doaitse Swierstra
Utrecht University
cfp
17:00 - 17:30
Talk
Linearly Ordered Attribute Grammars
L. Thomas van Binsbergen
University of London
,
Jeroen Bransen
Utrecht University
,
Atze Dijkstra
Utrecht University
Wed 14 Jan
cfp
09:00 - 10:30:
PEPM 2015
- Verification at
AG80
Chair(s):
Konstantinos (Kostis) Sagonas
Uppsala University / NTUA
cfp
09:00 - 09:30
Talk
Verifying Relational Properties of Functional Programs by First-Order Refinement
Kazuyuki Asada
University of Tokyo
,
Ryosuke Sato
University of Tokyo
,
Naoki Kobayashi
University of Tokyo
cfp
09:30 - 10:00
Talk
Threads as Resource for Concurrency Verification
Duy-Khanh Le
National University of Singapore
,
Wei-Ngan Chin
National University of Singapore
,
Yong Meng Teo
National University of Singapore
cfp
10:00 - 10:30
Talk
Constraint Specialisation in Horn Clause Verification
Bishoksan Kafle
Roskilde University
,
John P. Gallagher
Roskilde University
cfp
11:00 - 12:30:
PEPM 2015
- Transformation / Slicing at
AG80
Chair(s):
Jurriaan Hage
Utrecht University
cfp
11:00 - 11:30
Talk
SWIN: Towards Type-Safe Java Program Adaptation between APIs
Jun Li
Peking University
,
Chenglong Wang
Peking University
,
Yingfei Xiong
Peking University
,
Zhenjiang Hu
National Institute of Informatics
cfp
11:30 - 12:00
Talk
Safe Concurrency Introduction through Slicing
Huiqing Li
University of Kent
,
Simon Thompson
University of Kent
cfp
12:00 - 12:30
Talk
Static Backward Demand-Driven Slicing
Bjorn Lisper
Malardalen University
,
Abu Naser Masud
Malardalen University
,
Husni Khanfar
Malardalen University
cfp
14:00 - 15:30:
PEPM 2015
- Analysis at
AG80
Chair(s):
Kenichi Asai
Ochanomizu University
cfp
14:00 - 14:30
Talk
Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics
Ruud Koot
Utrecht University
,
Jurriaan Hage
Utrecht University
cfp
14:30 - 15:00
Talk
Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages
Hidde Verstoep
Utrecht University
,
Jurriaan Hage
Utrecht University
cfp
15:00 - 15:30
Talk
Germán Puebla Memorial
Konstantinos (Kostis) Sagonas
Uppsala University / NTUA
,
John P. Gallagher
Roskilde University
,
Roberto Giacobazzi
University of Verona, Italy
,
Abu Naser Masud
Malardalen University
cfp
16:00 - 16:30:
PEPM 2015
- Demo at
AG80
Chair(s):
Konstantinos (Kostis) Sagonas
Uppsala University / NTUA
cfp
16:00 - 16:30
Demonstration
Demo
Venkatesh Vinayakarao
IIITD
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
x
Mon 16 Dec 03:33