The Rise of the Indian Start-Up Ecosystem
The rise of the Indian start-up ecosystem can be characterized by three major changes over the last decade that offer interesting insights for the start-up ecosystem in India and across the world.
Theory
Advertisement
India Stack – Digital Infrastructure as Public Good
Digital inclusion in India has taken off in a significant way in the last few years. The country is young, ambitious, and connected.
Yegor Bugayenko explains his realization that software developers should go neither above nor beyond.
Research in Theoretical Computer Science
Indian undergraduate programs in computing date back to the early 1980s — a time that also saw the first generation of graduate students from India taking up theoretical computer science.
The Growth and Evolution of India’s Software Industry
The Indian software industry has matured from providing cost-effective back office support to driving the digital transformation of global companies.
Researchers and practitioners have used interactive voice response technology to create voice-based services that have found application in India's marginalized communities.
Highlights of Software R&D in India
India's achievement as a software superpower rests on decades of work spanning software processes, rigorous engineering, value-adding technologies, and other factors.
The debate engendered by the Aadhaar project has propelled India from being a predominantly pre-privacy society to one in which privacy protection in digital databases has emerged as a major national concern.
Technical Perspective: A Whitebox Solution for Blackbox-Like Behaviors
DeepXplore brings a software testing perspective to deep neural networks and, in doing so, creates the opportunity for enormous amounts of follow-on work in several ways.
DeepXplore: Automated Whitebox Testing of Deep Learning Systems
We design, implement, and evaluate DeepXplore, the first white-box framework for systematically testing real-world deep learning systems.
Technical Perspective: The Scalability of CertiKOS
The authors of "Building Certified Concurrent OS Kernels" illustrate that formal verification can scale up to a moderate-size program (6,500 lines of C) that has substantial shared-memory concurrency.
Pinning Down Variables, and Taking an Agile Approach
Robin K. Hill tries to better define variables, while Edwin Torres acknowledges he is his own greatest obstacle.
Unlocking Data to Improve Public Policy
When properly secured, anonymized, and optimized for research, administrative data can be put to work to help government programs better serve those in need.
Sampling-Based Robot Motion Planning
To address the computational challenges that arise when planning for robotic systems, traditional CS algorithms, tools, and paradigms must be revisited.
Protein Design by Provable Algorithms
Protein design algorithms can leverage provable guarantees of accuracy to provide new insights and unique optimized molecules.
Building Certified Concurrent OS Kernels
In this work, we present CertiKOS, a novel compositional framework for building verified concurrent OS kernels.
Why Programmers Should Curb Their Enthusiasm, and Thinking About Computational Thinking
Yegor Bugayenko ponders the dangers of "hazardous enthusiasm," while Mark Guzdial considers whether the need to teach computational thinking can be "designed away."
Alloy: A Language and Tool for Exploring Software Designs
Exploiting a simple, expressive logic based on relations to describe designs and automate their analysis.
Scaling Static Analyses at Facebook
Key lessons for designing static analysis tools deployed to find bugs in hundreds of millions of lines of code.
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 InvolvedCommunications 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