Eran Yahav

According to our database1, Eran Yahav
  • authored at least 96 papers between 1996 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Automatic Scalable Atomicity via Semantic Locking.
TOPC, 2017

Learning Disjunctions of Predicates.
CoRR, 2017

Effective abstractions for verification under relaxed memory models.
Computer Languages, Systems & Structures, 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".
Foundations and Trends in Programming Languages, 2016

Optimal Learning of Specifications from Examples.
CoRR, 2016

Symbolic automata for representing big code.
Acta Inf., 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
Effective Abstractions for Verification under Relaxed Memory Models.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Automatic scalable atomicity via semantic locking.
Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 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.
STTT, 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 in System Design, 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

Efficient Data Race Detection for Async-Finish Parallelism.
Proceedings of the Runtime Verification - First International Conference, 2010

Abstraction-guided synthesis of synchronization.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 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

Automatic inference of memory fences.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 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

QVM: an efficient runtime for detecting defects in deployed systems.
Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 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 Systems Journal, 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

Static specification mining using automata-based abstractions.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 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.
Logic Journal of the 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

Effective typestate verification in the presence of aliasing.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 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

High-level real-time programming in Java.
Proceedings of the EMSOFT 2005, 2005

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.
Electr. Notes Theor. Comput. Sci., 2003

Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management.
Proceedings of the Static Analysis, 10th International Symposium, 2003

Typestate Verification: Abstraction Techniques and Complexity Results.
Proceedings of the Static Analysis, 10th International Symposium, 2003

Verifying Temporal Heap Properties Specified via Evolution Logic.
Proceedings of the Programming Languages and Systems, 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...