Eran Yahav

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 62

Top Venues

CoRR

PLDI

Proc. ACM Program. Lang.

PPOPP

Publications

Gail Weiss, Yoav Goldberg, Eran Yahav
Extracting automata from recurrent neural networks using queries and counterexamples (extended version). Mach. Learn. 113 (5) (2024)
Shaked Brody, Uri Alon, Eran Yahav
On the Expressivity Role of LayerNorm in Transformers' Attention. ACL (Findings) (2023)
Daniel Glickman, Eran Yahav
Diffusing Graph Attention. CoRR (2023)
Eran Yahav
Towards AI-Driven Software Development: Challenges and Lessons from the Field (Keynote). ESEC/SIGSOFT FSE (2023)
Shaked Brody, Uri Alon, Eran Yahav
On the Expressivity Role of LayerNorm in Transformers' Attention. CoRR (2023)
Michael Pradel, Baishakhi Ray, Charles Sutton, Eran Yahav
Programming Language Processing (Dagstuhl Seminar 23062). Dagstuhl Reports 13 (2) (2023)
Shaked Brody, Uri Alon, Eran Yahav
How Attentive are Graph Attention Networks? ICLR (2022)
Shaked Brody, Uri Alon, Eran Yahav
How Attentive are Graph Attention Networks? CoRR (2021)
Uri Alon, Eran Yahav
On the Bottleneck of Graph Neural Networks and its Practical Implications. ICLR (2021)
Gail Weiss, Yoav Goldberg, Eran Yahav
Thinking Like Transformers. CoRR (2021)
Gail Weiss, Yoav Goldberg, Eran Yahav
Thinking Like Transformers. ICML (2021)
Hila Peleg, Shachar Itzhaky, Sharon Shoham, Eran Yahav
Programming by predicates: a formal model for interactive synthesis. Acta Informatica 57 (1-2) (2020)
Uri Alon, Eran Yahav
On the Bottleneck of Graph Neural Networks and its Practical Implications. CoRR (2020)
Hila Peleg, Roi Gabay, Shachar Itzhaky, Eran Yahav
Programming with a read-eval-synth loop. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Shaked Brody, Uri Alon, Eran Yahav
A structural model for contextual code changes. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
William Merrill, Gail Weiss, Yoav Goldberg, Roy Schwartz, Noah A. Smith, Eran Yahav
A Formal Hierarchy of RNN Architectures. ACL (2020)
Shaked Brody, Uri Alon, Eran Yahav
Neural Edit Completion. CoRR (2020)
William Merrill, Gail Weiss, Yoav Goldberg, Roy Schwartz, Noah A. Smith, Eran Yahav
A Formal Hierarchy of RNN Architectures. CoRR (2020)
Yaniv David, Uri Alon, Eran Yahav
Neural reverse engineering of stripped binaries using augmented control flow graphs. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Uri Alon, Roy Sadaka, Omer Levy, Eran Yahav
Structural Language Models of Code. ICML (2020)
Noam Yefet, Uri Alon, Eran Yahav
Adversarial examples for models of code. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Gail Weiss, Yoav Goldberg, Eran Yahav
Learning Deterministic Weighted Automata with Queries and Counterexamples. NeurIPS (2019)
Noam Yefet, Uri Alon, Eran Yahav
Adversarial Examples for Models of Code. CoRR (2019)
Omer Katz, Yuval Olshaker, Yoav Goldberg, Eran Yahav
Towards Neural Decompilation. CoRR (2019)
Uri Alon, Meital Zilberstein, Omer Levy, Eran Yahav
code2vec: learning distributed representations of code. Proc. ACM Program. Lang. 3 (POPL) (2019)
Gail Weiss, Yoav Goldberg, Eran Yahav
Learning Deterministic Weighted Automata with Queries and Counterexamples. CoRR (2019)
Yaniv David, Uri Alon, Eran Yahav
Neural Reverse Engineering of Stripped Binaries. CoRR (2019)
Uri Alon, Shaked Brody, Omer Levy, Eran Yahav
code2seq: Generating Sequences from Structured Representations of Code. ICLR (Poster) (2019)
Uri Alon, Roy Sadaka, Omer Levy, Eran Yahav
Structural Language Models for Any-Code Generation. CoRR (2019)
Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay
From typestate verification to interpretable deep models (invited talk abstract). ISSTA (2019)
Hila Peleg, Dan Rasin, Eran Yahav
Generating Tests by Example. VMCAI (2018)
Gail Weiss, Yoav Goldberg, Eran Yahav
On the Practical Computational Power of Finite Precision RNNs for Language Recognition. ACL (2) (2018)
Hila Peleg, Sharon Shoham, Eran Yahav
Programming not only by example. ICSE (2018)
Eran Yahav
From Programs to Interpretable Deep Models and Back. CAV (1) (2018)
Omer Katz, Noam Rinetzky, Eran Yahav
Statistical Reconstruction of Class Hierarchies in Binaries. ASPLOS (2018)
Uri Alon, Meital Zilberstein, Omer Levy, Eran Yahav
A general path-based representation for predicting program properties. PLDI (2018)
Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav
Practical concurrent traversals in search trees. PPOPP (2018)
Yaniv David, Nimrod Partush, Eran Yahav
FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware. ASPLOS (2018)
Gail Weiss, Yoav Goldberg, Eran Yahav
Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples. ICML (2018)
Uri Alon, Meital Zilberstein, Omer Levy, Eran Yahav
code2vec: Learning Distributed Representations of Code. CoRR (2018)
Gail Weiss, Yoav Goldberg, Eran Yahav
On the Practical Computational Power of Finite Precision RNNs for Language Recognition. CoRR (2018)
Uri Alon, Meital Zilberstein, Omer Levy, Eran Yahav
A General Path-Based Representation for Predicting Program Properties. CoRR (2018)
Uri Alon, Omer Levy, Eran Yahav
code2seq: Generating Sequences from Structured Representations of Code. CoRR (2018)
Adi Omari, Sharon Shoham, Eran Yahav
Synthesis of Forgiving Data Extractors. WSDM (2017)
Hila Peleg, Sharon Shoham, Eran Yahav
Programming Not Only by Example. CoRR (2017)
Yaniv David, Nimrod Partush, Eran Yahav
Similarity of binaries through re-optimization. PLDI (2017)
Nader H. Bshouty, Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav
Learning Disjunctions of Predicates. COLT (2017)
Gail Weiss, Yoav Goldberg, Eran Yahav
Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples. CoRR (2017)
Dana Drachsler-Cohen, Sharon Shoham, Eran Yahav
Synthesis with Abstract Examples. CAV (1) (2017)
Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav
Automatic Scalable Atomicity via Semantic Locking. ACM Trans. Parallel Comput. 3 (4) (2017)
Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav
Effective abstractions for verification under relaxed memory models. Comput. Lang. Syst. Struct. 47 (2017)
Nader H. Bshouty, Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav
Learning Disjunctions of Predicates. CoRR (2017)
Adi Omari, Sharon Shoham, Eran Yahav
Cross-supervised synthesis of web-crawlers. ICSE (2016)
Adi Omari, Benny Kimelfeld, Eran Yahav, Sharon Shoham
Lossless Separation of Web Pages into Layout Code and Data. KDD (2016)
Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang
Symbolic automata for representing big code. Acta Informatica 53 (4) (2016)
Meital Zilberstein, Eran Yahav
Leveraging a corpus of natural language descriptions for program similarity. Onward! (2016)
Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav
Optimal Learning of Specifications from Examples. CoRR (2016)
Yaniv David, Nimrod Partush, Eran Yahav
Statistical similarity of binaries. PLDI (2016)
Hila Peleg, Sharon Shoham, Eran Yahav
D^3 : Data-Driven Disjunctive Abstraction. VMCAI (2016)
Omer Katz, Ran El-Yaniv, Eran Yahav
Estimating types in binaries using predictive modeling. POPL (2016)
Martin T. Vechev, Eran Yahav
Programming with "Big Code". Found. Trends Program. Lang. 3 (4) (2016)
Shir Yadid, Eran Yahav
Extracting code from programming tutorial videos. Onward! (2016)
Yuri Meshman, Noam Rinetzky, Eran Yahav
Pattern-based Synthesis of Synchronization for the C++ Memory Model. FMCAD (2015)
Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav
Automatic scalable atomicity via semantic locking. PPOPP (2015)
Eran Yahav
Programming with "Big Code". APLAS (2015)
Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav
Effective Abstractions for Verification under Relaxed Memory Models. VMCAI (2015)
Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav
Automatic semantic locking. PPOPP (2014)
Nimrod Partush, Eran Yahav
Abstract semantic differencing via speculative correlation. OOPSLA (2014)
Yaniv David, Eran Yahav
Tracelet-based code search in executables. PLDI (2014)
Dana Drachsler, Martin T. Vechev, Eran Yahav
Practical concurrent binary search trees via logical ordering. PPOPP (2014)
Yuri Meshman, Andrei Marian Dan, Martin T. Vechev, Eran Yahav
Synthesis of Memory Fences via Refinement Propagation. SAS (2014)
Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev
Verifying atomicity via data independence. ISSTA (2014)
Veselin Raychev, Martin T. Vechev, Eran Yahav
Code completion with statistical language models. PLDI (2014)
Meital Ben Sinai, Nimrod Partush, Shir Yadid, Eran Yahav
Exploiting Social Navigation. CoRR (2014)
Martin T. Vechev, Eran Yahav, Greta Yorsh
Abstraction-guided synthesis of synchronization. Int. J. Softw. Tools Technol. Transf. 15 (5-6) (2013)
Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang
Symbolic Automata for Static Specification Mining. SAS (2013)
Veselin Raychev, Martin T. Vechev, Eran Yahav
Automatic Synthesis of Deterministic Concurrency. SAS (2013)
Hana Chockler, Karine Even, Eran Yahav
Finding rare numerical stability errors in concurrent computations. ISSTA (2013)
Jörg Kreiker, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav
Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs. Programming Logics (2013)
Eran Yahav
Abstraction-Guided Synthesis. VMCAI (2013)
Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav
Predicate Abstraction for Relaxed Memory Models. SAS (2013)
Nimrod Partush, Eran Yahav
Abstract Semantic Differencing for Numerical Programs. SAS (2013)
Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav
Concurrent libraries with foresight. PLDI (2013)
Feng Liu, Nayden Nedev, Nedyalko Prisadnikov, Martin T. Vechev, Eran Yahav
Dynamic synthesis for relaxed memory models. PLDI (2012)
Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav
Scalable and precise dynamic datarace detection for structured parallelism. PLDI (2012)
Rastislav Bodík, Sumit Gulwani, Eran Yahav
Software Synthesis (Dagstuhl Seminar 12152). Dagstuhl Reports 2 (4) (2012)
Michael Kuperstein, Martin T. Vechev, Eran Yahav
Automatic inference of memory fences. SIGACT News 43 (2) (2012)
Alon Mishne, Sharon Shoham, Eran Yahav
Typestate-based semantic code search over partial programs. OOPSLA (2012)
Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav
Efficient data race detection for async-finish parallelism. Formal Methods Syst. Des. 41 (3) (2012)
Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav
Automatic fine-grain locking using shape properties. OOPSLA (2011)
Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav
Testing atomicity of composed concurrent operations. OOPSLA (2011)
Edward Aftandilian, Samuel Z. Guyer, Martin T. Vechev, Eran Yahav
Asynchronous assertions. OOPSLA (2011)
Michael Kuperstein, Martin T. Vechev, Eran Yahav
Partial-coherence abstractions for relaxed memory models. PLDI (2011)
Arun Raman, Greta Yorsh, Martin T. Vechev, Eran Yahav
Sprint: speculative prefetching of remote data. OOPSLA (2011)
Matthew Arnold, Martin T. Vechev, Eran Yahav
QVM: An Efficient Runtime for Detecting Defects in Deployed Systems. ACM Trans. Softw. Eng. Methodol. 21 (1) (2011)
Martin T. Vechev, Eran Yahav, Greta Yorsh
PHALANX: parallel checking of expressive heap assertions. ISMM (2010)
Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh
Verifying linearizability with hindsight. PODC (2010)
Michael Kuperstein, Martin T. Vechev, Eran Yahav
Automatic inference of memory fences. FMCAD (2010)
Eran Yahav, Mooly Sagiv
Verifying safety properties of concurrent heap-manipulating programs. ACM Trans. Program. Lang. Syst. 32 (5) (2010)
Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav
Efficient Data Race Detection for Async-Finish Parallelism. RV (2010)

Eran Yahav.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Eran Yahav