IMPECS-POPL Workshop on Emerging Research & Development Trends in Programming Languages (WEPL) 18th January 2015
Co-located with 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2015)

About

POPL is a premier annual international forum for the discussion of all aspects of programming languages and programming systems. The objectives of WEPL are to present the views of eminent researchers on emerging topics in these areas, and to introduce POPL attendees to activities and opportunities in these areas in universities, institutions, and companies located in India. The workshop will feature invited technical talks by eminent researchers, a poster session for students and faculty to present innovative technical ideas and results, as well as a panel discussion by experts from industry as well as academia. WEPL is aimed at 3^rd and 4^th year UG engineering students, Masters and PhD students, as well as faculty members.

The flyer of the workshop can be found here.

Registration Information

Please visit the following site to register for POPL and for WEPL. (You need to select the WEPL option.)
WEPL registration is free, but is open only to POPL registrants. Registration to WEPL is required to attend WEPL or to present a poster.
We will be providing travel/accommodation reimbursement to WEPL registrants coming from places at least 100km away from TIFR, Mumbai. Reimbursement is limited to a maximum of Rs.3000 5000 per registrant, and is subject to availability of funds. Registrants seeking reimbursement should bring to the workshop (1) copies of train tickets (up to IIAC class), (2) accommodation receipt (if support for accommodation is sought), and (3) a letter from the Head of your Department on official letterhead, stating that you are allowed to attend the workshop and that you do not have financial support from any other source to attend the workshop.

Poster Presentations

We welcome students, faculty members as well as researchers to submit written proposals for technical posters in the areas of programming languages and programming systems. Proposals will be evaluated by a committee, and authors of accepted proposals will be asked to present their posters during the workshop.

More details about poster-proposal submissions are available here. Submissions are now closed.

Important dates

• Deadline for submitting poster proposals: 30^th October 2014 20^th November 2014
• Notification of accepted proposals: 14^th November 2014 27^th November 2014

Accepted posters

• Validation of Loop Concurrentization Transformations for Sequential Programs
  Sudakshina Dutta, Dipankar Sarkar, and Arvind Rawat
• Deriving Bisimulation Relations from Path Extension Based Equivalence Checkers
  Kunal Banerjee, Chittaranjan Mandal, and Dipankar Sarkar
• Translation Validation using Path-Based Equivalence Checking of Petri net based Models of Programs
  Soumyadip Bandyopadhyay, Dipankar Sarkar and Chittaranjan Mandal
• Constraint Graph Reachability and Constraint Ordering for Efficient Points-to Analysis
  Ratnakar Bollu and Rupesh Nasre
  

Program Committee

Ansuman Banerjee (Chair)	Indian Statistical Institute, Kolkata
Komondoor V. Raghavan (Chair)	Indian Institute of Science, Bangalore
Subhajit Roy	Indian Institute of Technology, Kanpur
Supratik Chakraborty	Indian Institute of Technology, Bombay
Rajarshi Ray	National Institute of Technology, Meghalaya
Soumyajit Dey	Indian Institute of Technology, Kharagpur
Sujit Kumar Chakrabarti	International Institute of Information Technology, Bangalore
Rahul Purandare	Indraprastha Institute of Information Technology, Delhi
Ganesan Ramalingam	Microsoft Research
Diptikalyan Saha	IBM Research, India
Akash Lal	Microsoft Research, India
Deepak D'Souza	Indian Institute of Science, Bangalore
Sumesh Divakaran	Indian Institute of Science, Bangalore
Raveendra Kumar M.	Tata Consultancy Services
Nishant Sinha	IBM Research Labs
Vinay Kulkarni	Tata Consultancy Services
Amogh Margoor	Indian Institute Of Science, Bangalore
Y. Raghu Reddy	International Institute of Information Technology, Hyderabad
Girish Maskeri	Infosys Technologies Limited
Aditya Kanade	Indian Institute of Science, Bangalore
Ravindra Naik	Tata Consultancy Services
Sorav Bansal	Indian Institute of Technology, Delhi
Meenakshi D'Souza	International Institute of Information Technology, Bangalore

Invited Speakers

Panel Discussion

Program

Organizers

Contacts

Ansuman Banerjee	ansuman [AT] isical [DOT] ac [DOT] in
K. V. Raghavan	raghavan [AT] csa [DOT] iisc [DOT] ernet [DOT] in