Mikaël Mayer

According to our database1, Mikaël Mayer authored at least 16 papers between 2010 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
A Bidirectional Krivine Evaluator.
Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, 2019

2018
Bidirectional evaluation with direct manipulation.
Proc. ACM Program. Lang., 2018

2017
Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact).
Dagstuhl Artifacts Ser., 2017

Polynomial-Time Proactive Synthesis of Tree-to-String Functions from Examples.
CoRR, 2017

Proactive Synthesis of Recursive Tree-to-String Functions from Examples.
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016
Optimal Test Sets for Context-Free Languages.
CoRR, 2016

A Scala library for testing student assignments on concurrent programming.
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

2015
User Interaction Models for Disambiguation in Programming by Example.
Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology, 2015

Automating grammar comparison.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

StriSynth: Synthesis for Live Programming.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2013
Functional synthesis for linear arithmetic and sets.
Int. J. Softw. Tools Technol. Transf., 2013

Game programming by demonstration.
Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2013

2012
Software synthesis procedures.
Commun. ACM, 2012

2010
Complete functional synthesis.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Roombots - Towards decentralized reconfiguration with self-reconfiguring modular robotic metamodules.
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

Comfusy: A Tool for Complete Functional Synthesis.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010


  Loading...