No photo of Eran Yahav

View Scopus Profile

Eran Yahav

Prof.

 https://orcid.org/0000-0003-4305-6314
    Calculated based on number of publications stored in Pure and citations from Scopus
    1996 …2023

    Research activity per year

    Search results

    • 2023

      On the Expressivity Role of LayerNorm in Transformers' Attention

      Brody, S., Alon, U. & Yahav, E., 2023, Findings of the Association for Computational Linguistics, ACL 2023. p. 14211-14221 11 p. (Proceedings of the Annual Meeting of the Association for Computational Linguistics).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      2 Scopus citations
    • 2022

      HOW ATTENTIVE ARE GRAPH ATTENTION NETWORKS?

      Brody, S., Alon, U. & Yahav, E., 2022.

      Research output: Contribution to conference › Paper › peer-review

      153 Scopus citations
    • 2021

      ON THE BOTTLENECK OF GRAPH NEURAL NETWORKS AND ITS PRACTICAL IMPLICATIONS

      Alon, U. & Yahav, E., 2021.

      Research output: Contribution to conference › Paper › peer-review

      120 Scopus citations

    • Thinking Like Transformers

      Weiss, G., Goldberg, Y. & Yahav, E., 2021, Proceedings of the 38th International Conference on Machine Learning, ICML 2021. p. 11080-11090 11 p. (Proceedings of Machine Learning Research; vol. 139).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      10 Scopus citations

    • Thinking Like Transformers

      Weiss, G., Goldberg, Y. & Yahav, E., 1 Jun 2021, Proceedings of the 38th International Conference on Machine Learning. Meila, M. & Zhang, T. (eds.). Vol. 139. p. 11080-11090 11 p. (Proceedings of Machine Learning Research).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Welcome from the Chairs

      Freund, S. N. & Yahav, E., 18 Jun 2021, In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). p. III-IV

      Research output: Contribution to journal › Editorial

    • 2020

      Adversarial examples for models of code

      Yefet, N., Alon, U. & Yahav, E., 13 Nov 2020, In: Proceedings of the ACM on Programming Languages. 4, OOPSLA, 162.

      Research output: Contribution to journal › Article › peer-review

      Open Access
      71 Scopus citations

    • A formal hierarchy of RNN architectures

      Merrill, W., Weiss, G., Goldberg, Y., Schwartz, R., Smith, N. A. & Yahav, E., 2020, ACL 2020 - 58th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference. p. 443-459 17 p. (Proceedings of the Annual Meeting of the Association for Computational Linguistics).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      20 Scopus citations

    • A Formal Hierarchy of RNN Architectures

      Merrill, W., Weiss, G., Goldberg, Y., Schwartz, R., Smith, N. A. & Yahav, E., 2020, Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, ACL 2020, Online, July 5-10, 2020. Jurafsky, D., Chai, J., Schluter, N. & Tetreault, J. R. (eds.). p. 443-459 17 p.

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • A structural model for contextual code changes

      Brody, S., Alon, U. & Yahav, E., 13 Nov 2020, In: Proceedings of the ACM on Programming Languages. 4, OOPSLA, 215.

      Research output: Contribution to journal › Article › peer-review

      Open Access
      19 Scopus citations

    • Neural Edit Completion

      Brody, S., Alon, U. & Yahav, E., 2020, OOPSLA'20: Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications.

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Neural reverse engineering of stripped binaries using augmented control flow graphs

      David, Y., Alon, U. & Yahav, E., 13 Nov 2020, In: Proceedings of the ACM on Programming Languages. 4, OOPSLA, 225.

      Research output: Contribution to journal › Article › peer-review

      Open Access
      38 Scopus citations

    • Programming by predicates: a formal model for interactive synthesis

      Peleg, H., Itzhaky, S., Shoham, S. & Yahav, E., 1 Apr 2020, In: Acta Informatica. 57, 1-2, p. 165-193 29 p.

      Research output: Contribution to journal › Article › peer-review

      1 Scopus citations

    • Programming with a read-eval-synth loop

      Peleg, H., Gabay, R., Itzhaky, S. & Yahav, E., 13 Nov 2020, In: Proceedings of the ACM on Programming Languages. 4, OOPSLA, 159.

      Research output: Contribution to journal › Article › peer-review

      Open Access
      10 Scopus citations

    • Structural language models of code

      Alon, U., Sadaka, R., Levy, O. & Yahav, E., 2020, 37th International Conference on Machine Learning, ICML 2020. Daume, H. & Singh, A. (eds.). p. 222-233 12 p. (37th International Conference on Machine Learning, ICML 2020; vol. PartF168147-1).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      33 Scopus citations
    • 2019

      Code2Seq: Generating sequences from structured representations of code

      Alon, U., Levy, O., Brody, S. & Yahav, E., 2019.

      Research output: Contribution to conference › Paper › peer-review

      268 Scopus citations

    • From typestate verification to interpretable deep models (invited talk abstract)

      Yahav, E., Fink, S. J., Dor, N., Ramalingam, G. & Geay, E., 10 Jul 2019, ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. Zhang, D. & Moller, A. (eds.). p. 4-5 2 p. (ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Learning deterministic weighted automata with queries and counterexamples

      Weiss, G., Goldberg, Y. & Yahav, E., 2019, In: Advances in Neural Information Processing Systems. 32

      Research output: Contribution to journal › Conference article › peer-review

      29 Scopus citations
    • 2018

      A general path-based representation for predicting program properties

      Alon, U., Zilberstein, M., Levy, O. & Yahav, E., 11 Jun 2018, In: ACM SIGPLAN Notices. 53, 4, p. 404-419 16 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access
      74 Scopus citations

    • A general path-based representation for predicting program properties

      Alon, U., Zilberstein, M., Levy, O. & Yahav, E., 11 Jun 2018, PLDI 2018 - Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation. Foster, J. S., Grossman, D. & Foster, J. S. (eds.). p. 404-419 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      80 Scopus citations

    • Extracting automata from recurrent neural networks using queries and counterexamples

      Weiss, G., Goldberg, Y. & Yahav, E., 2018, 35th International Conference on Machine Learning, ICML 2018. Dy, J. & Krause, A. (eds.). p. 8340-8349 10 p. (35th International Conference on Machine Learning, ICML 2018; vol. 12).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      37 Scopus citations

    • From programs to interpretable deep models and back

      Yahav, E., 2018, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Weissenbacher, G. & Chockler, H. (eds.). p. 27-37 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10981 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      5 Scopus citations

    • On the practical computational power of finite precision RNNs for language recognition

      Weiss, G., Goldberg, Y. & Yahav, E., 2018, ACL 2018 - 56th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference (Short Papers). p. 740-745 6 p. (ACL 2018 - 56th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference (Long Papers); vol. 2).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      130 Scopus citations

    • Practical concurrent traversals in search trees

      Drachsler-Cohen, D., Vechev, M. & Yahav, E., 10 Feb 2018, PPoPP 2018 - Proceedings of the 23rd Principles and Practice of Parallel Programming. p. 207-218 12 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      2 Scopus citations

    • Statistical reconstruction of class hierarchies in binaries

      Katz, O., Rinetzky, N. & Yahav, E., 19 Mar 2018, ASPLOS 2018 - 23rd International Conference on Architectural Support for Programming Languages and Operating Systems. p. 363-376 14 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      11 Scopus citations

    • Supplementary material - Extracting automata from recurrent neural networks using queries and counterexamples

      Weiss, G., Goldberg, Y. & Yahav, E., 2018, 35th International Conference on Machine Learning, ICML 2018. Dy, J. & Krause, A. (eds.). p. 8350-8357 8 p. (35th International Conference on Machine Learning, ICML 2018; vol. 12).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2017

      Automatic scalable atomicity via semantic locking

      Golan-Gueta, G., Ramalingam, G., Sagiv, M. & Yahav, E., Mar 2017, In: ACM Transactions on Parallel Computing. 3, 4, a21.

      Research output: Contribution to journal › Article › peer-review

      1 Scopus citations

    • Effective abstractions for verification under relaxed memory models

      Dan, A., Meshman, Y., Vechev, M. & Yahav, E., 1 Jan 2017, In: Computer Languages, Systems and Structures. 47, p. 62-76 15 p.

      Research output: Contribution to journal › Article › peer-review

      9 Scopus citations

    • Learning Disjunctions of Predicates

      Bshouty, N. H., Drachsler-Cohen, D., Vechev, M. & Yahav, E., 1 Jul 2017, Proceedings of the 2017 Conference on Learning Theory. Kale, S. & Shamir, O. (eds.). Vol. 65. p. 346-369 24 p. (Proceedings of Machine Learning Research).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Similarity of Binaries through re-Optimization

      David, Y., Partush, N. & Yahav, E., 14 Jun 2017, PLDI 2017 - Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Cohen, A. & Vechev, M. (eds.). p. 79-94 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. Part F128414).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      48 Scopus citations

    • Synthesis of forgiving data extractors

      Omari, A., Shoham, S. & Yahav, E., 2 Feb 2017, WSDM 2017 - Proceedings of the 10th ACM International Conference on Web Search and Data Mining. p. 385-394 10 p. (WSDM 2017 - Proceedings of the 10th ACM International Conference on Web Search and Data Mining).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      11 Scopus citations

    • Synthesis with abstract examples

      Drachsler-Cohen, D., Shoham, S. & Yahav, E., 2017, Computer Aided Verification - 29th International Conference, CAV 2017, Proceedings. Kuncak, V. & Majumdar, R. (eds.). p. 254-278 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10426 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      16 Scopus citations
    • 2016

      Analysis and synthesis with "big code"

      Yahav, E., 19 Apr 2016, Dependable Software Systems Engineering. Vol. 45. p. 244-282 39 p.

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    • D3: Data-driven disjunctive abstraction

      Peleg, H., Shoham, S. & Yahav, E., 2016, Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, Proceedings. Rustan, K., Leino, M. & Jobstmann, B. (eds.). p. 185-205 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9583).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      4 Scopus citations

    • Estimating types in binaries using predictive modeling

      Katz, O., El-Yaniv, R. & Yahav, E., 11 Jan 2016, POPL 2016 - Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Majumdar, R. & Bodik, R. (eds.). p. 313-326 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages; vol. 20-22-January-2016).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      20 Scopus citations

    • Estimating types in binaries using predictive modeling

      Katz, O., El-Yaniv, R. & Yahav, E., 8 Apr 2016, In: ACM SIGPLAN Notices. 51, 1, p. 313-326 14 p.

      Research output: Contribution to journal › Article › peer-review

      9 Scopus citations

    • Extracting code from programming tutorial videos

      Yadid, S. & Yahav, E., 20 Oct 2016, Onward! 2016 - Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. Visser, E., Murphy-Hill, E. & Lopes, C. (eds.). p. 98-111 14 p. (Onward! 2016 - Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      37 Scopus citations

    • Leveraging a corpus of natural language descriptions for program similarity

      Zilberstein, M. & Yahav, E., 20 Oct 2016, Onward! 2016 - Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. Visser, E., Murphy-Hill, E. & Lopes, C. (eds.). p. 197-211 15 p. (Onward! 2016 - Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      14 Scopus citations

    • Lossless separation of web pages into layout code and data

      Omari, A., Kimelfeld, B., Yahav, E. & Shoham, S., 13 Aug 2016, KDD 2016 - Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. p. 1805-1814 10 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining; vol. 13-17-August-2016).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      7 Scopus citations

    • Pattern-based synthesis of synchronization for the C++ memory model

      Meshman, Y., Rinetzky, N. & Yahav, E., 11 Aug 2016, Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design, FMCAD 2015. Kaivola, R. & Wahl, T. (eds.). p. 120-127 8 p. 7542261. (Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design, FMCAD 2015).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      9 Scopus citations

    • Programming with “Big Code”

      Vechev, M. & Yahav, E., 2016, In: Foundations and Trends in Programming Languages. 3, 4, p. 231-284 54 p.

      Research output: Contribution to journal › Article › peer-review

      16 Scopus citations

    • Statistical similarity of binaries

      David, Y., Partush, N. & Yahav, E., Jun 2016, In: ACM SIGPLAN Notices. 51, 6, p. 266-280 15 p.

      Research output: Contribution to journal › Article › peer-review

      30 Scopus citations
    • 2015

      Automatic scalable atomicity via semantic locking

      Golan-Gueta, G., Ramalingam, G., Sagiv, M. & Yahav, E., 24 Jan 2015, 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 - Proceedings. p. 31-41 11 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP; vol. 2015-January).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      13 Scopus citations

    • Effective abstractions for verification under relaxed memory models

      Dan, A., Meshman, Y., Vechev, M. & Yahav, E., 2015, Verification, Model Checking and Abstract Interpretation - 16th International Conference, VMCAI 2015, Proceedings. D’Souza, D., Lal, A. & Larsen, K. G. (eds.). p. 449-466 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8931).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      21 Scopus citations

    • Programming with “big code”

      Yahav, E., 2015, Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Proceedings. Park, S. & Feng, X. (eds.). p. 3-8 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9458).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      5 Scopus citations
    • 2014

      Abstract semantic differencing via speculative correlation

      Partush, N. & Yahav, E., 31 Dec 2014, In: ACM SIGPLAN Notices. 49, 10, p. 811-828 18 p.

      Research output: Contribution to journal › Article › peer-review

      16 Scopus citations

    • Abstract semantic differencing via speculative correlation

      Partush, N. & Yahav, E., 15 Oct 2014, Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA. p. 811-828 18 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      24 Scopus citations

    • Automatic semantic locking

      Golan-Gueta, G., Ramalingam, G., Sagiv, M. & Yahav, E., 2014, PPoPP 2014 - Proceedings of the 2014 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. p. 385-386 2 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Automatic semantic locking

      Golan-Gueta, G., Ramalingam, G., Sagiv, M. & Yahav, E., Aug 2014, In: ACM SIGPLAN Notices. 49, 8, p. 385-386 2 p.

      Research output: Contribution to journal › Article › peer-review

      1 Scopus citations

    • Automatic semantic locking

      Golan-Gueta, G., Ramalingam, G., Sagiv, M. & Yahav, E., 6 Feb 2014, In: ACM SIGPLAN Notices. 49, 8, p. 385-386 2 p.

      Research output: Contribution to journal › Article › peer-review