Collaborated with:D.A.Orchard Mistral Contrastin Matthew Danish
Talks about:properti (1) dataflow (1) spatial (1) reorder (1) datalog (1) automat (1) verifi (1) safeti (1) comput (1) array (1)
Person: Andrew C. Rice
DBLP: Rice:Andrew_C=
Contributed to:
2017
2018Wrote 2 papers:
- OOPSLA-2017-OrchardCDR #array #verification
- Verifying spatial properties of array computations (DAO, MC, MD, ACR), p. 30.
- PPDP-2018-ContrastinOR #automation #data flow #datalog #order #safety
- Automatic Reordering for Dataflow Safety of Datalog (MC, DAO, ACR), p. 17.