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?