Eran Yahav

Mach. Learn., May, 2024

2023

Programming Language Processing (Dagstuhl Seminar 23062).

[BibT_eX]

[DOI]

Dagstuhl Reports, February, 2023

Diffusing Graph Attention.

[BibT_eX]

[DOI]

Daniel Glickman

CoRR, 2023

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2022

How Attentive are Graph Attention Networks?

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Learning Representations, 2022

2021

Thinking Like Transformers.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

2020

Adversarial examples for models of code.

[BibT_eX]

[DOI]

Noam Yefet

Proc. ACM Program. Lang., 2020

Programming with a read-eval-synth loop.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

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

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

A structural model for contextual code changes.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Neural Edit Completion.

[BibT_eX]

[DOI]

CoRR, 2020

Programming by predicates: a formal model for interactive synthesis.

[BibT_eX]

[DOI]

Acta Informatica, 2020

Structural Language Models of Code.

[BibT_eX]

[DOI]

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

A Formal Hierarchy of RNN Architectures.

[BibT_eX]

[DOI]

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

2019

code2vec: learning distributed representations of code.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Structural Language Models for Any-Code Generation.

[BibT_eX]

[DOI]

CoRR, 2019

Towards Neural Decompilation.

[BibT_eX]

[DOI]

CoRR, 2019

Neural Reverse Engineering of Stripped Binaries.

[BibT_eX]

[DOI]

CoRR, 2019

Learning Deterministic Weighted Automata with Queries and Counterexamples.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

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

code2seq: Generating Sequences from Structured Representations of Code.

[BibT_eX]

[DOI]

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

2018

code2seq: Generating Sequences from Structured Representations of Code.

[BibT_eX]

[DOI]

Omer Levy

CoRR, 2018

Generating Tests by Example.

[BibT_eX]

[DOI]

Hila Peleg

Dan Rasin

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

Practical concurrent traversals in search trees.

[BibT_eX]

[DOI]

Dana Drachsler-Cohen

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

A general path-based representation for predicting program properties.

[BibT_eX]

[DOI]

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

Programming not only by example.

[BibT_eX]

[DOI]

Hila Peleg

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

Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples.

[BibT_eX]

[DOI]

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

From Programs to Interpretable Deep Models and Back.

[BibT_eX]

[DOI]

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

Statistical Reconstruction of Class Hierarchies in Binaries.

[BibT_eX]

[DOI]

Omer Katz

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2017

Automatic Scalable Atomicity via Semantic Locking.

[BibT_eX]

[DOI]

ACM Trans. Parallel Comput., 2017

Effective abstractions for verification under relaxed memory models.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2017

Synthesis of Forgiving Data Extractors.

[BibT_eX]

[DOI]

Adi Omari

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

Similarity of binaries through re-optimization.

[BibT_eX]

[DOI]

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

Learning Disjunctions of Predicates.

[BibT_eX]

[DOI]

Proceedings of the 30th Conference on Learning Theory, 2017

Synthesis with Abstract Examples.

[BibT_eX]

[DOI]

Dana Drachsler-Cohen

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

2016

Analysis and Synthesis with "Big Code".

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Systems Engineering, 2016

Programming with "Big Code".

[BibT_eX]

[DOI]

Found. Trends Program. Lang., 2016

Optimal Learning of Specifications from Examples.

[BibT_eX]

[DOI]

Dana Drachsler-Cohen

CoRR, 2016

Symbolic automata for representing big code.

[BibT_eX]

[DOI]

Acta Informatica, 2016

D^3 : Data-Driven Disjunctive Abstraction.

[BibT_eX]

[DOI]

Hila Peleg

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

Estimating types in binaries using predictive modeling.

[BibT_eX]

[DOI]

Omer Katz

Ran El-Yaniv

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

Statistical similarity of binaries.

[BibT_eX]

[DOI]

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

Leveraging a corpus of natural language descriptions for program similarity.

[BibT_eX]

[DOI]

Meital Zilberstein

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

Extracting code from programming tutorial videos.

[BibT_eX]

[DOI]

Shir Yadid

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

Lossless Separation of Web Pages into Layout Code and Data.

[BibT_eX]

[DOI]

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

Cross-supervised synthesis of web-crawlers.

[BibT_eX]

[DOI]

Adi Omari

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

2015

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

[BibT_eX]

[DOI]

Yuri Meshman

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

Programming with "Big Code".

[BibT_eX]

[DOI]

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

2014

Practical Software Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Software Systems Safety, 2014

Exploiting Social Navigation.

[BibT_eX]

[DOI]

CoRR, 2014

Synthesis of Memory Fences via Refinement Propagation.

[BibT_eX]

[DOI]

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

Automatic semantic locking.

[BibT_eX]

[DOI]

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

Practical concurrent binary search trees via logical ordering.

[BibT_eX]

[DOI]

Dana Drachsler

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

Code completion with statistical language models.

[BibT_eX]

[DOI]

Veselin Raychev

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

Tracelet-based code search in executables.

[BibT_eX]

[DOI]

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

Abstract semantic differencing via speculative correlation.

[BibT_eX]

[DOI]

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

Verifying atomicity via data independence.

[BibT_eX]

[DOI]

Nathan Grasso Bronson

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

2013

Alias Analysis for Object-Oriented Programs.

[BibT_eX]

[DOI]

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

Abstraction-guided synthesis of synchronization.

[BibT_eX]

[DOI]

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

Abstraction-Guided Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2013

Automatic Synthesis of Deterministic Concurrency.

[BibT_eX]

[DOI]

Veselin Raychev

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

Symbolic Automata for Static Specification Mining.

[BibT_eX]

[DOI]

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

Abstract Semantic Differencing for Numerical Programs.

[BibT_eX]

[DOI]

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

Predicate Abstraction for Relaxed Memory Models.

[BibT_eX]

[DOI]

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

Concurrent libraries with foresight.

[BibT_eX]

[DOI]

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

Finding rare numerical stability errors in concurrent computations.

[BibT_eX]

[DOI]

Hana Chockler

Karine Even

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

Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs.

[BibT_eX]

[DOI]

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

2012

Automatic inference of memory fences.

[BibT_eX]

[DOI]

Michael Kuperstein

SIGACT News, 2012

Efficient data race detection for async-finish parallelism.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2012

Software Synthesis (Dagstuhl Seminar 12152).

[BibT_eX]

[DOI]

Rastislav Bodík

Sumit Gulwani

Dagstuhl Reports, 2012

Scalable and precise dynamic datarace detection for structured parallelism.

[BibT_eX]

[DOI]

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

Dynamic synthesis for relaxed memory models.

[BibT_eX]

[DOI]

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

Typestate-based semantic code search over partial programs.

[BibT_eX]

[DOI]

Alon Mishne

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

2011

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

[BibT_eX]

[DOI]

Matthew Arnold

ACM Trans. Softw. Eng. Methodol., 2011

Partial-coherence abstractions for relaxed memory models.

[BibT_eX]

[DOI]

Michael Kuperstein

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

Testing atomicity of composed concurrent operations.

[BibT_eX]

[DOI]

Ohad Shacham

Nathan Grasso Bronson

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

Sprint: speculative prefetching of remote data.

[BibT_eX]

[DOI]

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

Automatic fine-grain locking using shape properties.

[BibT_eX]

[DOI]

Guy Golan-Gueta

Nathan Grasso Bronson

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

Asynchronous assertions.

[BibT_eX]

[DOI]

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

2010

Verifying safety properties of concurrent heap-manipulating programs.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2010

Automatic Verification of Determinism for Structured Parallel Programs.

[BibT_eX]

[DOI]

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

Verifying linearizability with hindsight.

[BibT_eX]

[DOI]

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

PHALANX: parallel checking of expressive heap assertions.

[BibT_eX]

[DOI]

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

2009

Inferring Synchronization under Limited Observability.

[BibT_eX]

[DOI]

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

Experience with Model Checking Linearizability.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2009

Chameleon: adaptive selection of collections.

[BibT_eX]

[DOI]

Ohad Shacham

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

09501 Abstracts Collection - Software Synthesis.

[BibT_eX]

[DOI]

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

2008

Static Specification Mining Using Automata-Based Abstractions.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2008

Effective typestate verification in the presence of aliasing.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2008

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

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2008

Generating precise and concise procedure summaries.

[BibT_eX]

[DOI]

Satish Chandra

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

Deriving linearizable fine-grained concurrent objects.

[BibT_eX]

[DOI]

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

The CLOSER: automating resource management in java.

[BibT_eX]

[DOI]

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

Verifying dereference safety via expanding-scope analysis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IBM Syst. J., 2007

Cartesian Partial-Order Reduction.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2007

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Modular Shape Analysis for Dynamically Encapsulated Programs.

[BibT_eX]

[DOI]

Arnd Poetzsch-Heffter

Ganesan Ramalingam

Proceedings of the Programming Languages and Systems, 2007

Comparison Under Abstraction for Verifying Linearizability.

[BibT_eX]

[DOI]

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

2006

Verifying Temporal Heap Properties Specified via Evolution Logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 2006

Correctness-preserving derivation of concurrent garbage collection algorithms.

[BibT_eX]

[DOI]

David F. Bacon

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

Continuous code-quality assurance with SAFE.

[BibT_eX]

[DOI]

Emmanuel Geay

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.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2005

Typestate verification: Abstraction techniques and complexity results.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2005

Automatic Verification of Strongly Dynamic Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, 2005

Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2005

Interprocedural Shape Analysis for Cutpoint-Free Programs.

[BibT_eX]

[DOI]

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

High-level real-time programming in Java.

[BibT_eX]

[DOI]

Proceedings of the EMSOFT 2005, 2005

2004

Property-guided verification of concurrent heap-manipulating programs

[BibT_eX]

[DOI]

PhD thesis, 2004

Verifying safety properties using separation and heterogeneous abstractions.

[BibT_eX]

[DOI]

G. Ramalingam

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

2003

Automatically Verifying Concurrent Queue Algorithms.

[BibT_eX]

[DOI]

Shmuel Sagiv

Proceedings of the 2003 Workshop on Software Model Checking, 2003

2001

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

[BibT_eX]

[DOI]