BITS Pilani

  • Page last updated on Monday, April 03, 2023

Software Science

CS&IS Department


BITS Pilani Goa Campus Department of CS&IS is Organizing 73rd IFIP 2018. Click here for more details

Whats New?

  • Paper Accepted at IEEE-TSE
  • Paper accepted at PPL (July 2016)
  • Paper accepted at SEM4HPC@HPDC, Japan 2016
  • Paper accepted at Array@PLDI, USA 2016
  • Paper accepted at IEEE TENCON, Singapore 2016
  • Approved project by SERB-DST
  • Paper accepted at IJCNDS, US
  • Organized workshop SEM4HPC@HPDC workshop, Tokyo Japan
  • Paper Published at IEEE TBD 2016
  • Paper accepted at IEEE TR 2017
  • Paper accepted at 22nd IEEE ICPADS 2016
  • Paper accepted at 35th IEEE IPCCC, USA 2016
  • Organized workshop SEM4HPC@HPDC workshop, Washington DC, USA
  • Paper accepted at SEM4HPC@HPDC, USA 2017
  • Paper accepted at PSTI@IPCC, UK 2017
Software artifacts are becoming on-demand and service based. There has been a massive proliferation of different computing platforms on which the software can run, such as multi/many core cluster, massively parallel co-processors, virtualized infrastructure, as well as mobile devices. Each platform poses a unique software engineering challenge to the software built for it. Furthermore, software engineering is increasingly becoming a team enterprise which is often distributed. Dynamics of interaction and collaboration is becoming a crucial aspect to meet today’s rapid development demand. The main focus of Software group is to develop methods and techniques to help building such software.
Thrust Area: Center for High Performance and Dependable Systems 
Focus areas are:
1. Sustain and evolve applications

Here we aim to build techniques that can help the developers to build new applications, or evolve existing applications for the new computing platforms. Some of the research challenges are:
* Providing an appropriate abstraction that can hide the platform specific application development complexities, at the same time exploit the platform specific computation capabilities well.
* Developing techniques for predicting the quality attributes (such as speedup, scalability, energy consumption) of the software that is going to run on the new platform.

2. Assure quality of service

Here we develop software analytics based approach techniques to detect, alert and eliminate events that can hamper the service quality of an operational system. Some of the research challenges are:
* Predict anomalies, silent data corruption and failure through field-data analysis
* Ensure SLA through workload aware capacity planning
* Availability analysis in the event of failure

3. Verify

Here we aim to verify whether the software, developed for the new computing platform is ready to be operational. Specifically the research challenges we focus are:

* Formally verify whether a refactored program preserves the original semantics and satisfies various quality attributes
* Develop techniques to test and measure software fault-tolerance

Software Science



Technical Reports

Sponsors and Collaborators



Contact Us

CSIS Office
BITS, Pilani, K.K. Birla - Goa Campus  
NH - 17B Bypass Road
Zuarinagar, Goa - 403726
 Tel: +91-832-2580107        

Quick Links

An Institution Deemed to be University estd. vide Sec.3 of the UGC Act,1956 under notification # F.12-23/63.U-2 of Jun 18,1964

© 2023 Centre for Software Development,SDET Unit, BITS-Pilani, India.

Designed and developed by fractal | ink design studios