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 Committees
Track Committees
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
PEPM 2021
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
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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 Delhi
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-06:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:30) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-02:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Greenwich Mean Time : Belfast
(GMT) Greenwich Mean Time : Dublin
(GMT) Greenwich Mean Time : Lisbon
(GMT) Greenwich Mean Time : London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+06:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+10:00) Magadan
(GMT+11:30) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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 Talk
PEPM 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 Mining
PEPM 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 Grammars
PEPM 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
Times are displayed in time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
09:00 - 10:30
Verification
PEPM 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 / Slicing
PEPM 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
Bjorn Lisper
Malardalen University
,
Abu Naser Masud
Malardalen University
,
Husni Khanfar
Malardalen University
14:00 - 15:30
Analysis
PEPM 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
Demo
PEPM 2015
at
AG80
Chair(s):
Konstantinos (Kostis) Sagonas
Uppsala University / NTUA
16:00
30m
Demonstration
Demo
PEPM 2015
Venkatesh Vinayakarao
IIITD
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
x
Fri 16 Apr 04:24