45 citations · 49 across the 2 of their papers we have counts for
2 papers
gr-qc2018★ 45 cited
Prospects of detecting the nonlinear gravitational wave memory
Aaron D. Johnson, Shasvath J. Kapadia, Andrew Osborne +2
In GW150914, approximately were radiated away as gravitational waves from the binary black hole system as it merged. The stress energy of the gravitational wave itself…
cs.PL2016★ 4 cited
COGENT: Certified Compilation for a Functional Systems Language
Liam O'Connor, Christine Rizkallah, Zilin Chen +8
We present a self-certifying compiler for the COGENT systems language. COGENT is a restricted, polymorphic, higher-order, and purely functional language with linear types and witho…