Programming efficient asynchronous systems is challenging because it can often be hard to express the design declaratively, or to defend against interleaving-dependent bugs such as data races and ...

The megalithic site of Gunung Padang in the highlands of western Java was constructed some 2,000 years ago over the course of several generations. Similar stone monuments are found across the ...

Holly Cummins gave a keynote at Goto Copenhagen where she urged developers to care about overlooked issues that shape their ...

Bitcoin's biggest privacy flaw fixed? Async Payjoin breaks tracking assumptions for everyone on the network—just ask your ...

Abstract: This paper focuses on a distributed nonsmooth composite optimization problem over a multiagent networked system, in which each agent is equipped with a local Lipschitz-differentiable ...

Abstract: There is a growing need to assess programming skills holistically using a competencies model. However, existing assessment tools lack a comprehensive framework mapping programming to wider ...