متابعة
Mikaël Mayer
Mikaël Mayer
Chief Technical Officer, Tharzen Inc, USA
بريد إلكتروني تم التحقق منه على tharzen.com - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
Complete functional synthesis‏
V Kuncak, M Mayer, R Piskac, P Suter‏
ACM Sigplan Notices 45 (6), 316-329, 2010‏
1862010
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‏
1192015
Software synthesis procedures‏
V Kuncak, M Mayer, R Piskac, P Suter‏
Communications of the ACM 55 (2), 103-111, 2012‏
552012
Bidirectional evaluation with direct manipulation‏
M Mayer, V Kuncak, R Chugh‏
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-28, 2018‏
472018
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‏
412010
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‏
292013
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‏
232015
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
Optimal test sets for context-free languages‏
M Mayer, J Hamza‏
arXiv preprint arXiv:1611.06703, 2016‏
52016
Roombot modules-kinematics considerations for moving optimizations‏
M Mayer‏
Semester project, Biologically Inspired Robotic Group, 2009‏
52009
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‏
M Mayer, V Kuncak, J Hamza‏
European Conference on Object-Oriented Programming, 2017‏
22017
Interactive Programming by Example‏
M Mayer‏
EPFL, 2017‏
22017
Proactive synthesis of recursive tree-to-string functions from examples (artifact)‏
M Mayer, J Hamza, V Kuncak‏
Dagstuhl Artifacts Series 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‏
12017
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
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20