Mikaël Mayer -

Registered user since Tue 17 Jan 2017

Name: Mikaël Mayer

Affiliation: EPFL, Switzerland

Contributions

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