N4016 makes a case for adding execution modes for threads of execution that are less capable than std::thread; doing so either allows for avoiding runtime overheads of std::thread or enables semantically different ways to execute such as SIMD loops. This paper defines the semantics of these lighter-weight modes of execution by defining certain kinds of execution agents (EAs). An EA is a mechani...

We introduce a new class of high-porosity microstructures, called “single-scale laminates,” made from arrays of parallel walls. They are extremal, in the sense that no stiffer structure exists with the same total mass. They are simple, in the sense of being easy to describe, and perhaps to manufacture. And they are universal: for any high-porosity microstructure there is a single-scale laminate...

In this paper, we propose a new approach to building synchronization primitives, dubbed “lwlocks” (short for light-weight locks). The primitives are optimized for small memory footprint while maintaining efficient performance in low contention scenarios. A read-write lwlock occupies 4 bytes, a mutex occupies 4 bytes (2 if deadlock detection is not required), and a condition variable occupies 4 ...

3D whole body, electro-optical scanners have facilitated the creation of personalised, realistic human models. However, realism comes at the cost of a large number of polygons that may surpass the time/accuracy requirement set for rendering/computation in a variety of application systems. We present new automatic constraints that approximate the symmetry of human body parts. These feature const...

This development provides a framework for container types like sets and maps such that generated code implements these containers with different (efficient) data structures. Thanks to type classes and refinement during code generation, this light-weight approach can seamlessly replace Isabelle’s default setup for code generation. Heuristics automatically pick one of the available data structure...