Folgen
Mikaël Mayer
Mikaël Mayer
Chief Technical Officer, Tharzen Inc, USA
Bestätigte E-Mail-Adresse bei tharzen.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Complete functional synthesis
V Kuncak, M Mayer, R Piskac, P Suter
ACM Sigplan Notices 45 (6), 316-329, 2010
1832010
User interaction models for disambiguation in programming by example
M Mayer, G Soares, M Grechkin, V Le, M Marron, O Polozov, R Singh, ...
Proceedings of the 28th Annual ACM Symposium on User Interface Software …, 2015
1182015
Software synthesis procedures
V Kuncak, M Mayer, R Piskac, P Suter
Communications of the ACM 55 (2), 103-111, 2012
512012
Bidirectional evaluation with direct manipulation
M Mayer, V Kuncak, R Chugh
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-28, 2018
462018
Roombots—towards decentralized reconfiguration with self-reconfiguring modular robotic metamodules
A Sproewitz, P Laprade, S Bonardi, M Mayer, R Moeckel, PA Mudry, ...
2010 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2010
392010
Automating grammar comparison
R Madhavan, M Mayer, S Gulwani, V Kuncak
Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015
30*2015
Functional synthesis for linear arithmetic and sets
V Kuncak, M Mayer, R Piskac, P Suter
International Journal on Software Tools for Technology Transfer 15 (5), 455-474, 2013
282013
StriSynth: synthesis for live programming
S Gulwani, M Mayer, F Niksic, R Piskac
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
242015
Comfusy: A Tool for Complete Functional Synthesis: (Tool Presentation)
V Kuncak, M Mayer, R Piskac, P Suter
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
232010
User interaction models for disambiguation in programming-by-example
S Gulwani, BG Zorn, R Singh, M Marron, O Polozov, VM Le, M Mayer, ...
US Patent 9,891,895, 2018
122018
Game programming by demonstration
M Mayer, V Kuncak
Proceedings of the 2013 ACM international symposium on New ideas, new …, 2013
102013
Roombot modules-kinematics considerations for moving optimizations
M Mayer
Semester project, Biologically Inspired Robotic Group, 2009
52009
Optimal test sets for context-free languages
M Mayer, J Hamza
arXiv preprint arXiv:1611.06703, 2016
42016
Bidirectional evaluation for general-purpose programming
M Mayer, R Chugh
US Patent App. 17/160,098, 2021
22021
Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact).
M Mayer, J Hamza, V Kuncak
Dagstuhl Artifacts Ser. 3 (2), 16:1-16:2, 2017
22017
Polynomial-time proactive synthesis of tree-to-string functions from examples
M Mayer, J Hamza, V Kuncak
arXiv preprint arXiv:1701.04288, 2017
22017
Interactive Programming by Example
M Mayer
EPFL, 2017
22017
On Complete Functional Synthesis
M Mayer, P Suter, R Piskac, V Kuncak
12009
Formally verified cloud-scale authorization
A Chakarov, J Geldenhuys, M Heck, M Hicks, S Huang, GA Jaloyan, ...
2025
Bidirectional evaluation for general—purpose programming
M Mayer, R Chugh
US Patent 11,301,243, 2022
2022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20