Zobrazeno 1 - 10
of 97
pro vyhledávání: '"Eran Yahav"'
Publikováno v:
Machine Learning.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6d62be596841735c864efd40c2971b61
https://doi.org/10.1007/s10994-022-06163-2
https://doi.org/10.1007/s10994-022-06163-2
Publikováno v:
Proceedings of the ACM on Programming Languages. 4:1-30
A frequent programming pattern for small tasks, especially expressions, is to repeatedly evaluate the program on an input as its editing progresses. The Read-Eval-Print Loop (REPL) interaction model has been a successful model for this programming pa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::272a3466fd36bb43c7743589ff6daf3e
https://doi.org/10.1145/3428227
https://doi.org/10.1145/3428227
Publikováno v:
Proceedings of the ACM on Programming Languages. 4:1-30
Neural models of code have shown impressive results when performing tasks such as predicting method names and identifying certain kinds of bugs. We show that these models are vulnerable to adversarial examples, and introduce a novel approach for atta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f31b61e245295038d294df8e9a71a6cf
https://doi.org/10.1145/3428230
https://doi.org/10.1145/3428230
Publikováno v:
Acta Informatica. 57:165-193
Program synthesis is the problem of computing from a specification a program that implements it. New and popular variations on the synthesis problem accept specifications in formats that are easier for the human synthesis user to provide: input–out
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::71ee0021d0cbf2a8c0f17bc505bd1faf
https://doi.org/10.1007/s00236-019-00340-y
https://doi.org/10.1007/s00236-019-00340-y
We address the problem of predicting edit completions based on a learned model that was trained on past edits. Given a code snippet that is partially edited, our goal is to predict a completion of the edit for the rest of the snippet. We refer to thi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4fb00f0b338fa49621fb396f26e2f346
Publikováno v:
Computer Languages, Systems & Structures. 47:62-76
We present a new abstract interpretation based approach for automatically verifying concurrent programs running on relaxed memory models. Our approach is based on three key insights: (i) Although the behaviors of relaxed memory models (e.g., TSO and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::947b33e2200e76a465679f6e0debb4ca
https://doi.org/10.1016/j.cl.2016.02.003
https://doi.org/10.1016/j.cl.2016.02.003
Publikováno v:
ISSTA
The paper ``Effective Typestate Verification in the Presence of Aliasing'' was published in the International Symposium on Software Testing and Analysis (ISSTA) 2006 Proceedings, and has now been selected to receive the ISSTA 2019 Retrospective Impac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d84e049a37db4f44a9db0022719c653d
https://doi.org/10.1145/3293882.3338992
https://doi.org/10.1145/3293882.3338992
We address the problem of reverse engineering of stripped executables, which contain no debug information. This is a challenging problem because of the low amount of syntactic information available in stripped executables, and the diverse assembly co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::728d44cc0afe7705c68843dbc196ca3b
http://arxiv.org/abs/1902.09122
http://arxiv.org/abs/1902.09122
Autor:
Eran Yahav, Martin Vechev
Publikováno v:
Foundations and Trends® in Programming Languages. 3:231-284
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e0fb9e3b57087d3ae4ba556e9d8817da
https://doi.org/10.1561/2500000028
https://doi.org/10.1561/2500000028
Publikováno v:
ICSE
In recent years, there has been tremendous progress in automated synthesis techniques that are able to automatically generate code based on some intent expressed by the programmer. A major challenge for the adoption of synthesis remains in having the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5076581b3ed7333852ff3f0d03e2d345
https://doi.org/10.1145/3180155.3180189
https://doi.org/10.1145/3180155.3180189