| Complete functional synthesis V Kuncak, M Mayer, R Piskac, P Suter ACM Sigplan Notices 45 (6), 316-329, 2010 | 182 | 2010 |
| 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 | 113 | 2015 |
| Software synthesis procedures V Kuncak, M Mayer, R Piskac, P Suter Communications of the ACM 55 (2), 103-111, 2012 | 50 | 2012 |
| Bidirectional evaluation with direct manipulation M Mayer, V Kuncak, R Chugh Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-28, 2018 | 44 | 2018 |
| 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 | 39 | 2010 |
| 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 | 28 | 2013 |
| 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 | 24 | 2015 |
| 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 | 22 | 2010 |
| 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 | 12 | 2018 |
| Game programming by demonstration M Mayer, V Kuncak Proceedings of the 2013 ACM international symposium on New ideas, new …, 2013 | 9 | 2013 |
| Roombot modules-kinematics considerations for moving optimizations M Mayer Semester project, Biologically Inspired Robotic Group, 2009 | 5 | 2009 |
| Optimal test sets for context-free languages M Mayer, J Hamza arXiv preprint arXiv:1611.06703, 2016 | 4 | 2016 |
| 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 | 2 | 2017 |
| Polynomial-time proactive synthesis of tree-to-string functions from examples M Mayer, J Hamza, V Kuncak arXiv preprint arXiv:1701.04288, 2017 | 2 | 2017 |
| Bidirectional evaluation for general-purpose programming M Mayer, R Chugh US Patent App. 17/160,098, 2021 | 1 | 2021 |
| Interactive Programming by Example M Mayer EPFL, 2017 | 1 | 2017 |
| On Complete Functional Synthesis M Mayer, P Suter, R Piskac, V Kuncak | 1 | 2009 |
| Bidirectional evaluation for general—purpose programming M Mayer, R Chugh US Patent 11,301,243, 2022 | | 2022 |
| A Scala library for testing student assignments on concurrent programming M Mayer, R Madhavan Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala, 1-10, 2016 | | 2016 |
Viktor KunčakEPFL在 epfl.ch 的电子邮件经过验证
