Eran Yahav

Orcid: 0000-0003-4305-6314

Affiliations:
  • Technion, Haifa, Israel


According to our database1, Eran Yahav authored at least 118 papers between 1996 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Extracting automata from recurrent neural networks using queries and counterexamples (extended version).
Mach. Learn., May, 2024

2023
Programming Language Processing (Dagstuhl Seminar 23062).
Dagstuhl Reports, February, 2023

Diffusing Graph Attention.
CoRR, 2023

Towards AI-Driven Software Development: Challenges and Lessons from the Field (Keynote).
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.
Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

2022
How Attentive are Graph Attention Networks?
Proceedings of the Tenth International Conference on Learning Representations, 2022

2021
Thinking Like Transformers.
Proceedings of the 38th International Conference on Machine Learning, 2021

On the Bottleneck of Graph Neural Networks and its Practical Implications.
Proceedings of the 9th International Conference on Learning Representations, 2021

2020
Adversarial examples for models of code.
Proc. ACM Program. Lang., 2020

Programming with a read-eval-synth loop.
Proc. ACM Program. Lang., 2020

Neural reverse engineering of stripped binaries using augmented control flow graphs.
Proc. ACM Program. Lang., 2020

A structural model for contextual code changes.
Proc. ACM Program. Lang., 2020

Neural Edit Completion.
CoRR, 2020

Programming by predicates: a formal model for interactive synthesis.
Acta Informatica, 2020

Structural Language Models of Code.
Proceedings of the 37th International Conference on Machine Learning, 2020

A Formal Hierarchy of RNN Architectures.
Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, 2020

2019
code2vec: learning distributed representations of code.
Proc. ACM Program. Lang., 2019

Structural Language Models for Any-Code Generation.
CoRR, 2019

Towards Neural Decompilation.
CoRR, 2019

Neural Reverse Engineering of Stripped Binaries.
CoRR, 2019

Learning Deterministic Weighted Automata with Queries and Counterexamples.
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).
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

code2seq: Generating Sequences from Structured Representations of Code.
Proceedings of the 7th International Conference on Learning Representations, 2019

2018
code2seq: Generating Sequences from Structured Representations of Code.
CoRR, 2018

Generating Tests by Example.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Practical concurrent traversals in search trees.
Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

A general path-based representation for predicting program properties.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Programming not only by example.
Proceedings of the 40th International Conference on Software Engineering, 2018

Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples.
Proceedings of the 35th International Conference on Machine Learning, 2018

From Programs to Interpretable Deep Models and Back.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Statistical Reconstruction of Class Hierarchies in Binaries.
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.
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.
Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics, 2018

2017
Automatic Scalable Atomicity via Semantic Locking.
ACM Trans. Parallel Comput., 2017

Effective abstractions for verification under relaxed memory models.
Comput. Lang. Syst. Struct., 2017

Synthesis of Forgiving Data Extractors.
Proceedings of the Tenth ACM International Conference on Web Search and Data Mining, 2017

Similarity of binaries through re-optimization.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Learning Disjunctions of Predicates.
Proceedings of the 30th Conference on Learning Theory, 2017

Synthesis with Abstract Examples.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Analysis and Synthesis with "Big Code".
Proceedings of the Dependable Software Systems Engineering, 2016

Programming with "Big Code".
Found. Trends Program. Lang., 2016

Optimal Learning of Specifications from Examples.
CoRR, 2016

Symbolic automata for representing big code.
Acta Informatica, 2016

D^3 : Data-Driven Disjunctive Abstraction.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Estimating types in binaries using predictive modeling.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

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

Leveraging a corpus of natural language descriptions for program similarity.
Proceedings of the 2016 ACM International Symposium on New Ideas, 2016

Extracting code from programming tutorial videos.
Proceedings of the 2016 ACM International Symposium on New Ideas, 2016

Lossless Separation of Web Pages into Layout Code and Data.
Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2016

Cross-supervised synthesis of web-crawlers.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
Pattern-based Synthesis of Synchronization for the C++ Memory Model.
Proceedings of the Formal Methods in Computer-Aided Design, 2015

Programming with "Big Code".
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014
Practical Software Synthesis.
Proceedings of the Software Systems Safety, 2014

Exploiting Social Navigation.
CoRR, 2014

Synthesis of Memory Fences via Refinement Propagation.
Proceedings of the Static Analysis - 21st International Symposium, 2014

Automatic semantic locking.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Practical concurrent binary search trees via logical ordering.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Code completion with statistical language models.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Tracelet-based code search in executables.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Abstract semantic differencing via speculative correlation.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Verifying atomicity via data independence.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013
Alias Analysis for Object-Oriented Programs.
Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

Abstraction-guided synthesis of synchronization.
Int. J. Softw. Tools Technol. Transf., 2013

Abstraction-Guided Synthesis.
Proceedings of the Verification, 2013

Automatic Synthesis of Deterministic Concurrency.
Proceedings of the Static Analysis - 20th International Symposium, 2013

Symbolic Automata for Static Specification Mining.
Proceedings of the Static Analysis - 20th International Symposium, 2013

Abstract Semantic Differencing for Numerical Programs.
Proceedings of the Static Analysis - 20th International Symposium, 2013

Predicate Abstraction for Relaxed Memory Models.
Proceedings of the Static Analysis - 20th International Symposium, 2013

Concurrent libraries with foresight.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Finding rare numerical stability errors in concurrent computations.
Proceedings of the International Symposium on Software Testing and Analysis, 2013

Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs.
Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013

2012
Automatic inference of memory fences.
SIGACT News, 2012

Efficient data race detection for async-finish parallelism.
Formal Methods Syst. Des., 2012

Software Synthesis (Dagstuhl Seminar 12152).
Dagstuhl Reports, 2012

Scalable and precise dynamic datarace detection for structured parallelism.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Dynamic synthesis for relaxed memory models.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Typestate-based semantic code search over partial programs.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

2011
QVM: An Efficient Runtime for Detecting Defects in Deployed Systems.
ACM Trans. Softw. Eng. Methodol., 2011

Partial-coherence abstractions for relaxed memory models.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Testing atomicity of composed concurrent operations.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Sprint: speculative prefetching of remote data.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Automatic fine-grain locking using shape properties.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

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

2010
Verifying safety properties of concurrent heap-manipulating programs.
ACM Trans. Program. Lang. Syst., 2010

Automatic Verification of Determinism for Structured Parallel Programs.
Proceedings of the Static Analysis - 17th International Symposium, 2010

Verifying linearizability with hindsight.
Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

PHALANX: parallel checking of expressive heap assertions.
Proceedings of the 9th International Symposium on Memory Management, 2010

2009
Inferring Synchronization under Limited Observability.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Experience with Model Checking Linearizability.
Proceedings of the Model Checking Software, 2009

Chameleon: adaptive selection of collections.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

09501 Abstracts Collection - Software Synthesis.
Proceedings of the Software Synthesis, 06.12. - 11.12.2009, 2009

2008
Static Specification Mining Using Automata-Based Abstractions.
IEEE Trans. Software Eng., 2008

Effective typestate verification in the presence of aliasing.
ACM Trans. Softw. Eng. Methodol., 2008

On the complexity of partially-flow-sensitive alias analysis.
ACM Trans. Program. Lang. Syst., 2008

Generating precise and concise procedure summaries.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Deriving linearizable fine-grained concurrent objects.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

The CLOSER: automating resource management in java.
Proceedings of the 7th International Symposium on Memory Management, 2008

Verifying dereference safety via expanding-scope analysis.
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.
IBM Syst. J., 2007

Cartesian Partial-Order Reduction.
Proceedings of the Model Checking Software, 2007

CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors.
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.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Modular Shape Analysis for Dynamically Encapsulated Programs.
Proceedings of the Programming Languages and Systems, 2007

Comparison Under Abstraction for Verifying Linearizability.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006
Verifying Temporal Heap Properties Specified via Evolution Logic.
Log. J. IGPL, 2006

Correctness-preserving derivation of concurrent garbage collection algorithms.
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Continuous code-quality assurance with SAFE.
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.
Sci. Comput. Program., 2005

Typestate verification: Abstraction techniques and complexity results.
Sci. Comput. Program., 2005

Automatic Verification of Strongly Dynamic Software Systems.
Proceedings of the Verified Software: Theories, 2005

Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists.
Proceedings of the Verification, 2005

Interprocedural Shape Analysis for Cutpoint-Free Programs.
Proceedings of the Static Analysis, 12th International Symposium, 2005


2004
Property-guided verification of concurrent heap-manipulating programs
PhD thesis, 2004

Verifying safety properties using separation and heterogeneous abstractions.
Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

2003
Automatically Verifying Concurrent Queue Algorithms.
Proceedings of the 2003 Workshop on Software Model Checking, 2003

2001
Verifying safety properties of concurrent Java programs using 3-valued logic.
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.
Proceedings of the USENIX Conference on Object-Oriented Technologies, 1996


  Loading...