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

Conference Dates
Conference Dates are in time zone (GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
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) SagonasUppsala University / NTUA
11:00
15m
Day opening
Welcome
PEPM 2015
Kenichi AsaiOchanomizu University, Konstantinos (Kostis) SagonasUppsala University / NTUA
11:15
75m
Talk
Invited Talk: Desugaring in Practice: Opportunities and Challenges
PEPM 2015
Shriram KrishnamurthiBrown University
14:00 - 15:30
Types / Code MiningPEPM 2015 at AG80
Chair(s): Simon ThompsonUniversity of Kent
14:00
30m
Talk
Imperative Polymorphism by Store-Based Types as Abstract Interpretations
PEPM 2015
Casper Bach PoulsenSwansea University, Peter D. MossesSwansea University, Paolo TorriniSwansea University
14:30
30m
Talk
Object-sensitive Type Analysis of PHP
PEPM 2015
Henk Erik van der HoekUtrecht University, Jurriaan HageUtrecht 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 GibbonsUniversity of Oxford, UK
16:00
30m
Talk
Generalising Tree Traversals to DAGs
PEPM 2015
Patrick BahrUniversity of Copenhagen, Emil AxelssonChalmers University of Technology
16:30
30m
Talk
Incremental Evaluation of Higher Order Attributes
PEPM 2015
Jeroen BransenUtrecht University, Atze DijkstraUtrecht University, S. Doaitse SwierstraUtrecht University
17:00
30m
Talk
Linearly Ordered Attribute Grammars
PEPM 2015
L. Thomas van BinsbergenUniversity of London, Jeroen BransenUtrecht University, Atze DijkstraUtrecht University

Conference Day
Wed 14 Jan

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

09:00 - 10:30
VerificationPEPM 2015 at AG80
Chair(s): Konstantinos (Kostis) SagonasUppsala University / NTUA
09:00
30m
Talk
Verifying Relational Properties of Functional Programs by First-Order Refinement
PEPM 2015
Kazuyuki AsadaUniversity of Tokyo, Ryosuke SatoUniversity of Tokyo, Naoki KobayashiUniversity of Tokyo
09:30
30m
Talk
Threads as Resource for Concurrency Verification
PEPM 2015
Duy-Khanh LeNational University of Singapore, Wei-Ngan ChinNational University of Singapore, Yong Meng TeoNational University of Singapore
10:00
30m
Talk
Constraint Specialisation in Horn Clause Verification
PEPM 2015
Bishoksan KafleRoskilde University, John P. GallagherRoskilde University
11:00 - 12:30
Transformation / SlicingPEPM 2015 at AG80
Chair(s): Jurriaan HageUtrecht University
11:00
30m
Talk
SWIN: Towards Type-Safe Java Program Adaptation between APIs
PEPM 2015
Jun LiPeking University, Chenglong WangPeking University, Yingfei XiongPeking University, Zhenjiang HuNational Institute of Informatics
11:30
30m
Talk
Safe Concurrency Introduction through Slicing
PEPM 2015
Huiqing LiUniversity of Kent, Simon ThompsonUniversity of Kent
12:00
30m
Talk
Static Backward Demand-Driven Slicing
PEPM 2015
Bjorn LisperMalardalen University, Abu Naser MasudMalardalen University, Husni KhanfarMalardalen University
14:00 - 15:30
AnalysisPEPM 2015 at AG80
Chair(s): Kenichi AsaiOchanomizu University
14:00
30m
Talk
Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics
PEPM 2015
Ruud KootUtrecht University, Jurriaan HageUtrecht University
14:30
30m
Talk
Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages
PEPM 2015
Hidde VerstoepUtrecht University, Jurriaan HageUtrecht University
15:00
30m
Talk
Germán Puebla Memorial
PEPM 2015
Konstantinos (Kostis) SagonasUppsala University / NTUA, John P. GallagherRoskilde University, Roberto GiacobazziUniversity of Verona, Italy, Abu Naser MasudMalardalen University
16:00 - 16:30
DemoPEPM 2015 at AG80
Chair(s): Konstantinos (Kostis) SagonasUppsala University / NTUA
16:00
30m
Demonstration
Demo
PEPM 2015