Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources (PEPM 2015) - PEPM 2015

Tue 13 - Wed 14 January 2015 Mumbai, India

Who

Venkatesh Vinayakarao, Rahul Purandare, Aditya Nori

Track

Time Zone

The program is currently displayed in (GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi.

Use conference time zone: (GMT+05:30) Chennai, Kolkata, Mumbai, New DelhiSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Tue 13 Jan 2015 15:00 - 15:30 at AG80 - Types / Code Mining Chair(s): Simon Thompson

Venkatesh Vinayakarao

IIITD

Rahul Purandare

IIITD

Aditya Nori

Time Zone

The program is currently displayed in (GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi.

Use conference time zone: (GMT+05:30) Chennai, Kolkata, Mumbai, New DelhiSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Tue 13 Jan
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

	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 Venkatesh Vinayakarao IIITD, Rahul Purandare IIITD, Aditya Nori