Mikaël Mayer

18 papers A* 3A 3Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2019 — conf
A Bidirectional Krivine Evaluator.
Bx@PLW
Mikaël Mayer, Ravi Chugh
2018 J jnl
Bidirectional Evaluation with Direct Manipulation.
CoRR
Mikaël Mayer, Viktor Kuncak, Ravi Chugh
2018 J jnl
Bidirectional evaluation with direct manipulation.
Proc. ACM Program. Lang.
Mikaël Mayer, Viktor Kuncak, Ravi Chugh
2017 — —
Interactive Programming by Example.
Mikaël Mayer
2017 J jnl
Polynomial-Time Proactive Synthesis of Tree-to-String Functions from Examples.
CoRR
Mikaël Mayer, Jad Hamza, Viktor Kuncak
2017 J jnl
Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact).
Dagstuhl Artifacts Ser.
Mikaël Mayer, Jad Hamza, Viktor Kuncak
2017 A conf
Proactive Synthesis of Recursive Tree-to-String Functions from Examples.
ECOOP
Mikaël Mayer, Jad Hamza, Viktor Kuncak
2016 — conf
A Scala library for testing student assignments on concurrent programming.
SCALA@SPLASH
Mikaël Mayer, Ravichandhran Madhavan
2016 J jnl
Optimal Test Sets for Context-Free Languages.
CoRR
Mikaël Mayer, Jad Hamza
2015 A conf
Automating grammar comparison.
OOPSLA
Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, Viktor Kuncak
2015 — conf
StriSynth: Synthesis for Live Programming.
ICSE (2)
Sumit Gulwani, Mikaël Mayer, Filip Niksic, Ruzica Piskac
2015 A* conf
User Interaction Models for Disambiguation in Programming by Example.
UIST
Mikaël Mayer, Gustavo Soares, Maxim Grechkin, Vu Le, Mark Marron, Oleksandr Polozov, Rishabh Singh, Benjamin G. Zorn, Sumit Gulwani
2013 J jnl
Functional synthesis for linear arithmetic and sets.
Int. J. Softw. Tools Technol. Transf.
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter
2013 — conf
Game programming by demonstration.
Onward!
Mikaël Mayer, Viktor Kuncak
2012 J jnl
Software synthesis procedures.
Commun. ACM
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter
2010 A* conf
Comfusy: A Tool for Complete Functional Synthesis.
CAV
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter
2010 A* conf
Complete functional synthesis.
PLDI
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter
2010 A conf
Roombots - Towards decentralized reconfiguration with self-reconfiguring modular robotic metamodules.
IROS
Alexander Spröwitz, Philippe Laprade, Stéphane Bonardi, Mikaël Mayer, Rico Moeckel, Pierre-André Mudry, Auke Jan Ijspeert