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
Tue 13 Jan Times are displayed in time zone: Chennai, Kolkata, Mumbai, New Delhi change
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 15mDay opening | Welcome PEPM 2015 | ||
11:15 75mTalk | Invited Talk: Desugaring in Practice: Opportunities and Challenges PEPM 2015 Shriram KrishnamurthiBrown University | ||
14:00 - 15:30 | |||
14:00 30mTalk | Imperative Polymorphism by Store-Based Types as Abstract Interpretations PEPM 2015 Casper Bach PoulsenSwansea University, Peter D. MossesSwansea University, Paolo TorriniSwansea University | ||
14:30 30mTalk | Object-sensitive Type Analysis of PHP PEPM 2015 | ||
15:00 30mTalk | Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources PEPM 2015 | ||
16:00 - 17:30 | |||
16:00 30mTalk | Generalising Tree Traversals to DAGs PEPM 2015 | ||
16:30 30mTalk | Incremental Evaluation of Higher Order Attributes PEPM 2015 Jeroen BransenUtrecht University, Atze DijkstraUtrecht University, S. Doaitse SwierstraUtrecht University | ||
17:00 30mTalk | 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
Wed 14 Jan
Times are displayed in time zone: Chennai, Kolkata, Mumbai, New Delhi change
09:00 - 10:30 | |||
09:00 30mTalk | 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 30mTalk | 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 30mTalk | Constraint Specialisation in Horn Clause Verification PEPM 2015 | ||
11:00 - 12:30 | |||
11:00 30mTalk | 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 30mTalk | Safe Concurrency Introduction through Slicing PEPM 2015 | ||
12:00 30mTalk | Static Backward Demand-Driven Slicing PEPM 2015 Bjorn LisperMalardalen University, Abu Naser MasudMalardalen University, Husni KhanfarMalardalen University | ||
14:00 - 15:30 | |||
14:00 30mTalk | Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics PEPM 2015 | ||
14:30 30mTalk | Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages PEPM 2015 | ||
15:00 30mTalk | 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 | |||
16:00 30mDemonstration | Demo PEPM 2015 | ||
Tue 13 Jan Times are displayed in time zone: Chennai, Kolkata, Mumbai, New Delhi change
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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Wed 14 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
| 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Tue 13 Jan Times are displayed in time zone: Chennai, Kolkata, Mumbai, New Delhi change
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 Object-sensitive Type Analysis of PHP 14:30 - 15:00 | PEPM Generalising Tree Traversals to DAGs 16:00 - 16:30 | PEPM Linearly Ordered Attribute Grammars 17:00 - 17:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Wed 14 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
| 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 Threads as Resource for Concurrency Verification 09:30 - 10:00 | PEPM Safe Concurrency Introduction through Slicing 11:30 - 12:00 | PEPM Static Backward Demand-Driven Slicing 12:00 - 12:30 | PEPM Germán Puebla Memorial 15:00 - 15:30 | PEPM Demo 16:00 - 16:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
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