Mikaël Mayer

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 11

Top Topics

Tree Construction

Direct Manipulation

Top Venues

Proc. ACM Program. Lang.

Publications

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