Coupling between diffusion and orientation of pentacene molecules on an organic surface.

The realization of efficient organic electronic devices requires the controlled preparation of molecular thin films and heterostructures. As top-down structuring methods such as lithography cannot be applied to van der Waals bound materials, surface diffusion becomes a structure-determining factor that requires microscopic understanding. Scanning probe techniques provide atomic resolution, but are limited to observations of slow movements, and therefore constrained to low temperatures. In contrast, the helium-3 spin-echo (HeSE) technique achieves spatial and time resolution on the nm and ps scale, respectively, thus enabling measurements at elevated temperatures. Here we use HeSE to unveil the intricate motion of pentacene admolecules diffusing on a chemisorbed monolayer of pentacene on Cu(110) that serves as a stable, well-ordered organic model surface. We find that pentacene moves along rails parallel and perpendicular to the surface molecules. The experimental data are explained by admolecule rotation that enables a switching between diffusion directions, which extends our molecular level understanding of diffusion in complex organic systems.The authors acknowledge financial support from the EPSRC (EP/E0049621, B.A.J.L., D.J.W., D.M.C., A.P.J., J.E., W.A.), the Austrian Academy of Sciences (B.A.J.L.), the Royal Society (A.P.J.), the E.U. ERASMUS programme (A.M.) and the Deutsche Forschungsgemeinschaft (GRK 1782, P.R.). Underlying data are available at the University of Cambridge Research data repository (https://www.repository.cam.ac.uk).This is the author accepted manuscript. The final version is available from Nature Publishing Group via http://dx.doi.org/10.1038/nmat457

External perceptions of successful university brands

Branding in universities has become an increasingly topical issue, with some institutions committing substantial financial resources to branding activities. The particular characteristics of the sector present challenges for those seeking to build brands and it therefore seems to be timely and appropriate to investigate the common approaches of those institutions perceived as having successful brands. This study is exploratory in nature, seeking to investigate how successfully UK universities brand themselves, whether they are distinct and if the sector overall communicates effectively. This is approached through examining the perspective of opinion formers external to universities but closely involved with the sector – a key stakeholder group in UK higher education Overall, the research’s exploratory nature aims to further the debate on effective branding in UK higher education. The findings and conclusions identify some issues surrounding university branding activity; most UK universities were considered to be distinct from one another, but few were seen to have real fully formed brands. Although a number of institutions that were seen as having more ‘successful’ brands were identified, it was argued that whilst many UK universities communicate their brand well enough to key stakeholders, they fail to consistently do this across all audiences. It was also suggested that UK universities may concentrate on areas of perceived immediate strategic importance (in terms of branding) to an extent where others are neglected

The dynamics of benzene on Cu(111): a combined helium spin echo and dispersion-corrected DFT study into the diffusion of physisorbed aromatics on metal surfaces

We use helium spin-echo spectroscopy (HeSE) to investigate the dynamics of the diffusion of benzene adsorbed on Cu(111). The results of these measurements show that benzene moves on the surface through an activated jump-diffusion process between the adsorption sites on a Bravais lattice. Density Functional Theory (DFT) calculations with van der Waals (vdW) corrections help us understand that the molecule diffuses by jumping through non-degenerate hollow sites. The results of the calculations shed light on the nature of the binding interaction between this prototypical aromatic molecule and the metallic surface. The highly accurate HeSE experimental data provide a quantitatively stringent benchmark for the vdW correction schemes applied to the DFT calculations and we compare the performances of several dispersion interaction schemes.MS would like to thank the Royal Society for his University Research Fellowship. HH acknowledges the support of the Leverhulme Trust. This work used the ARCHER UK National Supercomputing Service via our membership of the UK’s HEC Materials Chemistry Consortium, which is funded by EPSRC (EP/L000202)

Exploring rationales for branding a university: Should we be seeking to measure branding in UK universities?

Although branding is now widespread among UK universities, the application of branding principles in the higher education sector is comparatively recent and may be controversial for internal audiences who question its suitability and efficiency. This paper seeks to investigate how and whether the effectiveness of branding activity in the higher education sector should be evaluated and measured, through exploratory interviews with those who often drive it; UK University marketing professionals. Conclusions suggest that university branding is inherently complex and therefore application of commercial approaches may be over simplistic. Whilst marketing professionals discuss challenges they do not necessarily have a consistent view of the objectives of branding activity although all were able to clearly articulate branding objectives for their university, including both qualitative and, to some extent, quantitative metrics. Some measures of the real value of branding activity are therefore suggested but a key debate is perhaps whether the objectives and role of branding in higher education needs to be clarified, and a more consistent view of appropriate metrics reached? Various challenges in implementing branding approaches are also highlighted

CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment

The CHERI architecture allows pointers to be implemented as capabilities (rather than integer virtual addresses) in a manner that is compatible with, and strengthens, the semantics of the C language. In addition to the spatial protections offered by conventional fat pointers, CHERI capabilities offer strong integrity, enforced provenance validity, and access monotonicity. The stronger guarantees of these architectural capabilities must be reconciled with the real-world behavior of operating systems, run-time environments, and applications. When the process model, user-kernel interactions, dynamic linking, and memory management are all considered, we observe that simple derivation of architectural capabilities is insufficient to describe appropriate access to memory. We bridge this conceptual gap with a notional \emph{abstract capability} that describes the accesses that should be allowed at a given point in execution, whether in the kernel or userspace. To investigate this notion at scale, we describe the first adaptation of a full C-language operating system (FreeBSD) with an enterprise database (PostgreSQL) for complete spatial and referential memory safety. We show that awareness of abstract capabilities, coupled with CHERI architectural capabilities, can provide more complete protection, strong compatibility, and acceptable performance overhead compared with the pre-CHERI baseline and software-only approaches. Our observations also have potentially significant implications for other mitigation techniques.This work was supported by the Defense Advanced Research Projects Agency (DARPA) and the Air Force Research Laboratory (AFRL), under contracts FA8750-10-C-0237 (``CTSRD'') and HR0011-18-C-0016 (``ECATS''). The views, opinions, and/or findings contained in this report are those of the authors and should not be interpreted as representing the official views or policies of the Department of Defense or the U.S. Government. We also acknowledge the EPSRC REMS Programme Grant (EP/K008528/1), the ERC ELVER Advanced Grant (789108), Arm Limited, HP Enterprise, and Google, Inc. Approved for Public Release, Distribution Unlimited

Cornucopia: Temporal safety for CHERI heaps

Use-after-free violations of temporal memory safety continue to plague software systems, underpinning many high-impact exploits. The CHERI capability system shows great promise in achieving C and C++ language spatial memory safety, preventing out-of-bounds accesses. Enforcing language-level temporal safety on CHERI requires capability revocation, traditionally achieved either via table lookups (avoided for performance in the CHERI design) or by identifying capabilities in memory to revoke them (similar to a garbage-collector sweep). CHERIvoke, a prior feasibility study, suggested that CHERI’s tagged capabilities could make this latter strategy viable, but modeled only architectural limits and did not consider the full implementation or evaluation of the approach. Cornucopia is a lightweight capability revocation system for CHERI that implements non-probabilistic C/C++ temporal memory safety for standard heap allocations. It extends the CheriBSD virtual-memory subsystem to track capability flow through memory and provides a concurrent kernel-resident revocation service that is amenable to multi-processor and hardware acceleration. We demonstrate an average overhead of less than 2% and a worst-case of 8.9% for concurrent revocation on compatible SPEC CPU2006 benchmarks on a multi-core CHERI CPU on FPGA, and we validate Cornucopia against the Juliet test suite’s corpus of temporally unsafe programs. We test its compatibility with a large corpus of C programs by using a revoking allocator as the system allocator while booting multi-user CheriBSD. Cornucopia is a viable strategy for always-on temporal heap memory safety, suitable for production environments.This work was supported by the Defense Advanced Research Projects Agency (DARPA) and the Air Force Research Laboratory (AFRL), under contracts FA8750-10-C-0237 (“CTSRD”) and HR0011-18-C-0016 (“ECATS”). We also acknowledge the EPSRC REMS Programme Grant (EP/K008528/1), the ABP Grant (EP/P020011/1), the ERC ELVER Advanced Grant (789108), the Gates Cambridge Trust, Arm Limited, HP Enterprise, and Google, Inc

On the Multi-Language Construction

Modern software is no more developed in a single programming language. Instead, programmers tend to exploit cross-language interoperability mechanisms to combine code stemming from different languages, and thus yielding fully-fledged multi-language programs. Whilst this approach enables developers to benefit from the strengths of each single-language, on the other hand it complicates the semantics of such programs. Indeed, the resulting multi-language does not meet any of the semantics of the combined languages. In this paper, we broaden the boundary functions-based approach a la Matthews and Findler to propose an algebraic framework that provides a constructive mathematical notion of multi-language able to determine its semantics. The aim of this work is to overcome the lack of a formal method (resp., model) to design (resp., represent) a multi-language, regardless of the inherent nature of the underlying languages. We show that our construction ensures the uniqueness of the semantic function (i.e., the multi-language semantics induced by the combined languages) by proving the initiality of the term model (i.e., the abstract syntax of the multi-language) in its category