In recent years, there has been tremendous progress in automated synthesis techniques that are able to automatically generate code based on some intent expressed by the programmer. A major challenge for the adoption of synthesis remains in having the programmer communicate their intent. When the expressed intent is coarsegrained (for example, restriction on the expected type of an expression), ...

1 Compassion has historically been defined as an underpinning principle of work conducted by health professionals, especially nurses. Numerous definitions of compassionate care exist, incorporating a range of elements. Most include a cognitive element: understanding what is important to the other by exploring their perspective; a volitional element: choosing to act to try and alleviate the othe...