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: Leike:Jan
Contributed to:
20152014
2014Wrote 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.