( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Just-in-time learning for bottom-up enumerative synthesis.

, , и . Proc. ACM Program. Lang., 4 (OOPSLA): 227:1-227:29 (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Ika Peleg

Hila Emmert

Shahaf Peleg

Ratiba Adeline Hilali

Mbachu Hilary

 

Другие публикации лиц с тем же именем

Programming with a read-eval-synth loop., , , и . Proc. ACM Program. Lang., 4 (OOPSLA): 159:1-159:30 (2020)D^3 : Data-Driven Disjunctive Abstraction., , и . VMCAI, том 9583 из Lecture Notes in Computer Science, стр. 185-205. Springer, (2016)Perfect Is the Enemy of Good: Best-Effort Program Synthesis., и . ECOOP, том 166 из LIPIcs, стр. 2:1-2:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Cyclic program synthesis., , , , и . PLDI, стр. 944-959. ACM, (2021)Program Synthesis for Programmers.. Technion - Israel Institute of Technology, Israel, (2019)AmiGo: Computational Design of Amigurumi Crochet Patterns., , , и . SCF, стр. 5:1-5:11. ACM, (2022)Generating Tests by Example., , и . VMCAI, том 10747 из Lecture Notes in Computer Science, стр. 406-429. Springer, (2018)LooPy: interactive program synthesis with control structures., , , , и . Proc. ACM Program. Lang., 5 (OOPSLA): 1-29 (2021)Symbolic Automata for Static Specification Mining., , , и . SAS, том 7935 из Lecture Notes in Computer Science, стр. 63-83. Springer, (2013)Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper)., , , , и . CAV (1), том 12759 из Lecture Notes in Computer Science, стр. 110-134. Springer, (2021)