Winter School in Software Engineering

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.

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.

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 winter.school@tcs.com.

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.