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?
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.