BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Leung:Alan

Contributed to:

PLDI 20152015
PLDI 20122012
PLDI 20112011
ASE 20172017
OOPSLA 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.