Congratulations to our alumna Dr. Suparna Bhattacharya for being selected as an IEEE fellow: https://www.ieee.org/content/dam/ieee-org/ieee/web/org/about/fellows/2022-ieee-fellows-class.pdf”

Congratulations to Prof. Sridharan Devarajan for receiving the Swarnajayanti Fellowship.

Congratulations to all the academic medal winners for 2018-2019 and 2019-2020: https://www.csa.iisc.ac.in/student-medals/

Prof. Arkaprava Basu wins Cray APJ Abdul Kalam HPC Award under the Younger Research Category in R&D in HPC Systems (Hardware and Software).

Many Congratulations to Dr. Arpita Biswas for winning the INAE (Indian National Academy of Engineering) Innovative Student Projects Award 2021 for her Doctoral thesis.

She was advised by Prof. S. Barman and Prof. Y. Narahari.

Sruthi Gorantla, advised by Prof. Anand Louis, receives 2021 Google Ph.D. fellowship. https://research.google/outreach/phd-fellowship/recipients/

Congratulations to Arkaprava Basu, faculty member of CSA IISc, for receiving the Intel Rising Faculty Award 2021.

He is the sole recipient from India, among an elite worldwide group of only ten awardees.

Congratulations to Chaya Ganesh for receiving the prestigious IBM Global University Program Award:

https://www.research.ibm.com/university/awards/university-awards-recipients.html

The award fosters collaboration between researchers at leading universities and IBM Researchers & Technologists worldwide.

Prof. K. Gopinath superannuated in July 2021 after 31 years of service to CSA and IISc.  He has contributed with great versatility and distinction across the entire spectrum of the systems stack at CSA, covering architecture, operating systems, compilers, and storage, to name just a few. His work in top-fora publications brought higher visibility to the Department.  He has always provided a different and interesting perspective to problems, technical or otherwise, triggering stimulating discussions.

He will be starting his second stint at Plaksha Institute.

Prof. Y.N Srikant retired in July 2021 after superannuation. He has dedicated 34 years of service to CSA and IISc. His contributions to CSA and IISc over the last four decades have been immense. He is one of the first hard-core software systems faculty in CSA and laid the foundation for the growth of this area to today’s visibility. He undertook many administrative roles and responsibilities purely in the interest of the department and Institute and dealt with them with great efficiency.

Our heartfelt thank you and congratulations from everyone at CSA to Professors KG and YNS for their contribution and service to CSA, IISc, and Computer Science in India. CSA will miss the energy, rigor, and enthusiasm they bring to every activity!

Congratulations to Sumanth Prabhu, Grigory Fedyukovich, Kumar Madhukar, and Deepak D’Souza for their work, titled “Specification Synthesis with Constrained Horn Clauses”, which has received a Distinguished Paper Award at PLDI’21.

Link to join the event: http://bit.do/vvssarma

(Event starts at 7 pm, Online Networking at 6:30 pm)

Abstract:

Complex systems in different domains contain significant amount of software. Several  studies have established that a significant fraction of system outages are due to software faults. Traditional methods of fault avoidance, fault removal based on extensive testing/debugging, and fault tolerance based on design/data diversity are found inadequate to ensure high software dependability.The key challenge then is how to provide highly dependable software. We discuss a viewpoint of fault tolerance of software-based systems to ensure high dependability. We classify software faults into Bohr bugs and Mandel bugs, and identify aging-related bugs as a subtype of the latter. Traditional methods have been designed to deal with Bohr bugs.The next challenge then is to develop mitigation methods for Mandel bugs in general and aging-related  bugs in particular. We submit that mitigation methods for Mandel bugs utilize environmental diversity. Retry operation, restart application, failover to an identical replica (hot, warm or cold) and reboot the OS are examples of mitigation techniques that rely on environmental diversity.  For software aging related bugs it is also possible to utilize proactive environmental diversity technique known as software rejuvenation. We discuss environmental diversity both from experimental and analytic points of view and cite examples of real systems employing these techniques.

Bio of the Speaker:

Kishor S.  Trivedi holds the Hudson Chair in the Department of Electrical and Computer Engineering at Duke University, Durham, NC. He has a B.Tech (EE,1968) from IIT Mumbai, M.S. (CS,1972) and PhD (CS,1974) from the University of Illinois, Urbana-Champaign. He has been on the Duke faculty since 1975. He is the author of a well- known text entitled, Probability and Statistics with Reliability, Queuing and Computer Science Applications, first published by Prentice-Hall; a thoroughly revised second edition (including its Indian edition) of this book has been published by John Wiley. He has authored several other books. He is a Life Fellow of the Institute of Electrical and Electronics Engineers. He is a Golden Core Member of IEEE Computer Society. He has published over 600 articles and has supervised 48 Ph.D. dissertations. His h-index is 107. He is a recipient of IEEE Computer Society Technical Achievement Award for his research on Software Aging and Rejuvenation. He is a recipient of IEEE Reliability Society’s Lifetime Achievement Award. He has worked closely with industry in carrying out reliability/availability analysis, providing short courses on reliability, availability, performability modelling and in the development and dissemination of software packages such as SHARPE and SPNP.

About Prof. V.V.S. Sarma (May 1944 – January 2018)

Professor Vallury Subrahmanya Sarma, an extraordinary teacher and researcher, passed away on 13th January 2018 in Bangalore. Professor V.V.S. Sarma was born on May 7, 1944 in Vijayawada. After graduation with a University gold medal in Mathematics, Physics and Chemistry  from Andhra University in 1961, he obtained his BE, ME, and PhD degrees from IISc, Bangalore. He served the IISc as faculty in various capacities from 1967. He became a full professor in 1983, and continued his service until his retirement in 2006. He was a visiting Professor at the University of Southwestern Louisiana, USA, between1984-86 and at Tata Research Development and Design Centre, Pune between 1995-97. He was elected to the fellowships of Indian Academy of Science, Indian National Science Academy and Indian National Academy of Engineering. Post retirement, he was an Honorary Professor in CSA and an INAE Distinguished Professor.

Professor V.V.S. Sarma fondly called VVS by his students and friends initiated research at IISc in the then emerging areas of reliability engineering, pattern recognition, artificial Intelligence and machine learning, which are areas of utmost importance in the industry today. His survey paper in a special issue on AI in management with some new material in IEEE Transactions on Knowledge and Data Engineering entitled “Knowledge-based approaches for scheduling problems: A survey” was widely cited. He has guided a generation of researchers in these areas. His students were drawn from CSA, ECE, Aerospace, Mathematics, and Metallurgy departments and engineers from organizations such as IAF, NAL, ISRO, DRDO, BHEL under the external registration program. Many of his students are currently senior professors in universities or senior engineering researchers in Defense and ISRO across India, USA and Canada. With his collaborators N.Viswanadham and M.G. Singh, he wrote a book “Reliability of Computer and Control Systems” published by North-Holland Systems and Control series in 1987. He co-edited the book “Artificial Intelligence and Expert Systems in Indian Context,” published by TataMcGraw-Hill, 1990 jointly with N.Viswanadham, B.L.Deekshatulu, and B. Yegnanarayana. Prof. VVS Sarma was a very inspiring teacher. He used to enthuse and motivate his students to learn many topics of current research. As early as 1976, when the field was still in its infancy, he taught a course on Artificial Intelligence at IISc. He was a very gentle person and used to be affectionate towards all his students. In the passing away of Prof. VVS Sarma the research community has lost a mentor, an influential researcher and an outstanding teacher. All his students lost a father figure whom they will continue to look up to.

All are Welcome!

Shikhar Vashishth, recent PhD graduate from CSA, has been awarded this year’s ACM India Distinguished Dissertation Award.

Prof. Uday Reddy B. receives an Honorable mention in ACM India’s Early Career Research Award 2020 for his fundamental contributions in advancing the theory and practice of polyhedral compilation frameworks.

Vishakha Patil has received the Google PhD Fellowship 2020. She is one of the fifty-three recipients world-wide..

Divya Ravi has won second prize in the 10th IDRBT Doctoral Colloquium, for the work titled ‘On the Round Complexity Landscape of Secure Multiparty Computation’.

The paper titled “Learning-based Controlled Concurrency Testing” by Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas and Akash Lal, has won the Distinguished Artifact Award at OOPSLA 2020.

Congratulations to Siddharth Barman for being promoted to Associate professor. This is a fast-track promotion.

Many congratulations to our alumna Dr. Suparna Bhattacharya, for being elected as a Fellow of the Indian National Academy of Engineering (INAE). Dr. Bhattacharya was advised by Prof. K. Gopinath.

Prof. Chiranjib Bhattacharyya takes charge as the Chair of CSA Department.