Eran Yahav
Título
Citado por
Citado por
Año
Code completion with statistical language models
V Raychev, M Vechev, E Yahav
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
4422014
Effective typestate verification in the presence of aliasing
SJ Fink, E Yahav, N Dor, G Ramalingam, E Geay
ACM Transactions on Software Engineering and Methodology (TOSEM) 17 (2), 9, 2008
2932008
code2vec: Learning distributed representations of code
U Alon, M Zilberstein, O Levy, E Yahav
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
2452019
Static specification mining using automata-based abstractions
S Shoham, E Yahav, SJ Fink, M Pistoia
Software Engineering, IEEE Transactions on 34 (5), 651-666, 2008
2352008
Synthesis of spatially addressed molecular arrays
C Barnes
US Patent 7,384,737, 2008
1642008
Verifying safety properties of concurrent Java programs using 3-valued logic
E Yahav
ACM SIGPLAN Notices 36 (3), 27-40, 2001
1562001
Abstraction-guided synthesis of synchronization
M Vechev, E Yahav, G Yorsh
ACM SIGPLAN Notices 45 (1), 327-338, 2010
1522010
code2seq: Generating sequences from structured representations of code
U Alon, S Brody, O Levy, E Yahav
arXiv preprint arXiv:1808.01400, 2018
1452018
QVM: An efficient runtime for detecting defects in deployed systems
M Arnold, M Vechev, E Yahav
ACM SIGPLAN Notices 43 (10), 143-162, 2008
1392008
Automatic inference of memory fences
M Kuperstein, M Vechev, E Yahav
Formal Methods in Computer-Aided Design (FMCAD), 2010, 111-119, 2010
1342010
On the practical computational power of finite precision RNNs for language recognition
G Weiss, Y Goldberg, E Yahav
arXiv preprint arXiv:1805.04908, 2018
1322018
Comparison under abstraction for verifying linearizability
D Amit, N Rinetzky, T Reps, M Sagiv, E Yahav
Proceedings of the 19th international conference on Computer aided …, 2007
1292007
Predicate abstraction and canonical abstraction for singly-linked lists
R Manevich, E Yahav, G Ramalingam, M Sagiv
Verification, Model Checking, and Abstract Interpretation, 181-198, 2005
1282005
Chameleon: adaptive selection of collections
O Shacham, M Vechev, E Yahav
ACM SIGPLAN Notices 44 (6), 408-418, 2009
1192009
Tracelet-based code search in executables
Y David, E Yahav
Acm Sigplan Notices 49 (6), 349-360, 2014
1122014
Deriving linearizable fine-grained concurrent objects
M Vechev, E Yahav
ACM SIGPLAN Notices 43 (6), 125-135, 2008
1112008
Scalable and precise dynamic datarace detection for structured parallelism
R Raman, J Zhao, V Sarkar, M Vechev, E Yahav
Acm Sigplan Notices 47 (6), 531-542, 2012
1062012
Typestate-based semantic code search over partial programs
A Mishne, S Shoham, E Yahav
Proceedings of the ACM international conference on Object oriented …, 2012
1032012
Interprocedural shape analysis for cutpoint-free programs
N Rinetzky, M Sagiv, E Yahav
Static Analysis, 284-302, 2005
982005
Practical concurrent binary search trees via logical ordering
D Drachsler, M Vechev, E Yahav
Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of …, 2014
972014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20