| 2023 | ACL | On the Expressivity Role of LayerNorm in Transformers' Attention. | Shaked Brody, Uri Alon, Eran Yahav |
| 2022 | ICLR | How Attentive are Graph Attention Networks? | Shaked Brody, Uri Alon, Eran Yahav |
| 2021 | ICLR | On the Bottleneck of Graph Neural Networks and its Practical Implications. | Uri Alon, Eran Yahav |
| 2021 | ICML | Thinking Like Transformers. | Gail Weiss, Yoav Goldberg, Eran Yahav |
| 2020 | ACL | A Formal Hierarchy of RNN Architectures. | William Merrill, Gail Weiss, Yoav Goldberg, Roy Schwartz, Noah A. Smith, Eran Yahav |
| 2020 | ICML | Structural Language Models of Code. | Uri Alon, Roy Sadaka, Omer Levy, Eran Yahav |
| 2019 | ICLR | code2seq: Generating Sequences from Structured Representations of Code. | Uri Alon, Shaked Brody, Omer Levy, Eran Yahav |
| 2019 | ISSTA | From typestate verification to interpretable deep models (invited talk abstract). | Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay |
| 2018 | ACL | On the Practical Computational Power of Finite Precision RNNs for Language Recognition. | Gail Weiss, Yoav Goldberg, Eran Yahav |
| 2018 | ASPLOS | FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware. | Yaniv David, Nimrod Partush, Eran Yahav |
| 2018 | ASPLOS | Statistical Reconstruction of Class Hierarchies in Binaries. | Omer Katz, Noam Rinetzky, Eran Yahav |
| 2018 | CAV | From Programs to Interpretable Deep Models and Back. | Eran Yahav |
| 2018 | ICML | Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples. | Gail Weiss, Yoav Goldberg, Eran Yahav |
| 2018 | ICSE | Programming not only by example. | Hila Peleg, Sharon Shoham, Eran Yahav |
| 2018 | PLDI | A general path-based representation for predicting program properties. | Uri Alon, Meital Zilberstein, Omer Levy, Eran Yahav |
| 2018 | PPoPP | Practical concurrent traversals in search trees. | Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav |
| 2018 | VMCAI | Generating Tests by Example. | Hila Peleg, Dan Rasin, Eran Yahav |
| 2017 | CAV | Synthesis with Abstract Examples. | Dana Drachsler-Cohen, Sharon Shoham, Eran Yahav |
| 2017 | COLT | Learning Disjunctions of Predicates. | Nader H. Bshouty, Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav |
| 2017 | PLDI | Similarity of binaries through re-optimization. | Yaniv David, Nimrod Partush, Eran Yahav |
| 2017 | WSDM | Synthesis of Forgiving Data Extractors. | Adi Omari, Sharon Shoham, Eran Yahav |
| 2016 | ICSE | Cross-supervised synthesis of web-crawlers. | Adi Omari, Sharon Shoham, Eran Yahav |
| 2016 | KDD | Lossless Separation of Web Pages into Layout Code and Data. | Adi Omari, Benny Kimelfeld, Eran Yahav, Sharon Shoham |
| 2016 | OOPSLA | Extracting code from programming tutorial videos. | Shir Yadid, Eran Yahav |
| 2016 | OOPSLA | Leveraging a corpus of natural language descriptions for program similarity. | Meital Zilberstein, Eran Yahav |
| 2016 | PLDI | Statistical similarity of binaries. | Yaniv David, Nimrod Partush, Eran Yahav |
| 2016 | POPL | Estimating types in binaries using predictive modeling. | Omer Katz, Ran El-Yaniv, Eran Yahav |
| 2016 | VMCAI | D^3 : Data-Driven Disjunctive Abstraction. | Hila Peleg, Sharon Shoham, Eran Yahav |
| 2015 | APLAS | Programming with "Big Code". | Eran Yahav |
| 2015 | FMCAD | Pattern-based Synthesis of Synchronization for the C++ Memory Model. | Yuri Meshman, Noam Rinetzky, Eran Yahav |
| 2015 | PPoPP | Automatic scalable atomicity via semantic locking. | Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav |
| 2015 | VMCAI | Effective Abstractions for Verification under Relaxed Memory Models. | Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav |
| 2014 | ISSTA | Verifying atomicity via data independence. | Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev |
| 2014 | OOPSLA | Abstract semantic differencing via speculative correlation. | Nimrod Partush, Eran Yahav |
| 2014 | PLDI | Tracelet-based code search in executables. | Yaniv David, Eran Yahav |
| 2014 | PLDI | Code completion with statistical language models. | Veselin Raychev, Martin T. Vechev, Eran Yahav |
| 2014 | PPoPP | Practical concurrent binary search trees via logical ordering. | Dana Drachsler, Martin T. Vechev, Eran Yahav |
| 2014 | PPoPP | Automatic semantic locking. | Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav |
| 2014 | SAS | Synthesis of Memory Fences via Refinement Propagation. | Yuri Meshman, Andrei Marian Dan, Martin T. Vechev, Eran Yahav |
| 2013 | ISSTA | Finding rare numerical stability errors in concurrent computations. | Hana Chockler, Karine Even, Eran Yahav |
| 2013 | PLDI | Concurrent libraries with foresight. | Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav |
| 2013 | SAS | Predicate Abstraction for Relaxed Memory Models. | Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav |
| 2013 | SAS | Abstract Semantic Differencing for Numerical Programs. | Nimrod Partush, Eran Yahav |
| 2013 | SAS | Symbolic Automata for Static Specification Mining. | Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang |
| 2013 | SAS | Automatic Synthesis of Deterministic Concurrency. | Veselin Raychev, Martin T. Vechev, Eran Yahav |
| 2013 | VMCAI | Abstraction-Guided Synthesis. | Eran Yahav |
| 2012 | OOPSLA | Typestate-based semantic code search over partial programs. | Alon Mishne, Sharon Shoham, Eran Yahav |
| 2012 | PLDI | Dynamic synthesis for relaxed memory models. | Feng Liu, Nayden Nedev, Nedyalko Prisadnikov, Martin T. Vechev, Eran Yahav |
| 2012 | PLDI | Scalable and precise dynamic datarace detection for structured parallelism. | Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav |
| 2011 | OOPSLA | Asynchronous assertions. | Edward Aftandilian, Samuel Z. Guyer, Martin T. Vechev, Eran Yahav |
| 2011 | OOPSLA | Automatic fine-grain locking using shape properties. | Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav |
| 2011 | OOPSLA | Sprint: speculative prefetching of remote data. | Arun Raman, Greta Yorsh, Martin T. Vechev, Eran Yahav |
| 2011 | OOPSLA | Testing atomicity of composed concurrent operations. | Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav |
| 2011 | PLDI | Partial-coherence abstractions for relaxed memory models. | Michael Kuperstein, Martin T. Vechev, Eran Yahav |
| 2010 | FMCAD | Automatic inference of memory fences. | Michael Kuperstein, Martin T. Vechev, Eran Yahav |
| 2010 | PODC | Verifying linearizability with hindsight. | Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh |
| 2010 | POPL | Abstraction-guided synthesis of synchronization. | Martin T. Vechev, Eran Yahav, Greta Yorsh |
| 2010 | RV | Efficient Data Race Detection for Async-Finish Parallelism. | Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav |
| 2010 | SAS | Automatic Verification of Determinism for Structured Parallel Programs. | Martin T. Vechev, Eran Yahav, Raghavan Raman, Vivek Sarkar |
| 2009 | PLDI | Chameleon: adaptive selection of collections. | Ohad Shacham, Martin T. Vechev, Eran Yahav |
| 2009 | TACAS | Inferring Synchronization under Limited Observability. | Martin T. Vechev, Eran Yahav, Greta Yorsh |
| 2008 | ISSTA | Verifying dereference safety via expanding-scope analysis. | Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda |
| 2008 | OOPSLA | QVM: an efficient runtime for detecting defects in deployed systems. | Matthew Arnold, Martin T. Vechev, Eran Yahav |
| 2008 | PLDI | Deriving linearizable fine-grained concurrent objects. | Martin T. Vechev, Eran Yahav |
| 2008 | POPL | Generating precise and concise procedure summaries. | Greta Yorsh, Eran Yahav, Satish Chandra |
| 2007 | CAV | Comparison Under Abstraction for Verifying Linearizability. | Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav |
| 2007 | ESOP | Modular Shape Analysis for Dynamically Encapsulated Programs. | Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav |
| 2007 | ICSE | When Role Models Have Flaws: Static Validation of Enterprise Security Policies. | Marco Pistoia, Stephen J. Fink, Robert J. Flynn, Eran Yahav |
| 2007 | ISSTA | Static specification mining using automata-based abstractions. | Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia |
| 2007 | PLDI | CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. | Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky |
| 2006 | ISSTA | Effective typestate verification in the presence of aliasing. | Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay |
| 2006 | PEPM | Continuous code-quality assurance with SAFE. | Emmanuel Geay, Eran Yahav, Stephen J. Fink |
| 2006 | PLDI | Correctness-preserving derivation of concurrent garbage collection algorithms. | Martin T. Vechev, Eran Yahav, David F. Bacon |
| 2005 | EMSOFT | High-level real-time programming in Java. | David F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, Martin T. Vechev |
| 2005 | SAS | Interprocedural Shape Analysis for Cutpoint-Free Programs. | Noam Rinetzky, Mooly Sagiv, Eran Yahav |
| 2005 | VMCAI | Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. | Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv |
| 2004 | PLDI | Verifying safety properties using separation and heterogeneous abstractions. | Eran Yahav, G. Ramalingam |
| 2003 | ESOP | Verifying Temporal Heap Properties Specified via Evolution Logic. | Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm |
| 2003 | SAS | Typestate Verification: Abstraction Techniques and Complexity Results. | John Field, Deepak Goyal, G. Ramalingam, Eran Yahav |
| 2003 | SAS | Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. | Ran Shaham, Eran Yahav, Elliot K. Kolodner, Shmuel Sagiv |
| 2001 | POPL | Verifying safety properties of concurrent Java programs using 3-valued logic. | Eran Yahav |