Travelled to:1 × China
2 × USA
Collaborated with:S.Lerner J.Sarracino R.Tate M.Gupta Y.Agarwal R.Gupta R.Jhala Anders Miltner S.Gulwani V.Le A.Radhakrishna G.Soares A.T.0001 A.Udupa
Talks about:synthesi (3) parser (2) exampl (2) parsimoni (1) wildcard (1) interact (1) suggest (1) verifi (1) system (1) kernel (1)
Person: Alan Leung
DBLP: Leung:Alan
Contributed to:
201520122011
2017
2019Wrote 5 papers:
- PLDI-2015-LeungSL #interactive #parsing #synthesis
- Interactive parser synthesis by example (AL, JS, SL), pp. 565–574.
- PLDI-2012-LeungGAGJL #gpu #kernel #verification
- Verifying GPU kernels by test amplification (AL, MG, YA, RG, RJ, SL), pp. 383–394.
- PLDI-2011-TateLL #java #type system
- Taming wildcards in Java’s type system (RT, AL, SL), pp. 614–627.
- ASE-2017-LeungL #ide #named #parsing #synthesis
- Parsimony: an IDE for example-guided synthesis of lexers and parsers (AL, SL), pp. 815–825.
- 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.