ติดตาม
Eran Yahav
Eran Yahav
Technion, Israel
ยืนยันอีเมลแล้วที่ cs.technion.ac.il - หน้าแรก
ชื่อ
อ้างโดย
อ้างโดย
ปี
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
15242019
How attentive are graph attention networks?
S Brody, U Alon, E Yahav
arXiv preprint arXiv:2105.14491, 2021
15222021
On the bottleneck of graph neural networks and its practical implications
U Alon, E Yahav
arXiv preprint arXiv:2006.05205, 2020
8952020
code2seq: Generating sequences from structured representations of code
U Alon, S Brody, O Levy, E Yahav
arXiv preprint arXiv:1808.01400, 2018
8902018
Code completion with statistical language models
V Raychev, M Vechev, E Yahav
Proceedings of the 35th ACM SIGPLAN conference on programming language …, 2014
8382014
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
3642008
On the practical computational power of finite precision RNNs for language recognition
G Weiss, Y Goldberg, E Yahav
arXiv preprint arXiv:1805.04908, 2018
3592018
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
2802008
A general path-based representation for predicting program properties
U Alon, M Zilberstein, O Levy, E Yahav
ACM SIGPLAN Notices 53 (4), 404-419, 2018
2792018
Extracting automata from recurrent neural networks using queries and counterexamples
G Weiss, Y Goldberg, E Yahav
International Conference on Machine Learning, 5247-5256, 2018
2502018
Tracelet-based code search in executables
Y David, E Yahav
Acm Sigplan Notices 49 (6), 349-360, 2014
2352014
Statistical similarity of binaries
Y David, N Partush, E Yahav
Acm sigplan notices 51 (6), 266-280, 2016
2142016
Abstraction-guided synthesis of synchronization
M Vechev, E Yahav, G Yorsh
ACM SIGPLAN Notices 45 (1), 327-338, 2010
1902010
Adversarial examples for models of code
N Yefet, U Alon, E Yahav
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
1712020
Firmup: Precise static detection of common vulnerabilities in firmware
Y David, N Partush, E Yahav
ACM SIGPLAN Notices 53 (2), 392-404, 2018
1652018
Verifying safety properties of concurrent Java programs using 3-valued logic
E Yahav
ACM SIGPLAN Notices 36 (3), 27-40, 2001
1612001
QVM: An efficient runtime for detecting defects in deployed systems
M Arnold, M Vechev, E Yahav
ACM SIGPLAN Notices 43 (10), 143-162, 2008
1532008
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
1512007
A survey of static analysis methods for identifying security vulnerabilities in software systems
M Pistoia, S Chandra, SJ Fink, E Yahav
IBM systems journal 46 (2), 265-288, 2007
1512007
Automatic inference of memory fences
M Kuperstein, M Vechev, E Yahav
Formal Methods in Computer-Aided Design (FMCAD), 2010, 111-119, 2010
1472010
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
บทความ 1–20