Fuzzing has become the de facto standard technique for finding software vulnerabilities.
However, even state-of-the-art fuzzers are not very efficient at finding hard-to-trigger …

The aggressive optimization of floating-point computations is an important problem in high-
performance computing. Unfortunately, floating-point instruction sets have complicated …

Temporal hyperproperties are system properties that relate multiple execution traces. For
(finite-state) hardware, temporal hyperproperties are supported by model checking …

Fairness of machine learning (ML) software has become a major concern in the recent past.
Although recent research on testing and improving fairness have demonstrated impact on …

Recently, there is growing concern that machine-learned software, which currently assists or
even automates decision making, reproduces, and in the worst case reinforces, bias present …

Relational program logics have been used for mechanizing formal proofs of various
cryptographic constructions. With an eye towards scaling these successes towards end-to …

Establishing quantitative bounds on the execution cost of programs is essential in many
areas of computer science such as complexity analysis, compiler optimizations, security and …

Approximate computing trades off accuracy of results for resources such as energy or
computing time. There is a large and rapidly growing literature on approximate computing …

Program sensitivity measures how robust a program is to small changes in its input, and is a
fundamental notion in domains ranging from differential privacy to cyber-physical systems. A …

Abstract Systems should not only be correct but also robust in the sense that they behave
reasonably in unexpected situations. This article addresses synthesis of robust reactive …