Charles Gretton — accepted AI-conference papers

2023

Dagster: Parallel Structured Search

Mark Alexander Burgess, Charles Gretton, Josh Milthorpe, Luke Croak, Thomas Willingham, Alwen Tiu

AAAI 2023technical

We demonstrate Dagster, a system that implements a new approach to scheduling interdependent (Boolean) SAT search activities in high-performance computing (HPC) environments. Our system takes as input a set of disjunctive clauses (i.e., DIMACS CNF) and a labelled directed acyclic graph (DAG) structu…

Cited by 0 Source ↗PDF ↗code ↗Scholar ↗

2022

Enhanced adaptive optics control with image to image translation

Jeffrey Smith, Jesse Cranney, Charles Gretton, Damien Gratadour

UAI 2022poster

We aim to significantly enhance the science return of astronomical observatories, and in particular giant terrestrial optical telescopes. Observatories employ Adaptive Optics (AO) systems in order to acquire high sensitivity diffraction limited images of the sky. The incumbent “workhorse” for contro…

Cited by 9 Source ↗PDF ↗Scholar ↗