Eran Yahav
Citado por
Citado por
Code completion with statistical language models
V Raychev, M Vechev, E Yahav
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
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
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
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
Synthesis of spatially addressed molecular arrays
C Barnes
US Patent 7,384,737, 2008
Verifying safety properties of concurrent Java programs using 3-valued logic
E Yahav
ACM SIGPLAN Notices 36 (3), 27-40, 2001
Abstraction-guided synthesis of synchronization
M Vechev, E Yahav, G Yorsh
ACM SIGPLAN Notices 45 (1), 327-338, 2010
code2seq: Generating sequences from structured representations of code
U Alon, S Brody, O Levy, E Yahav
arXiv preprint arXiv:1808.01400, 2018
QVM: An efficient runtime for detecting defects in deployed systems
M Arnold, M Vechev, E Yahav
ACM SIGPLAN Notices 43 (10), 143-162, 2008
Automatic inference of memory fences
M Kuperstein, M Vechev, E Yahav
Formal Methods in Computer-Aided Design (FMCAD), 2010, 111-119, 2010
On the practical computational power of finite precision RNNs for language recognition
G Weiss, Y Goldberg, E Yahav
arXiv preprint arXiv:1805.04908, 2018
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
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
Chameleon: adaptive selection of collections
O Shacham, M Vechev, E Yahav
ACM SIGPLAN Notices 44 (6), 408-418, 2009
Tracelet-based code search in executables
Y David, E Yahav
Acm Sigplan Notices 49 (6), 349-360, 2014
Deriving linearizable fine-grained concurrent objects
M Vechev, E Yahav
ACM SIGPLAN Notices 43 (6), 125-135, 2008
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
Typestate-based semantic code search over partial programs
A Mishne, S Shoham, E Yahav
Proceedings of the ACM international conference on Object oriented …, 2012
Interprocedural shape analysis for cutpoint-free programs
N Rinetzky, M Sagiv, E Yahav
Static Analysis, 284-302, 2005
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20