Automated program repair can relieve programmers from the burden of manually fixing the ever-increasing number of pro...
We design, implement, and evaluate DeepXplore, the first white-box framework for systematically testing real-world de...
Unmanned vehicles have a number of compelling real-world use cases.
Individual bits of information can have direct physical consequences.
Finding, and plugging, the security holes in SCADA.
Increased availability of cloud services and ownership of multiple digital devices create unique opportunities for di...
In this work, we present CertiKOS, a novel compositional framework for building verified concurrent OS kernels.
Data science as a paradox.
Exploiting a simple, expressive logic based on relations to describe designs and automate their analysis.
Create a Web Account
If you are an ACM member, Communications subscriber, Digital Library subscriber, or use your institution's subscription, please set up a web account to access premium content and site features. If you are a SIG member or member of the general public, you may set up a web account to comment on free articles and sign up for email alerts.