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.
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
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.
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 )
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.
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 firstname.lastname@example.org.
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.
15th October 2017, 23:59 IST
Notification of acceptance:
23rd October 2017
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
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|
|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|
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