62 citations · 204 across the 28 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019★ 44 cited
Program Synthesis by Type-Guided Abstraction Refinement
Zheng Guo, Michael James, David Justo +4
We consider the problem of type-directed component based synthesis where, given a set of (typed) components and a query type, the goal is to synthesize a term that inhabits the que…
astro-ph.HE2019★ 62 cited
An ASKAP search for a radio counterpart to the first high-significance neutron star-black hole merger LIGO/Virgo S190814bv
Dougal Dobie, Adam Stewart, Tara Murphy +27
We present results from a search for a radio transient associated with the LIGO/Virgo source S190814bv, a likely neutron star-black hole (NSBH) merger, with the Australian Square K…