Compiler Optimization of C++ Virtual Function Calls. - Sara Porat; David Bernstein; Yaroslav Fedorov; Joseph Rodrigue; Eran Yahav (COOTS, 1996)

Verifying safety properties of concurrent Java programs using 3-valued logic. - Eran Yahav (POPL, 2001)

Automatically Verifying Concurrent Queue Algorithms. - Eran Yahav; Shmuel Sagiv (SoftMC@CAV, 2003)

Verifying safety properties using separation and heterogeneous abstractions. - Eran Yahav; G. Ramalingam (PLDI, 2004)

Property-guided verification of concurrent heap-manipulating programs - Eran Yahav (2004)

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 (EMSOFT, 2005)

Interprocedural Shape Analysis for Cutpoint-Free Programs. - Noam Rinetzky; Mooly Sagiv; Eran Yahav (SAS, 2005)

Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. - Roman Manevich; Eran Yahav; Ganesan Ramalingam; Shmuel Sagiv (VMCAI, 2005)

Automatic Verification of Strongly Dynamic Software Systems. - Nurit Dor; John Field; Denis Gopan; Tal Lev-Ami; Alexey Loginov; Roman Manevich; G. Ramalingam; Thomas W. Reps; Noam Rinetzky; Mooly Sagiv; Reinhard Wilhelm; Eran Yahav; et al. (VSTTE, 2005)

Typestate verification: Abstraction techniques and complexity results. - John Field; Deepak Goyal; Ganesan Ramalingam; Eran Yahav (Sci. Comput. Program., 2005)

Establishing local temporal heap safety properties with applications to compile-time memory management. - Ran Shaham; Eran Yahav; Elliot K. Kolodner; Mooly Sagiv (Sci. Comput. Program., 2005)

Continuous code-quality assurance with SAFE. - Emmanuel Geay; Eran Yahav; Stephen J. Fink (PEPM, 2006)

Correctness-preserving derivation of concurrent garbage collection algorithms. - Martin T. Vechev; Eran Yahav; David F. Bacon (PLDI, 2006)

Verifying Temporal Heap Properties Specified via Evolution Logic. - Eran Yahav; Thomas W. Reps; Shmuel Sagiv; Reinhard Wilhelm (Log. J. IGPL, 2006)

Comparison Under Abstraction for Verifying Linearizability. - Daphna Amit; Noam Rinetzky; Thomas W. Reps; Mooly Sagiv; Eran Yahav (CAV, 2007)

Modular Shape Analysis for Dynamically Encapsulated Programs. - Noam Rinetzky; Arnd Poetzsch-Heffter; Ganesan Ramalingam; Mooly Sagiv; Eran Yahav (ESOP, 2007)

When Role Models Have Flaws: Static Validation of Enterprise Security Policies. - Marco Pistoia; Stephen J. Fink; Robert J. Flynn; Eran Yahav (ICSE, 2007)

CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. - Martin T. Vechev; Eran Yahav; David F. Bacon; Noam Rinetzky (PLDI, 2007)

Cartesian Partial-Order Reduction. - Guy Gueta; Cormac Flanagan; Eran Yahav; Mooly Sagiv (SPIN, 2007)

A survey of static analysis methods for identifying security vulnerabilities in software systems. - Marco Pistoia; Satish Chandra 001; Stephen J. Fink; Eran Yahav (IBM Syst. J., 2007)

Verifying dereference safety via expanding-scope analysis. - Alexey Loginov; Eran Yahav; Satish Chandra 001; Stephen Fink; Noam Rinetzky; Mangala Gowri Nanda (ISSTA, 2008)

The CLOSER: automating resource management in java. - Isil Dillig; Thomas Dillig; Eran Yahav; Satish Chandra 001 (ISMM, 2008)

Deriving linearizable fine-grained concurrent objects. - Martin T. Vechev; Eran Yahav (PLDI, 2008)

Generating precise and concise procedure summaries. - Greta Yorsh; Eran Yahav; Satish Chandra 001 (POPL, 2008)

On the complexity of partially-flow-sensitive alias analysis. - Noam Rinetzky; G. Ramalingam; Shmuel Sagiv; Eran Yahav (ACM Trans. Program. Lang. Syst., 2008)

Effective typestate verification in the presence of aliasing. - Stephen J. Fink; Eran Yahav; Nurit Dor; G. Ramalingam; Emmanuel Geay (ACM Trans. Softw. Eng. Methodol., 2008)

Static Specification Mining Using Automata-Based Abstractions. - Sharon Shoham; Eran Yahav; Stephen J. Fink; Marco Pistoia (IEEE Trans. Software Eng., 2008)

09501 Abstracts Collection - Software Synthesis. - Rastislav Bodík; Orna Kupferman; Douglas R. Smith; Eran Yahav (Software Synthesis, 2009)

Chameleon: adaptive selection of collections. - Ohad Shacham; Martin T. Vechev; Eran Yahav (PLDI, 2009)

Experience with Model Checking Linearizability. - Martin T. Vechev; Eran Yahav; Greta Yorsh (SPIN, 2009)

Inferring Synchronization under Limited Observability. - Martin T. Vechev; Eran Yahav; Greta Yorsh (TACAS, 2009)

PHALANX: parallel checking of expressive heap assertions. - Martin T. Vechev; Eran Yahav; Greta Yorsh (ISMM, 2010)

Verifying linearizability with hindsight. - Peter W. O'Hearn; Noam Rinetzky; Martin T. Vechev; Eran Yahav; Greta Yorsh (PODC, 2010)

Automatic Verification of Determinism for Structured Parallel Programs. - Martin T. Vechev; Eran Yahav; Raghavan Raman; Vivek Sarkar (SAS, 2010)

Verifying safety properties of concurrent heap-manipulating programs. - Eran Yahav; Mooly Sagiv (ACM Trans. Program. Lang. Syst., 2010)

Asynchronous assertions. - Edward Aftandilian; Samuel Z. Guyer; Martin T. Vechev; Eran Yahav (OOPSLA, 2011)

Automatic fine-grain locking using shape properties. - Guy Golan-Gueta; Nathan Grasso Bronson; Alex Aiken; G. Ramalingam; Mooly Sagiv; Eran Yahav (OOPSLA, 2011)

Sprint: speculative prefetching of remote data. - Arun Raman; Greta Yorsh; Martin T. Vechev; Eran Yahav (OOPSLA, 2011)

Testing atomicity of composed concurrent operations. - Ohad Shacham; Nathan Grasso Bronson; Alex Aiken; Mooly Sagiv; Martin T. Vechev; Eran Yahav (OOPSLA, 2011)

Partial-coherence abstractions for relaxed memory models. - Michael Kuperstein 001; Martin T. Vechev; Eran Yahav (PLDI, 2011)

QVM: An Efficient Runtime for Detecting Defects in Deployed Systems. - Matthew Arnold; Martin T. Vechev; Eran Yahav (ACM Trans. Softw. Eng. Methodol., 2011)

Typestate-based semantic code search over partial programs. - Alon Mishne; Sharon Shoham; Eran Yahav (OOPSLA, 2012)

Dynamic synthesis for relaxed memory models. - Feng Liu; Nayden Nedev; Nedyalko Prisadnikov; Martin T. Vechev; Eran Yahav (PLDI, 2012)

Scalable and precise dynamic datarace detection for structured parallelism. - Raghavan Raman; Jisheng Zhao; Vivek Sarkar; Martin T. Vechev; Eran Yahav (PLDI, 2012)

Software Synthesis (Dagstuhl Seminar 12152). - Rastislav Bodík; Sumit Gulwani; Eran Yahav (Dagstuhl Reports, 2012)

Efficient data race detection for async-finish parallelism. - Raghavan Raman; Jisheng Zhao; Vivek Sarkar; Martin T. Vechev; Eran Yahav (Formal Methods Syst. Des., 2012)

Automatic inference of memory fences. - Michael Kuperstein 001; Martin T. Vechev; Eran Yahav (SIGACT News, 2012)

Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs. - Jörg Kreiker; Thomas W. Reps; Noam Rinetzky; Mooly Sagiv; Reinhard Wilhelm; Eran Yahav (Programming Logics, 2013)

Finding rare numerical stability errors in concurrent computations. - Hana Chockler; Karine Even; Eran Yahav (ISSTA, 2013)

Concurrent libraries with foresight. - Guy Golan-Gueta; G. Ramalingam; Mooly Sagiv; Eran Yahav (PLDI, 2013)

Predicate Abstraction for Relaxed Memory Models. - Andrei Marian Dan; Yuri Meshman; Martin T. Vechev; Eran Yahav (SAS, 2013)

Abstract Semantic Differencing for Numerical Programs. - Nimrod Partush; Eran Yahav (SAS, 2013)

Symbolic Automata for Static Specification Mining. - Hila Peleg; Sharon Shoham; Eran Yahav; Hongseok Yang (SAS, 2013)

Automatic Synthesis of Deterministic Concurrency. - Veselin Raychev; Martin T. Vechev; Eran Yahav (SAS, 2013)

Abstraction-Guided Synthesis. - Eran Yahav (VMCAI, 2013)

Abstraction-guided synthesis of synchronization. - Martin T. Vechev; Eran Yahav; Greta Yorsh (Int. J. Softw. Tools Technol. Transf., 2013)

Alias Analysis for Object-Oriented Programs. - Manu Sridharan; Satish Chandra 001; Julian Dolby; Stephen J. Fink; Eran Yahav (Aliasing in Object-Oriented Programming, 2013)

Verifying atomicity via data independence. - Ohad Shacham; Eran Yahav; Guy Golan-Gueta; Alex Aiken; Nathan Grasso Bronson; Mooly Sagiv; Martin T. Vechev (ISSTA, 2014)

Abstract semantic differencing via speculative correlation. - Nimrod Partush; Eran Yahav (OOPSLA, 2014)

Tracelet-based code search in executables. - Yaniv David; Eran Yahav (PLDI, 2014)

Code completion with statistical language models. - Veselin Raychev; Martin T. Vechev; Eran Yahav (PLDI, 2014)

Practical concurrent binary search trees via logical ordering. - Dana Drachsler; Martin T. Vechev; Eran Yahav (PPoPP, 2014)

Automatic semantic locking. - Guy Golan-Gueta; G. Ramalingam; Mooly Sagiv; Eran Yahav (PPoPP, 2014)

Synthesis of Memory Fences via Refinement Propagation. - Yuri Meshman; Andrei Marian Dan; Martin T. Vechev; Eran Yahav (SAS, 2014)

Exploiting Social Navigation. - Meital Ben Sinai; Nimrod Partush; Shir Yadid; Eran Yahav (CoRR, 2014)

Practical Software Synthesis. - Eran Yahav (Software Systems Safety, 2014)

Programming with "Big Code". - Eran Yahav (APLAS, 2015)

Pattern-based Synthesis of Synchronization for the C++ Memory Model. - Yuri Meshman; Noam Rinetzky; Eran Yahav (FMCAD, 2015)

Cross-supervised synthesis of web-crawlers. - Adi Omari; Sharon Shoham; Eran Yahav (ICSE, 2016)

Lossless Separation of Web Pages into Layout Code and Data. - Adi Omari; Benny Kimelfeld; Eran Yahav; Sharon Shoham (KDD, 2016)

Extracting code from programming tutorial videos. - Shir Yadid; Eran Yahav (Onward!, 2016)

Leveraging a corpus of natural language descriptions for program similarity. - Meital Zilberstein; Eran Yahav (Onward!, 2016)

Statistical similarity of binaries. - Yaniv David; Nimrod Partush; Eran Yahav (PLDI, 2016)

Estimating types in binaries using predictive modeling. - Omer Katz; Ran El-Yaniv; Eran Yahav (POPL, 2016)

D^3 : Data-Driven Disjunctive Abstraction. - Hila Peleg; Sharon Shoham; Eran Yahav (VMCAI, 2016)

Symbolic automata for representing big code. - Hila Peleg; Sharon Shoham; Eran Yahav; Hongseok Yang (Acta Informatica, 2016)

Optimal Learning of Specifications from Examples. - Dana Drachsler-Cohen; Martin T. Vechev; Eran Yahav (CoRR, 2016)

Programming with "Big Code". - Martin T. Vechev; Eran Yahav (Found. Trends Program. Lang., 2016)

Analysis and Synthesis with "Big Code". - Eran Yahav (Dependable Software Systems Engineering, 2016)

Synthesis with Abstract Examples. - Dana Drachsler-Cohen; Sharon Shoham; Eran Yahav (CAV (1), 2017)

Learning Disjunctions of Predicates. - Nader H. Bshouty; Dana Drachsler-Cohen; Martin T. Vechev; Eran Yahav (COLT, 2017)

Similarity of binaries through re-optimization. - Yaniv David; Nimrod Partush; Eran Yahav (PLDI, 2017)

Synthesis of Forgiving Data Extractors. - Adi Omari; Sharon Shoham; Eran Yahav (WSDM, 2017)

Effective abstractions for verification under relaxed memory models. - Andrei Marian Dan; Yuri Meshman; Martin T. Vechev; Eran Yahav (Comput. Lang. Syst. Struct., 2017)

Automatic Scalable Atomicity via Semantic Locking. - Guy Golan-Gueta; G. Ramalingam; Mooly Sagiv; Eran Yahav (ACM Trans. Parallel Comput., 2017)

On the Practical Computational Power of Finite Precision RNNs for Language Recognition. - Gail Weiss; Yoav Goldberg; Eran Yahav (ACL (2), 2018)

FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware. - Yaniv David; Nimrod Partush; Eran Yahav (ASPLOS, 2018)

Statistical Reconstruction of Class Hierarchies in Binaries. - Omer Katz; Noam Rinetzky; Eran Yahav (ASPLOS, 2018)

From Programs to Interpretable Deep Models and Back. - Eran Yahav (CAV (1), 2018)

Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples. - Gail Weiss; Yoav Goldberg; Eran Yahav (ICML, 2018)

Programming not only by example. - Hila Peleg; Sharon Shoham; Eran Yahav (ICSE, 2018)

A general path-based representation for predicting program properties. - Uri Alon 002; Meital Zilberstein; Omer Levy; Eran Yahav (PLDI, 2018)

Practical concurrent traversals in search trees. - Dana Drachsler-Cohen; Martin T. Vechev; Eran Yahav (PPoPP, 2018)

Generating Tests by Example. - Hila Peleg; Dan Rasin; Eran Yahav (VMCAI, 2018)

code2seq: Generating Sequences from Structured Representations of Code. - Uri Alon 002; Omer Levy; Eran Yahav (CoRR, 2018)

code2seq: Generating Sequences from Structured Representations of Code. - Uri Alon 002; Shaked Brody; Omer Levy; Eran Yahav (ICLR (Poster), 2019)

From typestate verification to interpretable deep models (invited talk abstract). - Eran Yahav; Stephen J. Fink; Nurit Dor; G. Ramalingam; Emmanuel Geay (ISSTA, 2019)

Learning Deterministic Weighted Automata with Queries and Counterexamples. - Gail Weiss; Yoav Goldberg; Eran Yahav (NeurIPS, 2019)

Neural Reverse Engineering of Stripped Binaries. - Yaniv David; Uri Alon 002; Eran Yahav (CoRR, 2019)

Towards Neural Decompilation. - Omer Katz; Yuval Olshaker; Yoav Goldberg; Eran Yahav (CoRR, 2019)

Structural Language Models for Any-Code Generation. - Uri Alon 002; Roy Sadaka; Omer Levy; Eran Yahav (CoRR, 2019)

code2vec: learning distributed representations of code. - Uri Alon 002; Meital Zilberstein; Omer Levy; Eran Yahav (Proc. ACM Program. Lang., 2019)

A Formal Hierarchy of RNN Architectures. - William Merrill; Gail Weiss; Yoav Goldberg; Roy Schwartz 001; Noah A. Smith; Eran Yahav (ACL, 2020)

Structural Language Models of Code. - Uri Alon 002; Roy Sadaka; Omer Levy; Eran Yahav (ICML, 2020)

Programming by predicates: a formal model for interactive synthesis. - Hila Peleg; Shachar Itzhaky; Sharon Shoham; Eran Yahav (Acta Informatica, 2020)

Neural Edit Completion. - Shaked Brody; Uri Alon 002; Eran Yahav (CoRR, 2020)

A structural model for contextual code changes. - Shaked Brody; Uri Alon 002; Eran Yahav (Proc. ACM Program. Lang., 2020)

Neural reverse engineering of stripped binaries using augmented control flow graphs. - Yaniv David; Uri Alon 002; Eran Yahav (Proc. ACM Program. Lang., 2020)

Programming with a read-eval-synth loop. - Hila Peleg; Roi Gabay; Shachar Itzhaky; Eran Yahav (Proc. ACM Program. Lang., 2020)

Adversarial examples for models of code. - Noam Yefet; Uri Alon 002; Eran Yahav (Proc. ACM Program. Lang., 2020)

On the Bottleneck of Graph Neural Networks and its Practical Implications. - Uri Alon 002; Eran Yahav (ICLR, 2021)

Thinking Like Transformers. - Gail Weiss; Yoav Goldberg; Eran Yahav (ICML, 2021)

How Attentive are Graph Attention Networks? - Shaked Brody; Uri Alon 002; Eran Yahav (ICLR, 2022)

On the Expressivity Role of LayerNorm in Transformers' Attention. - Shaked Brody; Uri Alon 002; Eran Yahav (ACL (Findings), 2023)

Towards AI-Driven Software Development: Challenges and Lessons from the Field (Keynote). - Eran Yahav (ESEC/SIGSOFT FSE, 2023)

Diffusing Graph Attention. - Daniel Glickman; Eran Yahav (CoRR, 2023)

Programming Language Processing (Dagstuhl Seminar 23062). - Michael Pradel; Baishakhi Ray; Charles Sutton; Eran Yahav (Dagstuhl Reports, 2023)

Extracting automata from recurrent neural networks using queries and counterexamples (extended version). - Gail Weiss; Yoav Goldberg; Eran Yahav (Mach. Learn., 2024)

Correction to: Extracting automata from recurrent neural networks using queries and counterexamples (extended version). - Gail Weiss; Yoav Goldberg; Eran Yahav (Mach. Learn., 2024)