Technical Perspective: Borrowing Big Code to Automate Programming Activities
"Predicting Program Properties from 'Big Code'" presents new techniques for leveraging big code to automate two programming activities: selecting…
Technical Perspective: Borrowing Big Code to Automate Programming Activities
Verifying Quantitative Reliability For Programs that Execute on Unreliable Hardware
Technical Perspective: Example-Driven Program Synthesis For End-User Programming
Technical Perspective: Patching Program Errors
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