Prior pessimism about reuse in software engineering research may have been a result of using the wrong methods to mea...

An examination of how the technology landscape has changed and possible future directions for HPC operations and inno...

A taxonomy of the methods used to obtain quality datasets enhances existing resources.

We present a sound verification technique based on abstract interpretation and implement it in a tool called Antidote...

Cryptographers seek algorithms quantum computers cannot break.

When fed a sufficient amount of training data, artificial intelligence techniques can be used to generate new ideas i...

Creating a programming environment and compilation flow that empowers programmers to create their own DSAs efficientl...

Two linearizability-style correctness conditions that can be used to argue safety properties of progressively more co...

Can cryptocurrencies cut their environmental impact?