Abstract: Inferring program transformations from concrete program changes has many potential uses, such as applying systematic program edits, refactoring, and automated program repair. Existing work ...

Understanding how species coexist essentially requires quantifying coexistence metrics, which involves estimating intrinsic growth rates and per capita interactions between species. We provided a ...

Querying the past is hard. Speciation and extinction processes are on a scale of thousands to millions of years. Thus, they are most often studied by reconstructing the evolutionary past. This past is ...

Active genomic surveillance and transparent communication by South African scientists and public health practitioners recently heralded a new, rapidly circulating SARS-CoV-2 variant, now called ...

@inproceedings{johnson2017inferring, title={Inferring and Executing Programs for Visual Reasoning}, author={Johnson, Justin and Hariharan, Bharath and van der Maaten ...

Single cells interact continuously to form a cell environment that drives key biological processes. Cells and cell environments are highly dynamic across time and space, fundamentally governed by ...