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: Mayer:Mika=euml=l
Contributed to:
2015
2015
2013
2010
2010
2019
20172018Wrote 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.