Collaborated with:I.Dillig X.W.0006 K.L.McMillan Shankara Pailoor S.Chaudhuri
Talks about:abstract (2) synergist (1) synthesi (1) approach (1) program (1) network (1) robust (1) neural (1) analyz (1) optim (1)
Person: Greg Anderson
DBLP: Anderson:Greg
Contributed to:
2018
2019Wrote 2 papers:
- CAV-2018-WangADM #abstraction #learning #synthesis
- Learning Abstractions for Program Synthesis (XW0, GA, ID, KLM), pp. 407–426.
- PLDI-2019-AndersonPDC #abstraction #approach #network #optimisation #robust
- Optimization and abstraction: a synergistic approach for analyzing neural network robustness (GA, SP, ID, SC), pp. 731–744.