Workshop on Program Analysis, Software Engineering and Formal Methods

6 November 2017
Organized by

Department of Computer Science & Engineering,
National Institute of Technology Meghalaya


The objective of the workshop is to bring together Computer Science enthusiasts, particularly those interested in the topics of program analysis, software engineering and formal methods. It will also provide a platform for research scholars in Computer Science and Engineering to present their work to subject experts and peers. The workshop will include talks and hands-on sessions by experts from industry and academia. Speakers will give a gentle introduction to the subject, followed by glimpes of advanced topics. There shall be a poster session and research talks by Ph.D. students to foster interactions and collaborations.

List of Speakers

1. Dr. Amey Karkare, Associate Professor, IIT Kanpur

Dr Amey Karkare completed his PhD from IIT Bombay in 2009, and B.Tech. from IIT Kanpur in 1998. He has more than 6 years of industrial experience most of which is in the area of Compiler related development and optimizations. Dr Karkare joined the faculty of CSE department at IIT Kanpur in June 2010. The current focus of Dr Karkare’s group is in the area of optimizing compilers and intelligent tutoring systems. He is a recipient of Infosys Fellowship during PhD, and P.K. Kelkar Young Faculty research fellowship at IIT Kanpur.

2. Dr. Himadri Sekhar Paul, Senior Research Scientist, TCS Innovation Lab, Kolkata

Dr. Himadri Sekhar Paul is working as a Senior Scientist at TCS Innovation Labs, Kolkata. Dr. Paul completed his Bachelor of Engineering from Jadavpur University in 1996, Master of Technology from IIT Kanpur in 1998 and PhD from IIT Kharagpur in 2004 all in Computer Science and Engineering. He has worked in reputed industry houses like Silicon Automation Systems and Interra Systems India Pvt. Ltd. He has also worked as Assistant Professor in Computer Science and Engineering at IIT Guwahati. Dr. Paul has widely published in the areas of distributed systems, fault tolerance, cloud computing and Internet of Things (IoT). His current research interests are cloud computing and distributed analytics in IoT.

3. Dr. Pavan Kumar Chittimalli, TRDDC Pune

Pavan Kumar Chittimalli is working as a Senior Scientist in TCS Innovation Labs, TRDDC, Pune. He has done his M.Tech in CSE from IIT Guwahati. He joined TRDDC as a research associate in year 1999. During the period 2004-08, he worked as a visiting research scientist at Georgia Tech, Atlanta as part of TCS-Georgia Institute of Technology collaboration. His interesting areas are Program Analysis, Program Comprehension, Reverse Engineering, Software Regression Testing, Verification and Validation. Pavan Kumar Chittimalli's current research focuses on ways to extract system properties from source code and available documentation. This also involves in defining the enterprise system model to capture the reference models. He has proposed novel methods to analyze and verify the extracted models from the source artefacts to prove the absence of inconsistencies. In the past, he worked in the area of regression testing and program comprehension using static and dynamic program analysis techniques. Google Scholar Link

4. to be updated soon ...


The target participants for this workshop are graduate, post-graduate students, research scholars and faculty members in Computer Science and Engineering.

Call for Posters

The workshop will showcase student posters. The poster session will provide an opportunity for students to interact with experts and researchers and practitioners from academia and industry participating the workshop.

Recent research trends, ideas, on-going work and other research projects are invited to be presented as a Poster in the workshop in the areas including but not limited to topics listed below:

  • Program Analysis
  • Software Engineering
  • Computer Architectures
  • Cyber-physical Systems
  • Formal Methods

Important Dates for Posters

Submissions Opens: October 14, 2017

Submit Your Poster Here

Poster Submission Deadline: October 27, 2017 October 21, 2017
Poster Acceptance Notification: October 31, 2017 October 27, 2017
Poster Session: November 6, 2017

Only accepted posters are to be presented in the workshop. Presenters should bring the printed poster, which should be A0 size (33.11 inch x 46.81 inch, landscape or portrait). We will provide boards where you can display your poster.

*Authors of selected posters will be invited for oral presentation during the workshop.


There is no registration fee. Tea and snacks only, will be provided during the workshop. The number of participants is limited to 60.

Registration Form

Notification of Acceptance: 28th October (Saturday) 2017

Event Dates: 6th November (Monday) 2017

Programme Schedule

Tentative Event Schedule

Day Program Schedule
9.15 AM to 10.45 AM Tea Break 11.00 AM to 12.30 PM Lunch Break 2.00 PM to 3.00 PM 3.00 PM to 4.00 PM
Day 1: 6th November 2017 (Monday) Talk by
Dr Amey Karkare
Talk by
Dr. Himadri Sekhar Paul
Poster Session Talk by Dr. Pavan Kumar Chittimalli


Department of Computer Science & Engineering,
National Institute of Technology Meghalaya,
Bijni Complex, Laitumkhrah Shillong-793003,
Meghalaya, India
Phone: 0364-2501294 | Fax: 0364-2501113

Click to view on Google Map

How to reach the Venue
Reaching Shillong by Air
To reach Shillong by Air one has to take a flight to Gopinath Bordoloi Airport, Guwahati, Assam. From there one can reach Shillong in three hours by hiring Taxi (Rs. 2000/- per car, Approx.) or a shared Taxi (Rs. 500/- per Passenger, Approx.).
Reaching Shillong by Rail
The nearest railway station is Guwahati. From the railway station, one can travel by bus or shared taxi (Rs. 150/- to Rs. 300/- per passenger) to Shillong. It takes about 3 hours to reach Shillong.
Reaching the campus
After reaching Shillong, one can hire local taxi to reach the campus at Bijni Complex, Laitumkhrah.



Patron Prof. B. B. Biswal, Director, NIT Meghalaya
Convener: Dr. Rajarshi Ray, Assistant Professor, NIT Meghalaya
Organizing Committee: Dr. Rajarshi Ray, Assistant Professor, NIT Meghalaya
Dr. Diptendu Sinha Roy, Associate Professor and Head of Department, CSE, NIT Meghalaya
Dr. Ansuman Bhattacharya, Assistant Professor, NIT Meghalaya
Dr. Alok Chakrabarty, Assistant Professor, NIT Meghalaya
Dr. Kamalika Datta, Assistant Professor, NIT Meghalaya
Mr. Aloke Datta , Assistant Professor, NIT Meghalaya
Mr. Deepak Kumar, Assistant Professor, NIT Meghalaya
Mr. Manjish Pal, Assistant Professor, NIT Meghalaya
Mr. Akhilendra Pratap Singh, Assistant Professor, NIT Meghalaya
Mrs. Surmila Thokchom, Assistant Professor, NIT Meghalaya
Dr. Ansuman Banerjee, Associate Professor, Advanced Computing and Microelectronics Unit, ISI Kolkata
Poster Chairs: Dr. Ansuman Banerjee, Associate Professor, Advanced Computing and Microelectronics Unit, ISI Kolkata
Dr. Rajarshi Ray, Assistant Professor, NIT Meghalaya
Poster Evaluation Committee: Amit Gurung, Research Scholar, NIT Meghalaya
Bernard Nongpoh, Research Scholar, NIT Meghalaya
Phrangboklang L. Thangkhiew, Research Scholar, NIT Meghalaya
P Mercy Rani, Research Scholar, NIT Meghalaya
Leniency Marbaniang, Research Scholar, NIT Meghalaya
C Lalengmawia, Research Scholar, NIT Meghalaya
Subhendu Sekhar Paik, Research Scholar, NIT Meghalaya
Wajahat Hussain Mir, Research Scholar, NIT Meghalaya
Contact: Dr. Rajarshi Ray,
Department of Computer Science & Engineering, NIT Meghalaya,
Bijni Complex, Laitumkhrah, Shillong 793003.
Mobile No.: +91-9485177043


Participants may book their own accommodations in nearby hotels in Laitumkhrah and Police Bazar regions. Some of the names are provided below for your guidance (however we do not have any kinds of tie-up or arrangement with any of them)

  • Hotel Yalana Laitumkhrah: 0364-2211240
  • Hotel Poinisuk Laitumkhrah: 0364-7100030
  • Hotel Centre Point Police Bazar: 0364-2220480
  • Pinewood Hotel Shillong: 0364-2223116

Funded By


Emergency Contact Information

    Medical Emergency
  • Nazareth Hospital Laitumkhrah: 0364-2210188 / 0364-2224052
  • Woodland Hospital Dhankheti: 0364-2225240 / 0364-2224885
  • Civil Hospital Laban: 0364-2224100 / 0364-2223889
  • NEIGRIHMS Mawdiangdiang: 0364-2538013 / 0364-2590593 / 0364-2590623
    Shillong Emergency Numbers
  • Ambulance (Civil Hospital): 0364-2224100 / 0364-2223889
  • Fire Station: 0364-2222000 / 0364-2227700
  • Shillong Electricity Board: 0364-2223050 / 0364-2223778 / 0364-2222222
  • Police Station: 100