Eran Yahav

According to our database, Eran Yahav authored at least 117 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Programming Language Processing (Dagstuhl Seminar 23062).

Michael Pradel, Baishakhi Ray, Charles Sutton, Eran Yahav

Dagstuhl Reports, February, 2023

Diffusing Graph Attention.

Daniel Glickman, Eran Yahav

CoRR, 2023

Towards AI-Driven Software Development: Challenges and Lessons from the Field (Keynote).

Eran Yahav

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

On the Expressivity Role of LayerNorm in Transformers' Attention.

Shaked Brody, Uri Alon, Eran Yahav

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

2022

How Attentive are Graph Attention Networks?

Shaked Brody, Uri Alon, Eran Yahav

Proceedings of the Tenth International Conference on Learning Representations, 2022

2021

Thinking Like Transformers.

Gail Weiss, Yoav Goldberg, Eran Yahav

Proceedings of the 38th International Conference on Machine Learning, 2021

On the Bottleneck of Graph Neural Networks and its Practical Implications.

Uri Alon, Eran Yahav

Proceedings of the 9th International Conference on Learning Representations, 2021

2020

Adversarial examples for models of code.

Noam Yefet, Uri Alon, 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

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

Yaniv David, Uri Alon, Eran Yahav

Proc. ACM Program. Lang., 2020

A structural model for contextual code changes.

Shaked Brody, Uri Alon, Eran Yahav

Proc. ACM Program. Lang., 2020

Neural Edit Completion.

Shaked Brody, Uri Alon, Eran Yahav

CoRR, 2020

Programming by predicates: a formal model for interactive synthesis.

Hila Peleg, Shachar Itzhaky, Sharon Shoham, Eran Yahav

Acta Informatica, 2020

Structural Language Models of Code.

Uri Alon, Roy Sadaka, Omer Levy, Eran Yahav

Proceedings of the 37th International Conference on Machine Learning, 2020

A Formal Hierarchy of RNN Architectures.

William Merrill, Gail Weiss, Yoav Goldberg, Roy Schwartz, Noah A. Smith, Eran Yahav

Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, 2020

2019

code2vec: learning distributed representations of code.

Uri Alon, Meital Zilberstein, Omer Levy, Eran Yahav

Proc. ACM Program. Lang., 2019

Structural Language Models for Any-Code Generation.

Uri Alon, Roy Sadaka, Omer Levy, Eran Yahav

CoRR, 2019

Towards Neural Decompilation.

Omer Katz, Yuval Olshaker, Yoav Goldberg, Eran Yahav

CoRR, 2019

Neural Reverse Engineering of Stripped Binaries.

Yaniv David, Uri Alon, Eran Yahav

CoRR, 2019

Learning Deterministic Weighted Automata with Queries and Counterexamples.

Gail Weiss, Yoav Goldberg, Eran Yahav

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

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

Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

code2seq: Generating Sequences from Structured Representations of Code.

Uri Alon, Shaked Brody, Omer Levy, Eran Yahav

Proceedings of the 7th International Conference on Learning Representations, 2019

2018

code2seq: Generating Sequences from Structured Representations of Code.

Uri Alon, Omer Levy, Eran Yahav

CoRR, 2018

Generating Tests by Example.

Hila Peleg, Dan Rasin, Eran Yahav

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Practical concurrent traversals in search trees.

Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav

Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

A general path-based representation for predicting program properties.

Uri Alon, Meital Zilberstein, Omer Levy, Eran Yahav

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Programming not only by example.

Hila Peleg, Sharon Shoham, Eran Yahav

Proceedings of the 40th International Conference on Software Engineering, 2018

Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples.

Gail Weiss, Yoav Goldberg, Eran Yahav

Proceedings of the 35th International Conference on Machine Learning, 2018

From Programs to Interpretable Deep Models and Back.

Eran Yahav

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Statistical Reconstruction of Class Hierarchies in Binaries.

Omer Katz, Noam Rinetzky, Eran Yahav

Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware.

Yaniv David, Nimrod Partush, Eran Yahav

Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

On the Practical Computational Power of Finite Precision RNNs for Language Recognition.

Gail Weiss, Yoav Goldberg, Eran Yahav

Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics, 2018

2017

Automatic Scalable Atomicity via Semantic Locking.

Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav

ACM Trans. Parallel Comput., 2017

Effective abstractions for verification under relaxed memory models.

Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav

Comput. Lang. Syst. Struct., 2017

Synthesis of Forgiving Data Extractors.

Adi Omari, Sharon Shoham, Eran Yahav

Proceedings of the Tenth ACM International Conference on Web Search and Data Mining, 2017

Similarity of binaries through re-optimization.

Yaniv David, Nimrod Partush, Eran Yahav

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Learning Disjunctions of Predicates.

Nader H. Bshouty, Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav

Proceedings of the 30th Conference on Learning Theory, 2017

Synthesis with Abstract Examples.

Dana Drachsler-Cohen, Sharon Shoham, Eran Yahav

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Analysis and Synthesis with "Big Code".

Eran Yahav

Proceedings of the Dependable Software Systems Engineering, 2016

Programming with "Big Code".

Martin T. Vechev, Eran Yahav

Found. Trends Program. Lang., 2016

Optimal Learning of Specifications from Examples.

Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav

CoRR, 2016

Symbolic automata for representing big code.

Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang

Acta Informatica, 2016

D^3 : Data-Driven Disjunctive Abstraction.

Hila Peleg, Sharon Shoham, Eran Yahav

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Estimating types in binaries using predictive modeling.

Omer Katz, Ran El-Yaniv, Eran Yahav

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Statistical similarity of binaries.

Yaniv David, Nimrod Partush, Eran Yahav

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Leveraging a corpus of natural language descriptions for program similarity.

Meital Zilberstein, Eran Yahav

Proceedings of the 2016 ACM International Symposium on New Ideas, 2016

Extracting code from programming tutorial videos.

Shir Yadid, Eran Yahav

Proceedings of the 2016 ACM International Symposium on New Ideas, 2016

Lossless Separation of Web Pages into Layout Code and Data.

Adi Omari, Benny Kimelfeld, Eran Yahav, Sharon Shoham

Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2016

Cross-supervised synthesis of web-crawlers.

Adi Omari, Sharon Shoham, Eran Yahav

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Pattern-based Synthesis of Synchronization for the C++ Memory Model.

Yuri Meshman, Noam Rinetzky, Eran Yahav

Proceedings of the Formal Methods in Computer-Aided Design, 2015

Programming with "Big Code".

Eran Yahav

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

Practical Software Synthesis.

Eran Yahav

Proceedings of the Software Systems Safety, 2014

Exploiting Social Navigation.

Meital Ben Sinai, Nimrod Partush, Shir Yadid, Eran Yahav

CoRR, 2014

Synthesis of Memory Fences via Refinement Propagation.

Yuri Meshman, Andrei Marian Dan, Martin T. Vechev, Eran Yahav

Proceedings of the Static Analysis - 21st International Symposium, 2014

Automatic semantic locking.

Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Practical concurrent binary search trees via logical ordering.

Dana Drachsler, Martin T. Vechev, Eran Yahav

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Code completion with statistical language models.

Veselin Raychev, Martin T. Vechev, Eran Yahav

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Tracelet-based code search in executables.

Yaniv David, Eran Yahav

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Abstract semantic differencing via speculative correlation.

Nimrod Partush, Eran Yahav

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Verifying atomicity via data independence.

Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev

Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013

Alias Analysis for Object-Oriented Programs.

Manu Sridharan, Satish Chandra, Julian Dolby, Stephen J. Fink, Eran Yahav

Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

Abstraction-guided synthesis of synchronization.

Martin T. Vechev, Eran Yahav, Greta Yorsh

Int. J. Softw. Tools Technol. Transf., 2013

Abstraction-Guided Synthesis.

Eran Yahav

Proceedings of the Verification, 2013

Automatic Synthesis of Deterministic Concurrency.

Veselin Raychev, Martin T. Vechev, Eran Yahav

Proceedings of the Static Analysis - 20th International Symposium, 2013

Symbolic Automata for Static Specification Mining.

Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang

Proceedings of the Static Analysis - 20th International Symposium, 2013

Abstract Semantic Differencing for Numerical Programs.

Nimrod Partush, Eran Yahav

Proceedings of the Static Analysis - 20th International Symposium, 2013

Predicate Abstraction for Relaxed Memory Models.

Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav

Proceedings of the Static Analysis - 20th International Symposium, 2013

Concurrent libraries with foresight.

Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Finding rare numerical stability errors in concurrent computations.

Hana Chockler, Karine Even, Eran Yahav

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs.

Jörg Kreiker, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav

Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013

2012

Automatic inference of memory fences.

Michael Kuperstein, Martin T. Vechev, Eran Yahav

SIGACT News, 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

Software Synthesis (Dagstuhl Seminar 12152).

Rastislav Bodík, Sumit Gulwani, Eran Yahav

Dagstuhl Reports, 2012

Scalable and precise dynamic datarace detection for structured parallelism.

Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Dynamic synthesis for relaxed memory models.

Feng Liu, Nayden Nedev, Nedyalko Prisadnikov, Martin T. Vechev, Eran Yahav

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Typestate-based semantic code search over partial programs.

Alon Mishne, Sharon Shoham, Eran Yahav

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

2011

QVM: An Efficient Runtime for Detecting Defects in Deployed Systems.

Matthew Arnold, Martin T. Vechev, Eran Yahav

ACM Trans. Softw. Eng. Methodol., 2011

Partial-coherence abstractions for relaxed memory models.

Michael Kuperstein, Martin T. Vechev, Eran Yahav

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Testing atomicity of composed concurrent operations.

Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Sprint: speculative prefetching of remote data.

Arun Raman, Greta Yorsh, Martin T. Vechev, Eran Yahav

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Automatic fine-grain locking using shape properties.

Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Asynchronous assertions.

Edward Aftandilian, Samuel Z. Guyer, Martin T. Vechev, Eran Yahav

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010

Verifying safety properties of concurrent heap-manipulating programs.

Eran Yahav, Mooly Sagiv

ACM Trans. Program. Lang. Syst., 2010

Automatic Verification of Determinism for Structured Parallel Programs.

Martin T. Vechev, Eran Yahav, Raghavan Raman, Vivek Sarkar

Proceedings of the Static Analysis - 17th International Symposium, 2010

Verifying linearizability with hindsight.

Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh

Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

PHALANX: parallel checking of expressive heap assertions.

Martin T. Vechev, Eran Yahav, Greta Yorsh

Proceedings of the 9th International Symposium on Memory Management, 2010

2009

Inferring Synchronization under Limited Observability.

Martin T. Vechev, Eran Yahav, Greta Yorsh

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Experience with Model Checking Linearizability.

Martin T. Vechev, Eran Yahav, Greta Yorsh

Proceedings of the Model Checking Software, 2009

Chameleon: adaptive selection of collections.

Ohad Shacham, Martin T. Vechev, Eran Yahav

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

09501 Abstracts Collection - Software Synthesis.

Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav

Proceedings of the Software Synthesis, 06.12. - 11.12.2009, 2009

2008

Static Specification Mining Using Automata-Based Abstractions.

Sharon Shoham, Eran Yahav, Stephen J. Fink, Marco Pistoia

IEEE Trans. Software Eng., 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

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

Noam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Yahav

ACM Trans. Program. Lang. Syst., 2008

Generating precise and concise procedure summaries.

Greta Yorsh, Eran Yahav, Satish Chandra

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Deriving linearizable fine-grained concurrent objects.

Martin T. Vechev, Eran Yahav

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

The CLOSER: automating resource management in java.

Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra

Proceedings of the 7th International Symposium on Memory Management, 2008

Verifying dereference safety via expanding-scope analysis.

Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

2007

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

Marco Pistoia, Satish Chandra, Stephen J. Fink, Eran Yahav

IBM Syst. J., 2007

Cartesian Partial-Order Reduction.

Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv

Proceedings of the Model Checking Software, 2007

CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors.

Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

When Role Models Have Flaws: Static Validation of Enterprise Security Policies.

Marco Pistoia, Stephen J. Fink, Robert J. Flynn, Eran Yahav

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Modular Shape Analysis for Dynamically Encapsulated Programs.

Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav

Proceedings of the Programming Languages and Systems, 2007

Comparison Under Abstraction for Verifying Linearizability.

Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Verifying Temporal Heap Properties Specified via Evolution Logic.

Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm

Log. J. IGPL, 2006

Correctness-preserving derivation of concurrent garbage collection algorithms.

Martin T. Vechev, Eran Yahav, David F. Bacon

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Continuous code-quality assurance with SAFE.

Emmanuel Geay, Eran Yahav, Stephen J. Fink

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

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

Typestate verification: Abstraction techniques and complexity results.

John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav

Sci. Comput. Program., 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, Greta Yorsh

Proceedings of the Verified Software: Theories, 2005

Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists.

Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv

Proceedings of the Verification, 2005

Interprocedural Shape Analysis for Cutpoint-Free Programs.

Noam Rinetzky, Mooly Sagiv, Eran Yahav

Proceedings of the Static Analysis, 12th International Symposium, 2005

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

Proceedings of the EMSOFT 2005, 2005

2004

Property-guided verification of concurrent heap-manipulating programs

Eran Yahav

PhD thesis, 2004

Verifying safety properties using separation and heterogeneous abstractions.

Eran Yahav, G. Ramalingam

Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

2003

Automatically Verifying Concurrent Queue Algorithms.

Eran Yahav, Shmuel Sagiv

Proceedings of the 2003 Workshop on Software Model Checking, 2003

2001

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

Eran Yahav

Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

1996

Compiler Optimization of C++ Virtual Function Calls.

Sara Porat, David Bernstein, Yaroslav Fedorov, Joseph Rodrigue, Eran Yahav

Proceedings of the USENIX Conference on Object-Oriented Technologies, 1996