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
Times are displayed in 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

Wed 14 Jan
Times are displayed in 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

Tue 13 Jan
Times are displayed in time zone: Chennai, Kolkata, Mumbai, New Delhi change

Wed 14 Jan
Times are displayed in time zone: Chennai, Kolkata, Mumbai, New Delhi change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
AG80
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)