Developer tools that use a neural machine learning model to make predictions about previously unseen code.
Satish Chandra
Author Archives
Formula-Based Software Debugging
Satisfiability modulo theory solvers can help automate the search for the root cause of observable software errors.
Lessons from the Tech Transfer Trenches
Moving from the research realm to real-world business application.
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