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 × France
1 × USA
1 × United Kingdom
Collaborated with:
M.Heizmann A.Tiwari D.Dietsch B.Musa A.Podelski
Talks about:
contribut (1) synthesi (1) polynomi (1) interpol (1) competit (1) templat (1) program (1) linear (1) ultim (1) lasso (1)

Person: Jan Leike

DBLP DBLP: Leike:Jan

Contributed to:

TACAS 20152015
TACAS 20142014
VMCAI 20142014

Wrote 3 papers:

TACAS-2015-HeizmannDLMP #array #contest
Ultimate Automizer with Array Interpolation — (Competition Contribution) (MH, DD, JL, BM, AP), pp. 455–457.
TACAS-2014-LeikeH #linear #ranking
Ranking Templates for Linear Loops (JL, MH), pp. 172–186.
VMCAI-2014-LeikeT #polynomial #source code #synthesis
Synthesis for Polynomial Lasso Programs (JL, AT), pp. 434–452.

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.