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 × Canada
1 × Italy
1 × United Kingdom
3 × USA
Collaborated with:
V.Kuncak R.Chugh R.Piskac S.Gulwani P.Suter J.Hamza F.Niksic R.Madhavan
Talks about:
synthesi (4) function (3) bidirect (2) program (2) complet (2) evalu (2) comparison (1) proactiv (1) demonstr (1) manipul (1)

Person: Mikaël Mayer

DBLP DBLP: Mayer:Mika=euml=l

Contributed to:

ICSE 20152015
OOPSLA 20152015
Onward! 20132013
CAV 20102010
PLDI 20102010
BX 20192019
ECOOP 20172017
OOPSLA 20182018

Wrote 8 papers:

ICSE-v2-2015-GulwaniMNP #live programming #named #programming #synthesis
StriSynth: Synthesis for Live Programming (SG, MM, FN, RP), pp. 701–704.
OOPSLA-2015-MadhavanMGK #automation #comparison
Automating grammar comparison (RM, MM, SG, VK), pp. 183–200.
Onward-2013-MayerK #game studies #programming
Game programming by demonstration (MM, VK), pp. 75–90.
CAV-2010-KuncakMPS #functional #named #synthesis
Comfusy: A Tool for Complete Functional Synthesis (VK, MM, RP, PS), pp. 430–433.
PLDI-2010-KuncakMPS #functional #synthesis
Complete functional synthesis (VK, MM, RP, PS), pp. 316–329.
BX-2019-MayerC #bidirectional
A Bidirectional Krivine Evaluator (MM, RC), pp. 56–60.
ECOOP-2017-MayerHK #recursion #string #synthesis
Proactive Synthesis of Recursive Tree-to-String Functions from Examples (MM, JH, VK), p. 30.
OOPSLA-2018-MayerKC #bidirectional #evaluation
Bidirectional evaluation with direct manipulation (MM, VK, RC), p. 28.

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.