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
Scala 2020
Committee Member in Program Committee within the Scala-track
PLDI 2019
Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
SPLASH 2018
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 2018
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
ECOOP 2017
Author of Proactive Synthesis of Recursive Tree-to-String Functions from Examples within the ECOOP Research Papers-track
Scala 2016
Author of A Scala Library for Testing Student Assignments on Concurrent Programming within the Scala-track
SPLASH 2015
Author of Automating Grammar Comparison within the OOPSLA-track
Author of Automating Grammar Comparison within the OOPSLA Artifacts-track
Onward! 2013
Author of Game Programming by Demonstration within the Research Papers-track
SPLASH 2013
Share
x
Fri 3 Feb 07:42