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

    Filter
    Article

    Search results

    • 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 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 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
    • 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
    • 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
    • 2016

      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

    • 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
    • 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

    • 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

    • Code completion with statistical language models

      Raychev, V., Vechev, M. & Yahav, E., 5 Jun 2014, In: ACM SIGPLAN Notices. 49, 6, p. 419-428 10 p.

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

      174 Scopus citations

    • Practical concurrent binary search trees via logical ordering

      Drachsler, D., Vechev, M. & Yahav, E., 6 Feb 2014, In: ACM SIGPLAN Notices. 49, 8, p. 343-356 14 p.

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

      1 Scopus citations

    • Synthesis of memory fences via refinement propagation

      Dan, A., Vechev, M., Meshman, Y. & Yahav, E., 2014, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8723, p. 237-252 16 p.

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

      13 Scopus citations
    • 2013

      Abstraction-guided synthesis of synchronization

      Vechev, M., Yahav, E. & Yorsh, G., Oct 2013, In: International Journal on Software Tools for Technology Transfer. 15, 5-6, p. 413-431 19 p.

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

      7 Scopus citations

    • Concurrent libraries with foresight

      Golan-Gueta, G., Ramalingam, G., Sagiv, M. & Yahav, E., Jun 2013, In: ACM SIGPLAN Notices. 48, 6, p. 263-273 11 p.

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

      Open Access
      4 Scopus citations
    • 2012

      Efficient data race detection for async-finish parallelism

      Raman, R., Zhao, J., Sarkar, V., Vechev, M. & Yahav, E., Dec 2012, In: Formal Methods in System Design. 41, 3, p. 321-347 27 p.

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

      Open Access
      17 Scopus citations
    • 2011

      Asynchronous assertions

      Aftandilian, E. E., Guyer, S. Z., Vechev, M. & Yahav, E., Oct 2011, In: ACM SIGPLAN Notices. 46, 10, p. 275-288 14 p.

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

    • Automatic fine-grain locking using shape properties

      Golan-Gueta, G., Bronson, N., Aiken, A., Ramalingam, G., Sagiv, M. & Yahav, E., Oct 2011, In: ACM SIGPLAN Notices. 46, 10, p. 225-241 17 p.

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

      7 Scopus citations

    • QVM: An efficient runtime for detecting defects in deployed systems

      Arnold, M., Vechev, M. & Yahav, E., Dec 2011, In: ACM Transactions on Software Engineering and Methodology. 21, 1, 2.

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

      Open Access
      22 Scopus citations

    • Sprint: Speculative prefetching of remote data

      Raman, A., Yorsh, G., Vechev, M. & Yahav, E., Oct 2011, In: ACM SIGPLAN Notices. 46, 10, p. 259-273 15 p.

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

      2 Scopus citations

    • Testing atomicity of composed concurrent operations

      Shacham, O., Bronson, N., Aiken, A., Sagiv, M., Vechev, M. & Yahav, E., Oct 2011, In: ACM SIGPLAN Notices. 46, 10, p. 51-64 14 p.

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

      14 Scopus citations
    • 2010

      Abstraction-guided synthesis of synchronization

      Vechev, M., Yahav, E. & Yorsh, G., Jan 2010, In: ACM SIGPLAN Notices. 45, 1, p. 327-338 12 p.

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

      49 Scopus citations

    • PHALANX: Parallel checking of expressive heap assertions

      Vechev, M., Yahav, E. & Yorsh, G., Aug 2010, In: ACM SIGPLAN Notices. 45, 8, p. 41-50 10 p.

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

      Open Access
      4 Scopus citations

    • Verifying safety properties of concurrent heap-manipulating programs

      Yahav, E. & Sagiv, M., 1 May 2010, In: ACM Transactions on Programming Languages and Systems. 32, 5, 18.

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

      Open Access
      5 Scopus citations
    • 2009

      Chameleon: Adaptive selection of collections

      Shacham, O., Vechev, M. & Yahav, E., Jun 2009, In: ACM SIGPLAN Notices. 44, 6, p. 408-418 11 p.

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

      49 Scopus citations
    • 2008

      Deriving linearizable fine-grained concurrent objects

      Vechev, M. & Yahav, E., Jun 2008, In: ACM SIGPLAN Notices. 43, 6, p. 125-135 11 p.

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

      33 Scopus citations

    • Effective typestate verification in the presence of aliasing

      Fink, S. J., Yahav, E., Dor, N., Ramalingam, G. & Geay, E., 1 Apr 2008, In: ACM Transactions on Software Engineering and Methodology. 17, 2, 9.

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

      Open Access
      122 Scopus citations

    • Generating precise and concise procedure summaries

      Yorsh, G., Yahav, E. & Chandra, S., Jan 2008, In: ACM SIGPLAN Notices. 43, 1, p. 221-234 14 p.

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

      15 Scopus citations

    • On the complexity of partially-flow-sensitive alias analysis

      Rinetzky, N., Ramalingam, G., Sagiv, M. & Yahav, E., 1 May 2008, In: ACM Transactions on Programming Languages and Systems. 30, 3, 13.

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

      Open Access
      7 Scopus citations

    • Qvm: An efficient runtime for detecting defects in deployed systems

      Arnold, M., Vechev, M. & Yahav, E., Sep 2008, In: ACM SIGPLAN Notices. 43, 10, p. 143-162 20 p.

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

      27 Scopus citations

    • Static specification mining using automata-based abstractions

      Shoham, S., Yahav, E., Fink, S. J. & Pistoia, M., 2008, In: IEEE Transactions on Software Engineering. 34, 5, p. 651-666 16 p.

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

      58 Scopus citations
    • 2007

      A survey of static analysis methods for identifying security vulnerabilities in software systems

      Pistoia, M., Chandra, S., Fink, S. J. & Yahav, E., 2007, In: IBM Systems Journal. 46, 2, p. 265-288 24 p.

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

      60 Scopus citations

    • CGCExplorer: A semi-automated search procedure for provably correct concurrent collectors

      Vechev, M. T., Yahav, E., Bacon, D. F. & Rinetzky, N., Jun 2007, In: ACM SIGPLAN Notices. 42, 6, p. 456-467 12 p.

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

      2 Scopus citations
    • 2006

      Correctness-preserving derivation of concurrent garbage collection algorithms

      Vechev, M. T., Yahav, E. & Bacon, D. F., 2006, In: ACM SIGPLAN Notices. 41, 6, p. 341-353 13 p.

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

      2 Scopus citations

    • Verifying temporal heap properties specified via evolution logic

      Yahav, E., Reps, T., Sagiv, M. & Wilhelm, R., Oct 2006, In: Logic Journal of the IGPL. 14, 5, p. 755-783 29 p.

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

      10 Scopus citations
    • 2005

      Establishing local temporal heap safety properties with applications to compile-time memory management

      Shaham, R., Yahav, E., Kolodner, E. K. & Sagiv, M., Oct 2005, In: Science of Computer Programming. 58, 1-2, p. 264-289 26 p.

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

      Open Access
      4 Scopus citations

    • Typestate verification: Abstraction techniques and complexity results

      Field, J., Goyal, D., Ramalingam, G. & Yahav, E., Oct 2005, In: Science of Computer Programming. 58, 1-2, p. 57-82 26 p.

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

      Open Access
      8 Scopus citations
    • 2004

      Verifying safety properties using separation and heterogeneous abstractions

      Yahav, E. & Ramalingam, G., Jun 2004, In: ACM SIGPLAN Notices. 39, 6, p. 25-34 10 p.

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

      7 Scopus citations
    • 2001

      Verifying safety properties of concurrent Java programs using 3-valued logic

      Yahav, E., 2001, In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 36, 3, p. 27-40 14 p.

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

      36 Scopus citations