3. Animal knowledge is essentially apt belief, to be distinguished from the more demanding reflective knowledge. This is not to say that the word ‘knows’ is ambiguous. Maybe it is, but distinguishing a kind of knowledge as “animal” knowledge requires no commitment to that linguistic thesis. Indeed it requires no definition of the word ‘knows’ at all. One might take this to be primitive and stil...

The number of interleavings that a concurrent program can have is typically given as the key difficulty in automatic analysis of concurrent software. Weak memory, as implemented by modern multiprocessors such as Intel x86, IBM Power and ARM, is generally believed to make this problem even harder. On the contrary, we believe that by embracing rather than fleeing from weak memory, we can obtain e...

In this paper, we question whether hypervisors are really acting as a disruptive force in OS research, instead arguing that they have so far changed very little at a technical level. Essentially, we have retained the conventional Unix-like OS interface and added a new ABI based on PC hardware which is highly unsuitable for most purposes. Despite commercial excitement, focus on hypervisor design...

We introduce a simple solution to help consumers manage choices between healthy and unhealthy food options: vice-virtue bundles. Vice-virtue bundles are item aggregates with varying proportions of both vice and virtue, holding overall quantity constant. Four studies compare choice and perceptions of differently composed vice-virtue bundles relative to one another and to pure vice and pure virtu...