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
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
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
Verifying safety properties of concurrent Java programs using 3-valued logic
E Yahav
ACM SIGPLAN Notices 36 (3), 27-40, 2001
Synthesis of spatially addressed molecular arrays
C Barnes
US Patent 7,384,737, 2008
Abstraction-guided synthesis of synchronization
M Vechev, E Yahav, G Yorsh
ACM SIGPLAN Notices 45 (1), 327-338, 2010
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
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
Deriving linearizable fine-grained concurrent objects
M Vechev, E Yahav
ACM SIGPLAN Notices 43 (6), 125-135, 2008
Typestate-based semantic code search over partial programs
A Mishne, S Shoham, E Yahav
Proceedings of the ACM international conference on Object oriented …, 2012
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
Interprocedural shape analysis for cutpoint-free programs
N Rinetzky, M Sagiv, E Yahav
Static Analysis, 284-302, 2005
Tracelet-based code search in executables
Y David, E Yahav
Acm Sigplan Notices 49 (6), 349-360, 2014
Efficient data race detection for async-finish parallelism
R Raman, J Zhao, V Sarkar, M Vechev, E Yahav
Runtime Verification, 368-383, 2010
Cartesian partial-order reduction
G Gueta, C Flanagan, E Yahav, M Sagiv
Proceedings of the 14th international SPIN conference on Model checking …, 2007
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20