Single-cell genomics has now made it possible to create a comprehensive atlas of human
cells. At the same time, it has reopened definitions of a cell's identity and of the ways in …

Making decisions on how best to treat cancer patients requires the integration of different
data sets, including genomic profiles, tumour histopathology, radiological images, proteomic …

Inductive synthesis, or programming-by-examples (PBE) is gaining prominence with
disruptive applications for automating repetitive tasks in end-user programming. However …

Reconstruction of the molecular pathways controlling organ development has been
hampered by a lack of methods to resolve embryonic progenitor cells. Here we describe a …

While computer-aided design is a major part of many modern manufacturing pipelines, the
design files typically generated describe raw geometry. Lost in this representation is the …

Solver-aided domain-specific languages (SDSLs) are an emerging class of computer-aided
programming systems. They ease the construction of programs by using satisfiability solvers …

Many advanced programming tools---for both end-users and expert developers---rely on
program synthesis to automatically generate implementations from high-level specifications …

We consider the problem of synthesising rate parameters for stochastic biochemical
networks so that a given time-bounded CSL property is guaranteed to hold, or, in the case of …

Internet Service Providers (ISPs) use the Border Gateway Protocol (BGP) to announce and
exchange routes for de-livering packets through the internet. ISPs must carefully configure …

Neurosymbolic Programming (NP) techniques have the potential to accelerate scientific
discovery. These models combine neural and symbolic components to learn complex …