Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mikaël Mayer
conf.researchr.org general profile
ICFP 2018 profile
PLDI 2019 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
SPLASH 2013 profile
SPLASH 2015 profile
SPLASH 2016 profile
SPLASH 2018 profile
SPLASH 2020 profile
Registered user since Tue 17 Jan 2017
Name:
Mikaël Mayer
Affiliation:
EPFL, Switzerland
Contributions
2020
Scala
Committee Member in Program Committee within the Scala-track
2019
PLDI
Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
2018
SPLASH
Author of Bidirectional Evaluation with Direct Manipulation - Artifact Evaluation within the Artifacts-track
Author of Bidirectional Evaluation with Direct Manipulation within the OOPSLA-track
ICFP
Session Chair of T02: Direct Manipulation Programming in Sketch-n-Sketch (part of Tutorials)
Author of T02: Direct Manipulation Programming in Sketch-n-Sketch within the Tutorials-track
2017
ECOOP
Author of Proactive Synthesis of Recursive Tree-to-String Functions from Examples within the ECOOP Research Papers-track
2016
Scala
Author of A Scala Library for Testing Student Assignments on Concurrent Programming within the Scala-track
2015
SPLASH
Author of Automating Grammar Comparison within the OOPSLA-track
Author of Automating Grammar Comparison within the OOPSLA Artifacts-track
2013
Onward!
Author of Game Programming by Demonstration within the Research Papers-track
SPLASH
Share
x
Sat 21 Dec 18:02