Acute: high-level programming language design for distributed computation

Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of many distinct programs, sharing some (but not necessarily all) of their module structure, and with some instances rebuilt with new versions of certain modules as time goes on. In this paper we discuss programming language support for such systems, focussing on their typing and naming issues. We describe an experimental language, Acute, which extends an ML core to support distributed development, deployment, and execution, allowing type-safe interaction between separately-built programs. The main features are: (1) type-safe marshalling of arbitrary values; (2) type names that are generated (freshly and by hashing) to ensure that type equality tests suffice to protect the invariants of abstract types, across the entire distributed system; (3) expression-level names generated to ensure that name equality tests suffice for type-safety of associated values, e.g. values carried on named channels; (4) controlled dynamic rebinding of marshalled values to local resources; and (5) thunkification of threads and mutexes to support computation mobility. These features are a large part of what is needed for typeful distributed programming. They are a relatively lightweight extension of ML, should be efficiently implementable, and are expressive enough to enable a wide variety of distributed infrastructure layers to be written as simple library code above the byte-string network and persistent store APIs. This disentangles the language runtime from communication intricacies. This paper highlights the main design choices in Acute. It is supported by a full language definition (of typing, compilation, and operational semantics), by a prototype implementation, and by example distribution libraries

Crypto-Verifying Protocol Implementations in ML

We intend to narrow the gap between concrete implementations and verified models of cryptographic protocols. We consider protocols implemented in F#, a variant of ML, and verified using CryptoVerif, Blanchet's protocol verifier for computational cryptography. We experiment with compilers from F# code to CryptoVerif processes, and from CryptoVerif declarations to F# code. We present two case studies: an implementation of the Otway-Rees protocol, and an implementation of a simplified password-based authentication protocol. In both cases, we obtain concrete security guarantees for a computational model closely related to executable code

Engineering ligand-responsive RNA controllers in yeast through the assembly of RNase III tuning modules

The programming of cellular networks to achieve new biological functions depends on the development of genetic tools that link the presence of a molecular signal to gene-regulatory activity. Recently, a set of engineered RNA controllers was described that enabled predictable tuning of gene expression in the yeast Saccharomyces cerevisiae through directed cleavage of transcripts by an RNase III enzyme, Rnt1p. Here, we describe a strategy for building a new class of RNA sensing-actuation devices based on direct integration of RNA aptamers into a region of the Rnt1p hairpin that modulates Rnt1p cleavage rates. We demonstrate that ligand binding to the integrated aptamer domain is associated with a structural change sufficient to inhibit Rnt1p processing. Three tuning strategies based on the incorporation of different functional modules into the Rnt1p switch platform were demonstrated to optimize switch dynamics and ligand responsiveness. We further demonstrated that these tuning modules can be implemented combinatorially in a predictable manner to further improve the regulatory response properties of the switch. The modularity and tunability of the Rnt1p switch platform will allow for rapid optimization and tailoring of this gene control device, thus providing a useful tool for the design of complex genetic networks in yeast

Career: hybrid surfaces to control cell adhesion and function

Issued as final reportNational Science Foundation (U.S.

Digitization of multistep organic synthesis in reactionware for on-demand pharmaceuticals

Chemical manufacturing is often done at large facilities that require a sizable capital investment and then produce key compounds for a finite period. We present an approach to the manufacturing of fine chemicals and pharmaceuticals in a self-contained plastic reactionware device. The device was designed and constructed by using a chemical to computer-automated design (ChemCAD) approach that enables the translation of traditional bench-scale synthesis into a platform-independent digital code. This in turn guides production of a three-dimensional printed device that encloses the entire synthetic route internally via simple operations. We demonstrate the approach for the γ-aminobutyric acid receptor agonist, (±)-baclofen, establishing a concept that paves the way for the local manufacture of drugs outside of specialist facilities

Development and Characterisation of a Gas System and its Associated Slow-Control System for an ATLAS Small-Strip Thin Gap Chamber Testing Facility

A quality assurance and performance qualification laboratory was built at McGill University for the Canadian-made small-strip Thin Gap Chamber (sTGC) muon detectors produced for the 2019-2020 ATLAS experiment muon spectrometer upgrade. The facility uses cosmic rays as a muon source to ionise the quenching gas mixture of pentane and carbon dioxide flowing through the sTGC detector. A gas system was developed and characterised for this purpose, with a simple and efficient gas condenser design utilizing a Peltier thermoelectric cooler (TEC). The gas system was tested to provide the desired 45 vol% pentane concentration. For continuous operations, a state-machine system was implemented with alerting and remote monitoring features to run all cosmic-ray data-acquisition associated slow-control systems, such as high/low voltage, gas system and environmental monitoring, in a safe and continuous mode, even in the absence of an operator.Comment: 23 pages, LaTeX, 14 figures, 4 tables, proof corrections for Journal of Instrumentation (JINST), including corrected Fig. 8b