Daniel Kroening

Kayak: Safe Semantic Refactoring to Java Streams

2017 · arXiv (Cornell University)

Refactorings are structured changes to existing software that leave its externally observable behaviour unchanged. Their intent is to improve readability, performance or other non-behavioural properties. State-of-the-art automatic refactoring tools are syntax-driven and, therefore, overly conservative. …

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the $L_0$ Norm

2018 · arXiv (Cornell University)

Deployment of deep neural networks (DNNs) in safety- or security-critical systems requires provable guarantees on their correct behaviour. A common requirement is robustness to adversarial perturbations in a neighbourhood around an input. In this paper …

Safety and Trustworthiness of Deep Neural Networks: A Survey

2018 · arXiv (Cornell University)

In the past few years, significant progress has been made on deep neural networks (DNNs) in achieving human-level intelligence on several long-standing tasks. With broader deployment of DNNs on various applications, the concerns on its …