Travelled to:1 × Canada
1 × Greece
1 × Italy
1 × Japan
1 × United Kingdom
Collaborated with:D.Rémy J.B.Wells V.Balat J.Vouillon P.Cuoq F.Kirchner N.Kosmatov V.Prevosto J.Signoles
Talks about:program (2) type (2) sup (2) ml (2) constraint (1) intermedi (1) framework (1) synthesi (1) perspect (1) fragment (1)
Person: Boris Yakobowski
DBLP: Yakobowski:Boris
Contributed to:
2012
2010
20092008
2004Wrote 5 papers:
- SEFM-2012-CuoqKKPSY #analysis #named #perspective
- Frama-C — A Software Analysis Perspective (PC, FK, NK, VP, JS, BY), pp. 233–247.
- FLOPS-2010-RemyY
- A Church-Style Intermediate Language for MLF (DR, BY), pp. 24–39.
- ICFP-2009-BalatVY #case study #experience #framework #programming #web
- Experience report: ocsigen, a web programming framework (VB, JV, BY), pp. 311–316.
- ICFP-2008-RemyY #constraints #ml #performance #type inference
- From ML to MLF: graphic type constraints with efficient type inference (DR, BY), pp. 63–74.
- LOPSTR-2004-WellsY #graph #proving #synthesis
- Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis (JBW, BY), pp. 262–277.