Search-based Program Synthesis
A promising, useful tool for future programming development environments.
Rajeev Alur
Advertisement
Author Archives
Technical Perspective: Can We Verify Cyber-Physical Systems?
Developing effective symbolic verification technology for mixed discrete-analog models has proved to be a challenging problem. The following paper by Althoff et al. reports a major milestone in this quest.
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