Mikaël Mayer

PhD candidate at LARA, EPFL, Lausanne, Switzerland, since 2012.

Contact

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

Publications

  1. 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
  2. 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
  3. 2.
    R. Madhavan, M. Mayer, S. Gulwani and V. Kuncak. Towards Automating Grammar Equivalence Checking, 2015.
    Detailed recordFulltextAdd to my collections
  4. 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
  5. 1.
    V. Kuncak and M. Mayer. Game Programming by Demonstration. Onward! 2013, Indianapolis, Indiana, USA, October 2013.
    Detailed recordFulltextAdd to my collections
  6. 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
  7. 4.
    E. AYDIN, E. KURDOGLU and M. MAYER, J. RÜTER (Dir.). Breaking Bloch's Law. 2008.
    Detailed recordAdd to my collections
  8. 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
  9. 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
  10. 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
  11. 8.
    M. Mayer, V. Kuncak, R. Piskac and B. Jobstmann (Dirs.). Complete Program Synthesis for Linear Arithmetic. 2010.
    Detailed recordFulltextAdd to my collections
  12. 9.
    M. Mayer, P. Suter, R. Piskac and V. Kuncak. On Complete Functional Synthesis, 2009.
    Detailed recordFulltextAdd to my collections

Links