Winter School in Software Engineering

11-16 December 2017, TCS, Pune


Winter School in Software Engineering (WSSE) aims to encourage students to delve into Software Engineering Research by providing them with a forum to get a first hand experience of the field. Renowned speakers from regional and international research communities will discuss on a range of topics in software engineering that uncover state-of-the-art research, on-going explorations and open problems in the field, together with providing hands-on experience for the participants. Also, experts from the industry will provide their perspective on software engineering in practice as well as give prototype tool demonstrations. WSSE will present an excellent forum to network with top academicians, industry researchers and fellow students, discuss advances in the area and learn from a rich lineup of talks.

The inaugural WSSE will focus on the area of Program Analysis. WSSE will be held from Monday, December 11th to Saturday, December 16th 2017 at the Auditorium, Tata Research Development and Design Centre (TRDDC), Pune -411013, Maharashtra, India.

Program Schedule

The Winter School in Software Engineering is 6 day event. Download Schedule: pdf, ics

Speaker Details and Lecture Notes

1. Sumit Gulwani (Microsoft Research)

Sumit Gulwani is a Research manager at Microsoft, leading the PROSE research and engineering team. Sumit has published 110+ papers in top-tier conferences/journals across multiple computer science areas, and delivered 30+ keynotes/invited talks at various forums. He was awarded the ACM SIGPLAN Robin Milner Young Researcher Award in 2014 for his pioneering contributions to end-user programming and intelligent tutoring systems.
Link to Slides

2. Frank Tip (Northeastern University, Boston, USA) - Unable to attend due to personal emergency

Frank Tip is a Professor at the College of Computer and Information Science at Northeastern University. His work has been in a wide variety of research areas, like software engineering,  program analysis, test generation, analysis of web applications etc. Prior to his current role, Frank has served as Senior Principal Engineer at Samsung Research America; as a Professor and Cheriton Research Chair in the David R. Cheriton School of Computer Science.
Link to Slides

3. Alessandro (Alex) Orso (Georgia Institute of Technology, Atlanta, USA)

Alessandro Orso is a Professor in the College of Computing at the Georgia Institute of Technology. His area of research is software engineering, with emphasis on software testing and program analysis. Dr. Orso has worked with government agencies, such as DARPA and NSF, and various industries, such as Fujitsu Labs, Google, IBM, and Microsoft. Dr. Orso is a senior member of the ACM and of the IEEE Computer Society.
Link to Slides

4. Uday Khedker (IIT Bombay, India)

Uday Khedker is a Professor at Indian Institute of Technology Bombay (IITB). He is currently head of computer science department of IITB. His areas of interest are programming languages, compilers and program analysis. He has been working in the area of optimizing compilers for over two decades. Current sub-areas of interest include Interprocedural Data Flow Analysis, Heap Reference Analysis, Pointer Analysis, Automatic Parallelization and Vectorization, and Compiler Verification.
Link to Slides

5. Supratik Chakraborty (IIT Bombay, India)

Supratik Chakraborty is currently Bajaj Group Chair Professor in the Department of Computer Science and Engineering at Indian Institute of Technology (IIT) Bombay, India. Supratik’s current research interests include formal methods, with an emphasis on scalable algorithmic techniques for formally analyzing hardware, software and biological systems. Supratik serves on the Technical Advisory Board of Microsoft Research India, and on the Council of Indian Association for Research in Computing Science (IARCS).
Link to Slides

6. R Venkatesh (TCS Research, Pune, India)

R Venkatesh is a chief scientist with TCS Research, leading the Software Verification & Validation group. He has been with TCS for more than 25 years. His research interests lie primarily in the areas of test generation, program analysis, model checking etc. He has lead the development of several industry strength tools such as MasterCraft, TCS ECA, EDT and so on. Venkatesh heads the ACM India education council and is chairperson of ACM iSIGCSE.

7. Aseem Rastogi (Microsoft Research India)

Aseem Rastogi is a Researcher at Microsoft Research India. His work spans the areas of language design, type systems, program verification, and software security. More specifically, he is interested in developing formal techniques for writing provably correct and secure software. Currently he is working on F*, a language for program verification, and the Project Everest.
Link to Slides

Short/Industry Talk Speakers

1. Sumesh Divakaran, Government Engineering College - Idukki, India

2. Prahlad Sampath, Mathworks, India

3. Somashekhara Bhaskaracharya, National Instruments, India

4. Diptikalyan Saha, IBM Research, India

All participants are requested to preferably download and install the tools suggested by some of the speakers BEFORE they arrive at the school.


Eligibility Criteria

Candidates having computer science background, are welcome to apply for participation in WSSE 2017. The school is open to:
○ PhD students ( primarily in Programming Languages / Software Engineering )
○ Master's students ( desirable to have taken course on compiler construction and/or program analysis at under-grad or master's level )
○ Third-year or Final-year under-grad students ( desirable to have taken course on compiler construction )
○ Faculty members ( preference for those pursuing PhD in software engineering )
○ Industry practitioners ( preferably working in research or R&D in software engineering, with exposure to tools in software analysis / software engineering )

Application Process

As the number of participants is limited to 65, all prospective participants will have to apply and provide the following:
○ Aggregate Grades / Marks [applicable for all students]
○ A paragraph written by the applicant describing motivation to attend WSSE
○ A short CV of the applicant (highlighting grades / marks in all years of study, publications if any, and areas of interest)

Based on the above information, approximately 65 participants will be chosen from all qualified applicants. Only the short-listed applicants will be asked to register for the WSSE on the registration site. Application forms will be available soon on the WSSE website. Keep checking this space for updates.

Apply Now
(For Student participants)
Apply Now
(For Faculty and Industry participants)

Shortlisted Participants

Notification mail is sent to every applicant listed below. If your name is in the below list but have not received notification mail, please check your spam folder, and then contact

Registration Fees

Registration fees for students and faculty is INR 2000.
Registration fees for Industry participants is INR 5000.

The fees include lectures, tea/coffee during breaks, and lunch on WSSE event days. Thanks to our generous sponsors, shared hostel accommodation for student participants from outside Pune and travel by bus from the hostel accommodation to the venue and return, will be covered by the registration fees. WSSE will consist of a variety of lectures, industry talks, and hands-on sessions. Hence, participants are requested to bring their own laptops.

Important Dates

Application deadline: 15th October 2017, 23:59 IST

Notification of acceptance: 23rd October 2017

Registration deadline: 31st October 2017, 18:00 IST

Event dates: December 11th (Monday) to December 16th (Saturday) 2017


Tata Research Development and Design Centre (TRDDC)
Address:    54-B, Hadapsar Industrial Estate, Hadapsar, Pune - 411013, Maharashtra, India
Phone:       +91-20 6608 6333

Click here to view on map

Reaching the venue

From Pune International Airport (Lohegaon)
○ TRDDC is approximately 13 kms away from Pune airport.
○ Prepaid cabs can be availed from the airport.
○ You may book Ola, Uber or Meru

From Pune Railway Station
○ Cab/ Auto Rickshaw: TRDDC is approximately 7 kms away from Pune station. Expected fare should be around 100 rupees.
○ PMPML Buses: Take a bus to Hadapsar and get off at Vaidu Wadi (the stop after Ramtekdi road)

From Swargate ST Stand
○ Cab/Auto Rickshaw: TRDDC is approximately 7 kms away from Swargate ST stand. Expected fare should be around 100 rupees.
○ PMPML Buses: Take a bus to Hadapsar and get off at Vaidu Wadi (the stop after Ramtekdi road).

Above is the map to reach the WSSE venue TRDDC from Vaidu Wadi


Hotels near TRDDC

Cocoon Near Destination Center, Magarpatta City, Hadapsar, Pune - 411013, Maharashtra, India +91-20 6624 4444
The Central Park Near Inox Multiplex, Bund Garden Rd, Agarkar Nagar, Pune - 411001, Maharashtra, India +91-20 4010 4000
Vivanta by Taj, Blue Diamond 11, Koregaon Road, Vasani Nagar, Koregaon Park, Pune - 411001, Maharashtra, India +91-20 6602 5555
Bhagyashree Executive Sr.No. 169, Tupe Nagar, Behind Suzlon Co., Near Amanora Park Town, Hadapsar, Pune - 411028, Maharashtra, India +91-70424 24242
Lotus Lane No. 5, Koregaon Park, Suyojana Society, Meera Nagar, Koregaon Park, Pune - 411001, Maharashtra, India +91-70424 24242

Restaurants Near TRDDC

The Grand Buffet Second Floor, Seasons Mall, Magarpatta, Hadapsar, Pune - 411028, Maharashtra, India/td> +91-91300 74131
Fly High Third Floor, Seasons Mall, Magarpatta, Hadapsar, Pune - 411028 -
Barbeque Nation 2nd Floor, East Block, Amanora Town Center, Hadapsar, Pune - 411028, Maharashtra, India 1800 108 6060
Global Punjab Destination Center, Magarapatta City, Hadapsar, Pune - 411028, Maharashtra, India +91-89560 03300
Budget Outlets
Food court Destination Center, Magarapatta City, Hadapsar, Pune - 411028, Maharashtra, India -
Food court Third Floor, Seasons Mall, Magarapatta, Hadapsar, Pune - 411028, Maharashtra, India -
Food court 2nd Floor, East Block, Amanora Town Center, Hadapsar, Pune - 411028, Maharashtra, India -

Hostels for student participants (who have opted for hostels)

Women Student Participants
Sinhgad Academy of Engineering Hostels S.No. 40/4, Near Octroi Post, Kondhava-Saswad Road, Kondhava (BK), Pune 411048 (map)
Men Student Participants
Vishwakarma Institute Of Information Technology Yashodhan Society, Kapil Nagar, Survey No. 3/4, Kondhwa (Budruk), Pune – 411048 (map)

Breakfast and Dinner arrangements are made in the hostel mess and/or canteen.



The organizing committee for the first school consists of the following people:

Amey Karkare IIT, Kanpur
K. V. Raghavan IISc, Bangalore
Rahul Purandare IIITD, Delhi
Ravindra Naik, Chair TRDDC, Pune
Sridhar Chimalakonda IIT Tirupati
Subodh Sharma IIT, Delhi

Emergency Information

Medical Aid at TRDDC:
A General Physician will be available on Tuesday and Friday during 2 PM to 3 PM at TRDDC for any emergency.

Medical Aid Near TRDDC:

Sahyadri Hospital G & G Towers, S.No.153/A, Pune-Solapur Road, Near Bashree Restaurant, Hadapsar, Pune - 411028, Maharashtra, India +91-20 6721 3400
Noble Hospital 153, Magarpatta City Road, Hadapsar, Pune - 411028, Maharashtra, India +91-20 6628 5000
Inamdar Hospital S. No. 15, Fatima Nagar, Wanowarie, Pune - 411040, Maharashtra, India +91-20 6681 2288
Dr Dharmadhikari (ENT) Hospital 1, Nitin Heights, Opp. Janaseva Bank, Pune-Solapur Highway, Hadapsar, Pune - 411028, Maharashtra, India +91-20 2699 9201

Emergency Contact Numbers:
     ○ Pune Police Control Room 100
     ○ Ambulance 101
     ○ Pune Police Headquarters +91-20 2612 2880
     ○ Pune Airport (Lohegaon) +91-20 2668 5201
     ○ Pune Police (Hadapsar) +91-20 2699 6577
     ○ Pune Police (Kondhwa) +91-20 2693 0780