Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Mikaël Mayer"'
Publikováno v:
Proceedings of the ACM on Programming Languages. 2:1-28
We present an evaluation update (or simply, update) algorithm for a full-featured functional programming language, which synthesizes program changes based on output changes. Intuitively, the update algorithm retraces the steps of the original evaluat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::03f0af4336ad975afd4f5e844132e2e9
https://doi.org/10.1145/3276497
https://doi.org/10.1145/3276497
Publikováno v:
Communications of the ACM
Automated synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, software synthesis algorithms should behave in a predictable way: they shoul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b442af9949beee24ae4d245160a47b73
https://doi.org/10.1145/2076450.2076472
https://doi.org/10.1145/2076450.2076472
Autor:
Mark Marron, Vu Le, Rishabh Singh, Oleksandr Polozov, Sumit Gulwani, Mikaël Mayer, Maxim Grechkin, Gustavo Soares, Benjamin G. Zorn
Publikováno v:
UIST
Programming by Examples (PBE) has the potential to revolutionize end-user programming by enabling end users, most of whom are non-programmers, to create small scripts for automating repetitive tasks. However, examples, though often easy to provide, a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c975a078939fc7534ae77c1271a4101d
https://doi.org/10.1145/2807442.2807459
https://doi.org/10.1145/2807442.2807459
Autor:
Philippe Laprade, Stephane Bonardi, Mikaël Mayer, Auke Jan Ijspeert, Alexander Sproewitz, Rico Moeckel, Pierre-André Mudry
Publikováno v:
IROS
This paper presents our work towards a decentralized reconfiguration strategy for self-reconfiguring modular robots, assembling furniture-like structures from Roombots (RB) metamodules. We explore how reconfiguration by locomotion from a configuratio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e20b31b3f574019353ddd2ce9630ddc3
https://doi.org/10.1109/iros.2010.5649504
https://doi.org/10.1109/iros.2010.5649504
Publikováno v:
International Journal on Software Tools for Technology Transfer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algorithms should behave in a predictable way—they should succeed for a we
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::adbf297783b799e7abe46d8c3a31f4b0
https://infoscience.epfl.ch/record/225480
https://infoscience.epfl.ch/record/225480
Publikováno v:
Computer Aided Verification ISBN: 9783642142949
CAV
CAV
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the general-purpose programming language Scala with (non-reactive) functional sy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::866e52b45c10da26afe38ea6c43042fe
https://infoscience.epfl.ch/record/161283
https://infoscience.epfl.ch/record/161283
Autor:
Viktor Kuncak, Mikaël Mayer
Publikováno v:
Onward!
The increasing adoption of smartphones and tablets has provided tens of millions of users with substantial resources for computation, communication and sensing. The availability of these resources has a huge potential to positively transform our soci
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::659f83eeaf933f0dee6db991285ba079
https://infoscience.epfl.ch/record/209915
https://infoscience.epfl.ch/record/209915
Autor:
Ravichandhran Madhavan, Mikaël Mayer
Publikováno v:
SCALA@SPLASH
We present a lightweight library for testing concurrent Scala programs by systematically exploring multiple interleavings between user-specified operations on shared objects. Our library is targeted at beginners of concurrent programming in Scala, ru
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::47c853078893dc18067c35e6a54ee77a
https://infoscience.epfl.ch/record/225266
https://infoscience.epfl.ch/record/225266