PEPM 2015
Tue 13 - Wed 14 January 2015 Mumbai, India

Dates
Tue 13 Jan 2015
Wed 14 Jan 2015
Rooms
AG80
Tracks
PEPM
Badges
Nothing to filter
Your Program
Nothing to filter
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 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
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
:
: