Mikaël Mayer -

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
Scala 2016	Author of A Scala Library for Testing Student Assignments on Concurrent Programming within the Scala-track
ECOOP 2017	Author of Proactive Synthesis of Recursive Tree-to-String Functions from Examples within the ECOOP Research Papers-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