Mikal Mayer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2010–2017
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ECOOP | Proactive Synthesis of Recursive Tree-to-String Functions from Examples. | Mikal Mayer, Jad Hamza, Viktor Kuncak |
| 2015 | ICSE | StriSynth: Synthesis for Live Programming. | Sumit Gulwani, Mikal Mayer, Filip Niksic, Ruzica Piskac |
| 2015 | OOPSLA | Automating grammar comparison. | Ravichandhran Madhavan, Mikal Mayer, Sumit Gulwani, Viktor Kuncak |
| 2015 | UIST | User Interaction Models for Disambiguation in Programming by Example. | Mikal Mayer, Gustavo Soares, Maxim Grechkin, Vu Le, Mark Marron, Oleksandr Polozov, Rishabh Singh, Benjamin G. Zorn, Sumit Gulwani |
| 2013 | OOPSLA | Game programming by demonstration. | Mikal Mayer, Viktor Kuncak |
| 2010 | CAV | Comfusy: A Tool for Complete Functional Synthesis. | Viktor Kuncak, Mikal Mayer, Ruzica Piskac, Philippe Suter |
| 2010 | IROS | Roombots - Towards decentralized reconfiguration with self-reconfiguring modular robotic metamodules. | Alexander Sprwitz, Philippe Laprade, Stphane Bonardi, Mikal Mayer, Rico Moeckel, Pierre-Andr Mudry, Auke Jan Ijspeert |
| 2010 | PLDI | Complete functional synthesis. | Viktor Kuncak, Mikal Mayer, Ruzica Piskac, Philippe Suter |