Travelled to:1 × China
1 × Portugal
1 × USA
Collaborated with:P.Godefroid S.Gulwani A.Tiwari S.Gaubert E.Goubault S.Zennou D.Gopinath H.Converse C.S.Pasareanu
Talks about:constraint (1) synthesi (1) properti (1) instruct (1) synthes (1) network (1) analysi (1) symbol (1) switch (1) static (1)
Person: Ankur Taly
DBLP: Taly:Ankur
Contributed to:
2012
2009
2007
2019Wrote 4 papers:
- PLDI-2012-GodefroidT #automation #encoding #synthesis
- Automated synthesis of symbolic instruction encodings from I/O samples (PG, AT), pp. 441–452.
- VMCAI-2009-TalyGT #constraints #logic #theorem proving #using
- Synthesizing Switching Logic Using Constraint Solving (AT, SG, AT), pp. 305–319.
- ESOP-2007-GaubertGTZ #policy #relational #static analysis
- Static Analysis by Policy Iteration on Relational Domains (SG, EG, AT, SZ), pp. 237–252.
- ASE-2019-GopinathCPT #network
- Property Inference for Deep Neural Networks (DG, HC, CSP, AT), pp. 797–809.