Mikaël Mayer

Obtained his PhD on September 28th, 2017, at LARA, EPFL, Lausanne, Switzerland.

Contact

My first name without ", a dot, my last name at alumni.epfl.ch

Publications

  1. 1.
    M. Mayer. Programmation Interactive par l'Exemple. Publish PhD Defense of Mikaël Mayer, EPFL, Lausanne, Switzerland, September 28, 2017.
    Detailed recordPowerpoint Presentation (French)Ajouter à mes collections
  2. 2.
    M. Mayer, V. Kuncak (Dir.). Interactive Programming by Example. Thèse EPFL, n° 7956 (2017)
    Detailed recordAjouter à mes collections
  3. 1.
    M. Mayer, J. Hamza and V. Kuncak. Proactive Synthesis of Recursive Tree-to-String Functions from Examples. European Conference on Object-Oriented Programming, Barcelona, Spain, Sun 18 - Fri 23 June 2017
    Detailed record Github project page of Prosy
  4. 1.
    M. Mayer and R. Madhavan. A Scala Library for Testing Student Assignments on Concurrent Programming. 7th ACM SIGPLAN Symposium on Scala, Amsterdam, NETHERLANDS, OCT 30-31, 2016.
    Detailed record Github project page of MuScaT
  5. 1.
    M. Mayer, G. Soares, M. Grechkin, V. Le, M. Marron, A. Polozov, B. Zorn, S. Gulwani. User Interaction Models for Disambiguation in Programming by Example. 28th ACM User Interface Software and Technology Symposium, Charlotte, NC, November 8-11, 2015.
    Detailed recordFulltextAjouter à mes collections Microsoft Prose project page
  6. 2.
    R. Madhavan, M. Mayer, S. Gulwani and V. Kuncak. Towards Automating Grammar Equivalence Checking, 2015.
    Detailed recordFulltextAdd to my collections On Github: Grammar comparison project and Grammar web (web interface)
  7. 1.
    S. Gulwani, M. Mayer, F. Niksic and R. Piskac. StriSynth: Synthesis for Live Programming. international conference on Software engineering, Firenze,Italy, May 2015.
    Detailed recordFulltext StringSolver, the implementation of StriSynth allowing to create scripts from data by example.
  8. 1.
    V. Kuncak and M. Mayer. Game Programming by Demonstration. Onward! 2013, Indianapolis, Indiana, USA, October 2013.
    Detailed recordFulltextAdd to my collections The sources of the game can be found on the Pong Designer github project page
  9. 3.
    V. Kuncak, M. Mayer, R. Piskac and P. Suter. Software Synthesis Procedures, in Communications of the ACM, vol. 55, p. 103-111, 2012.
    Detailed recordAdd to my collections
  10. 4.
    E. AYDIN, E. KURDOGLU and M. MAYER, J. RÜTER (Dir.). Breaking Bloch's Law. 2008.
    Detailed recordAdd to my collections
  11. 5.
    V. Kuncak, M. Mayer, R. Piskac and P. Suter. Comfusy: A Tool for Complete Functional Synthesis. 22nd International Conference on Computer Aided Verification, Edinburgh, Scotland, UK, July 15-19, 2010. , Lecture Notes in Computer Science 6174.
    Detailed recordFulltextAdd to my collections
  12. 6.
    A. Spröwitz, P. Laprade, S. Bonardi, M. Mayer and R. Möckel et al. Roombots-Towards Decentralized Reconfiguration with Self-Reconfiguring Modular Robotic Metamodules. The 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, Taipei, Taiwan, October 18-22, 2010. , IEEE International Conference on Intelligent Robots and Systems.
    Detailed recordFulltextAdd to my collections
  13. 7.
    V. Kuncak, M. Mayer, R. Piskac and P. Suter. Complete Functional Synthesis. ACM Conf. Programming Language Design and Implementation (PLDI), 2010.
    Detailed recordAdd to my collections
  14. 8.
    M. Mayer, V. Kuncak, R. Piskac and B. Jobstmann (Dirs.). Complete Program Synthesis for Linear Arithmetic. 2010.
    Detailed recordFulltextAdd to my collections
  15. 9.
    M. Mayer, P. Suter, R. Piskac and V. Kuncak. On Complete Functional Synthesis, 2009.
    Detailed recordFulltextAdd to my collections

Links