Collaborated with:A.Gascón B.Carmer U.Mathur Anders Miltner S.Gulwani V.Le A.Leung A.Radhakrishna G.Soares A.Udupa
Talks about:synthesi (2) program (2) suggest (1) compon (1) proof (1) decor (1) look (1) find (1) edit (1) base (1)
Person: Ashish Tiwari 0001
DBLP: 0001:Ashish_Tiwari
Facilitated 1 volumes:
EdContributed to:
2017
2019Wrote 2 papers:
- CAV-2017-GasconTCM #component #proving #synthesis
- Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis (AG, AT0, BC, UM), pp. 86–103.
- OOPSLA-2019-MiltnerGLLRSTU #on the #on the fly #synthesis
- On the fly synthesis of edit suggestions (AM, SG, VL, AL, AR, GS, AT0, AU), p. 29.