Videos – Page 9 – Communications of the ACM

Nov 1 2022

Impactful Research and Tooling for Program Correctness

We have been developing two frameworks — VeriAbs and VeriFuzz — to solve the problems of formal methods to improve software quality, which often fail to scale to the size and complexity of software.

checklist in front of a laptop computer, illustration

Nov 1 2022

Digital Interventions at Scale: Lessons from NPTEL and IIT Madras B.S. Degree Program

Online learning provides an effective approach to some of the systemic challenges related to higher education in India. Two key initiatives have demonstrated positive results.

Nov 1 2022

National Digital Library of India: Democratizing Education in India

The National Digital Library of India was conceptualized with an aim to bring equity of access to educational resources for every Indian through a single window access mechanism.

Nov 1 2022

Prutor: An Intelligent Learning and Management System for Programming Courses

The Prutor browser-based tutoring system offers an integrated development environment (IDE) with a text editor, linter, interactive access to a remote compiler, and a debugger.

code from a display screen reflected onto computer user

Nov 1 2022

Bringing the Missing Women Back: CS Education for Women in India's Engineering Institutions

Several initiatives have come up to address gender gaps in the context of engineering education in India.

Nov 1 2022

Toward Explainable Deep Learning

Explainability has become a cornerstone of responsible AI use and deployment.

workers with machinery surround an oversized robotic head, illustration

Nov 1 2022

Fake News in India: Scale, Diversity, Solution, and Opportunities

The massive proliferation of fake news in India has created a dire need to consider solutions explicitly catering to the region.

man reading a newspaper with a back page ad on fighting false information

Nov 1 2022

Theory Research in India: 2019–2022

We explore some of the results of exciting new research in the field of algorithms in India.

Nov 1 2022

AI and Data Science Centers in Top Indian Academic Institutions

A ook at the activities of artificial intelligence and data science centers located at seven top Indian institutes.

Nov 1 2022

COVID-19 Modeling for India and a Roadmap for the Future

A look at models developed in India to forecast the spread of the coronavirus disease in the country.

Shape the Future of Computing

ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.

Get Involved

Communications of the ACM (CACM) is now a fully Open Access publication.

By opening CACM to the world, we hope to increase engagement among the broader computer science community and encourage non-members to discover the rich resources ACM has to offer.

Learn More