PEPM 2015
Tue 13 - Wed 14 January 2015 Mumbai, India
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 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
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
Bjorn 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