default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEran Yahav
Person information
- affiliation: Technion, Haifa, Israel
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j23]Gail Weiss
, Yoav Goldberg, Eran Yahav:
Extracting automata from recurrent neural networks using queries and counterexamples (extended version). Mach. Learn. 113(5): 2877-2919 (2024)- 2023
- [c91]Shaked Brody, Uri Alon, Eran Yahav:
On the Expressivity Role of LayerNorm in Transformers' Attention. ACL (Findings) 2023: 14211-14221 - [c90]Eran Yahav:
Towards AI-Driven Software Development: Challenges and Lessons from the Field (Keynote). ESEC/SIGSOFT FSE 2023: 1 - [i24]Daniel Glickman, Eran Yahav:
Diffusing Graph Attention. CoRR abs/2303.00613 (2023) - [i23]Shaked Brody, Uri Alon, Eran Yahav:
On the Expressivity Role of LayerNorm in Transformers' Attention. CoRR abs/2305.02582 (2023) - [i22]Michael Pradel, Baishakhi Ray, Charles Sutton, Eran Yahav:
Programming Language Processing (Dagstuhl Seminar 23062). Dagstuhl Reports 13(2): 20-32 (2023) - 2022
- [c89]Shaked Brody, Uri Alon, Eran Yahav:
How Attentive are Graph Attention Networks? ICLR 2022 - 2021
- [c88]Uri Alon, Eran Yahav:
On the Bottleneck of Graph Neural Networks and its Practical Implications. ICLR 2021 - [c87]Gail Weiss, Yoav Goldberg, Eran Yahav:
Thinking Like Transformers. ICML 2021: 11080-11090 - [e4]Stephen N. Freund, Eran Yahav:
PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021. ACM 2021, ISBN 978-1-4503-8391-2 [contents] - [i21]Shaked Brody, Uri Alon, Eran Yahav:
How Attentive are Graph Attention Networks? CoRR abs/2105.14491 (2021) - [i20]Gail Weiss, Yoav Goldberg, Eran Yahav:
Thinking Like Transformers. CoRR abs/2106.06981 (2021) - 2020
- [j22]Hila Peleg, Shachar Itzhaky, Sharon Shoham, Eran Yahav:
Programming by predicates: a formal model for interactive synthesis. Acta Informatica 57(1-2): 165-193 (2020) - [j21]Hila Peleg, Roi Gabay, Shachar Itzhaky, Eran Yahav:
Programming with a read-eval-synth loop. Proc. ACM Program. Lang. 4(OOPSLA): 159:1-159:30 (2020) - [j20]Noam Yefet, Uri Alon, Eran Yahav:
Adversarial examples for models of code. Proc. ACM Program. Lang. 4(OOPSLA): 162:1-162:30 (2020) - [j19]Shaked Brody, Uri Alon, Eran Yahav:
A structural model for contextual code changes. Proc. ACM Program. Lang. 4(OOPSLA): 215:1-215:28 (2020) - [j18]Yaniv David, Uri Alon, Eran Yahav:
Neural reverse engineering of stripped binaries using augmented control flow graphs. Proc. ACM Program. Lang. 4(OOPSLA): 225:1-225:28 (2020) - [c86]William Merrill, Gail Weiss, Yoav Goldberg, Roy Schwartz, Noah A. Smith, Eran Yahav:
A Formal Hierarchy of RNN Architectures. ACL 2020: 443-459 - [c85]Uri Alon, Roy Sadaka, Omer Levy, Eran Yahav:
Structural Language Models of Code. ICML 2020: 245-256 - [i19]William Merrill, Gail Weiss, Yoav Goldberg, Roy Schwartz, Noah A. Smith, Eran Yahav:
A Formal Hierarchy of RNN Architectures. CoRR abs/2004.08500 (2020) - [i18]Shaked Brody, Uri Alon, Eran Yahav:
Neural Edit Completion. CoRR abs/2005.13209 (2020) - [i17]Uri Alon, Eran Yahav:
On the Bottleneck of Graph Neural Networks and its Practical Implications. CoRR abs/2006.05205 (2020)
2010 – 2019
- 2019
- [j17]Uri Alon, Meital Zilberstein, Omer Levy, Eran Yahav:
code2vec: learning distributed representations of code. Proc. ACM Program. Lang. 3(POPL): 40:1-40:29 (2019) - [c84]Uri Alon, Shaked Brody, Omer Levy, Eran Yahav:
code2seq: Generating Sequences from Structured Representations of Code. ICLR (Poster) 2019 - [c83]Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay:
From typestate verification to interpretable deep models (invited talk abstract). ISSTA 2019: 4-5 - [c82]Gail Weiss, Yoav Goldberg, Eran Yahav:
Learning Deterministic Weighted Automata with Queries and Counterexamples. NeurIPS 2019: 8558-8569 - [i16]Yaniv David, Uri Alon, Eran Yahav:
Neural Reverse Engineering of Stripped Binaries. CoRR abs/1902.09122 (2019) - [i15]Omer Katz, Yuval Olshaker, Yoav Goldberg, Eran Yahav:
Towards Neural Decompilation. CoRR abs/1905.08325 (2019) - [i14]Uri Alon, Roy Sadaka, Omer Levy, Eran Yahav:
Structural Language Models for Any-Code Generation. CoRR abs/1910.00577 (2019) - [i13]Noam Yefet, Uri Alon, Eran Yahav:
Adversarial Examples for Models of Code. CoRR abs/1910.07517 (2019) - [i12]Gail Weiss, Yoav Goldberg, Eran Yahav:
Learning Deterministic Weighted Automata with Queries and Counterexamples. CoRR abs/1910.13895 (2019) - 2018
- [c81]Gail Weiss, Yoav Goldberg, Eran Yahav:
On the Practical Computational Power of Finite Precision RNNs for Language Recognition. ACL (2) 2018: 740-745 - [c80]Omer Katz, Noam Rinetzky, Eran Yahav:
Statistical Reconstruction of Class Hierarchies in Binaries. ASPLOS 2018: 363-376 - [c79]Yaniv David, Nimrod Partush, Eran Yahav:
FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware. ASPLOS 2018: 392-404 - [c78]Eran Yahav:
From Programs to Interpretable Deep Models and Back. CAV (1) 2018: 27-37 - [c77]Gail Weiss, Yoav Goldberg, Eran Yahav:
Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples. ICML 2018: 5244-5253 - [c76]Hila Peleg, Sharon Shoham, Eran Yahav:
Programming not only by example. ICSE 2018: 1114-1124 - [c75]Uri Alon, Meital Zilberstein, Omer Levy, Eran Yahav:
A general path-based representation for predicting program properties. PLDI 2018: 404-419 - [c74]Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav:
Practical concurrent traversals in search trees. PPoPP 2018: 207-218 - [c73]Hila Peleg, Dan Rasin, Eran Yahav:
Generating Tests by Example. VMCAI 2018: 406-429 - [i11]Uri Alon, Meital Zilberstein, Omer Levy, Eran Yahav:
code2vec: Learning Distributed Representations of Code. CoRR abs/1803.09473 (2018) - [i10]Uri Alon, Meital Zilberstein, Omer Levy, Eran Yahav:
A General Path-Based Representation for Predicting Program Properties. CoRR abs/1803.09544 (2018) - [i9]Gail Weiss, Yoav Goldberg, Eran Yahav:
On the Practical Computational Power of Finite Precision RNNs for Language Recognition. CoRR abs/1805.04908 (2018) - [i8]Uri Alon, Omer Levy, Eran Yahav:
code2seq: Generating Sequences from Structured Representations of Code. CoRR abs/1808.01400 (2018) - 2017
- [j16]Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav:
Effective abstractions for verification under relaxed memory models. Comput. Lang. Syst. Struct. 47: 62-76 (2017) - [j15]Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav:
Automatic Scalable Atomicity via Semantic Locking. ACM Trans. Parallel Comput. 3(4): 21:1-21:29 (2017) - [c72]Dana Drachsler-Cohen, Sharon Shoham, Eran Yahav:
Synthesis with Abstract Examples. CAV (1) 2017: 254-278 - [c71]Nader H. Bshouty, Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav:
Learning Disjunctions of Predicates. COLT 2017: 346-369 - [c70]Yaniv David, Nimrod Partush, Eran Yahav:
Similarity of binaries through re-optimization. PLDI 2017: 79-94 - [c69]Adi Omari, Sharon Shoham, Eran Yahav:
Synthesis of Forgiving Data Extractors. WSDM 2017: 385-394 - [i7]Nader H. Bshouty, Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav:
Learning Disjunctions of Predicates. CoRR abs/1706.05070 (2017) - [i6]Hila Peleg, Sharon Shoham, Eran Yahav:
Programming Not Only by Example. CoRR abs/1710.01291 (2017) - [i5]Gail Weiss, Yoav Goldberg, Eran Yahav:
Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples. CoRR abs/1711.09576 (2017) - 2016
- [j14]Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang:
Symbolic automata for representing big code. Acta Informatica 53(4): 327-356 (2016) - [j13]Martin T. Vechev, Eran Yahav:
Programming with "Big Code". Found. Trends Program. Lang. 3(4): 231-284 (2016) - [c68]Adi Omari, Sharon Shoham, Eran Yahav:
Cross-supervised synthesis of web-crawlers. ICSE 2016: 368-379 - [c67]Adi Omari, Benny Kimelfeld, Eran Yahav, Sharon Shoham:
Lossless Separation of Web Pages into Layout Code and Data. KDD 2016: 1805-1814 - [c66]Shir Yadid, Eran Yahav:
Extracting code from programming tutorial videos. Onward! 2016: 98-111 - [c65]Meital Zilberstein, Eran Yahav:
Leveraging a corpus of natural language descriptions for program similarity. Onward! 2016: 197-211 - [c64]Yaniv David, Nimrod Partush, Eran Yahav:
Statistical similarity of binaries. PLDI 2016: 266-280 - [c63]Omer Katz, Ran El-Yaniv, Eran Yahav:
Estimating types in binaries using predictive modeling. POPL 2016: 313-326 - [c62]Hila Peleg, Sharon Shoham, Eran Yahav:
D^3 : Data-Driven Disjunctive Abstraction. VMCAI 2016: 185-205 - [p3]Eran Yahav:
Analysis and Synthesis with "Big Code". Dependable Software Systems Engineering 2016: 244-282 - [i4]Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav:
Optimal Learning of Specifications from Examples. CoRR abs/1608.00089 (2016) - 2015
- [c61]Eran Yahav:
Programming with "Big Code". APLAS 2015: 3-8 - [c60]Yuri Meshman, Noam Rinetzky, Eran Yahav:
Pattern-based Synthesis of Synchronization for the C++ Memory Model. FMCAD 2015: 120-127 - [c59]Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav:
Automatic scalable atomicity via semantic locking. PPoPP 2015: 31-41 - [c58]Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav:
Effective Abstractions for Verification under Relaxed Memory Models. VMCAI 2015: 449-466 - 2014
- [c57]Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev:
Verifying atomicity via data independence. ISSTA 2014: 26-36 - [c56]Nimrod Partush, Eran Yahav:
Abstract semantic differencing via speculative correlation. OOPSLA 2014: 811-828 - [c55]Yaniv David, Eran Yahav:
Tracelet-based code search in executables. PLDI 2014: 349-360 - [c54]Veselin Raychev, Martin T. Vechev, Eran Yahav:
Code completion with statistical language models. PLDI 2014: 419-428 - [c53]Dana Drachsler, Martin T. Vechev, Eran Yahav:
Practical concurrent binary search trees via logical ordering. PPoPP 2014: 343-356 - [c52]Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav:
Automatic semantic locking. PPoPP 2014: 385-386 - [c51]Yuri Meshman, Andrei Marian Dan, Martin T. Vechev, Eran Yahav:
Synthesis of Memory Fences via Refinement Propagation. SAS 2014: 237-252 - [p2]Eran Yahav:
Practical Software Synthesis. Software Systems Safety 2014: 349-377 - [e3]Eran Yahav:
Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings. Lecture Notes in Computer Science 8855, Springer 2014, ISBN 978-3-319-13337-9 [contents] - [i3]Meital Ben Sinai, Nimrod Partush, Shir Yadid, Eran Yahav:
Exploiting Social Navigation. CoRR abs/1410.0151 (2014) - 2013
- [j12]Martin T. Vechev, Eran Yahav, Greta Yorsh:
Abstraction-guided synthesis of synchronization. Int. J. Softw. Tools Technol. Transf. 15(5-6): 413-431 (2013) - [c50]Jörg Kreiker, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav:
Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs. Programming Logics 2013: 414-445 - [c49]Hana Chockler, Karine Even, Eran Yahav:
Finding rare numerical stability errors in concurrent computations. ISSTA 2013: 12-22 - [c48]Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav:
Concurrent libraries with foresight. PLDI 2013: 263-274 - [c47]Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang:
Symbolic Automata for Static Specification Mining. SAS 2013: 63-83 - [c46]Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav:
Predicate Abstraction for Relaxed Memory Models. SAS 2013: 84-104 - [c45]Nimrod Partush, Eran Yahav:
Abstract Semantic Differencing for Numerical Programs. SAS 2013: 238-258 - [c44]Veselin Raychev, Martin T. Vechev, Eran Yahav:
Automatic Synthesis of Deterministic Concurrency. SAS 2013: 283-303 - [c43]Eran Yahav:
Abstraction-Guided Synthesis. VMCAI 2013: 27 - [p1]Manu Sridharan, Satish Chandra, Julian Dolby, Stephen J. Fink, Eran Yahav:
Alias Analysis for Object-Oriented Programs. Aliasing in Object-Oriented Programming 2013: 196-232 - 2012
- [j11]Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav:
Efficient data race detection for async-finish parallelism. Formal Methods Syst. Des. 41(3): 321-347 (2012) - [j10]Michael Kuperstein, Martin T. Vechev, Eran Yahav:
Automatic inference of memory fences. SIGACT News 43(2): 108-123 (2012) - [c42]Alon Mishne, Sharon Shoham, Eran Yahav:
Typestate-based semantic code search over partial programs. OOPSLA 2012: 997-1016 - [c41]Feng Liu, Nayden Nedev, Nedyalko Prisadnikov, Martin T. Vechev, Eran Yahav:
Dynamic synthesis for relaxed memory models. PLDI 2012: 429-440 - [c40]Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav:
Scalable and precise dynamic datarace detection for structured parallelism. PLDI 2012: 531-542 - [i2]Rastislav Bodík, Sumit Gulwani, Eran Yahav:
Software Synthesis (Dagstuhl Seminar 12152). Dagstuhl Reports 2(4): 21-38 (2012) - 2011
- [j9]Matthew Arnold, Martin T. Vechev, Eran Yahav:
QVM: An Efficient Runtime for Detecting Defects in Deployed Systems. ACM Trans. Softw. Eng. Methodol. 21(1): 2:1-2:35 (2011) - [c39]Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav:
Testing atomicity of composed concurrent operations. OOPSLA 2011: 51-64 - [c38]Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav:
Automatic fine-grain locking using shape properties. OOPSLA 2011: 225-242 - [c37]Arun Raman, Greta Yorsh, Martin T. Vechev, Eran Yahav:
Sprint: speculative prefetching of remote data. OOPSLA 2011: 259-274 - [c36]Edward Aftandilian, Samuel Z. Guyer, Martin T. Vechev, Eran Yahav:
Asynchronous assertions. OOPSLA 2011: 275-288 - [c35]Michael Kuperstein, Martin T. Vechev, Eran Yahav:
Partial-coherence abstractions for relaxed memory models. PLDI 2011: 187-198 - [e2]Eran Yahav:
Static Analysis - 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings. Lecture Notes in Computer Science 6887, Springer 2011, ISBN 978-3-642-23701-0 [contents] - 2010
- [j8]Eran Yahav, Mooly Sagiv:
Verifying safety properties of concurrent heap-manipulating programs. ACM Trans. Program. Lang. Syst. 32(5): 18:1-18:50 (2010) - [c34]Michael Kuperstein, Martin T. Vechev, Eran Yahav:
Automatic inference of memory fences. FMCAD 2010: 111-119 - [c33]Martin T. Vechev, Eran Yahav, Greta Yorsh:
PHALANX: parallel checking of expressive heap assertions. ISMM 2010: 41-50 - [c32]Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh:
Verifying linearizability with hindsight. PODC 2010: 85-94 - [c31]Martin T. Vechev, Eran Yahav, Greta Yorsh:
Abstraction-guided synthesis of synchronization. POPL 2010: 327-338 - [c30]Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav:
Efficient Data Race Detection for Async-Finish Parallelism. RV 2010: 368-383 - [c29]Martin T. Vechev, Eran Yahav, Raghavan Raman, Vivek Sarkar:
Automatic Verification of Determinism for Structured Parallel Programs. SAS 2010: 455-471
2000 – 2009
- 2009
- [c28]Ohad Shacham, Martin T. Vechev, Eran Yahav:
Chameleon: adaptive selection of collections. PLDI 2009: 408-418 - [c27]Martin T. Vechev, Eran Yahav, Greta Yorsh:
Experience with Model Checking Linearizability. SPIN 2009: 261-278 - [c26]Martin T. Vechev, Eran Yahav, Greta Yorsh:
Inferring Synchronization under Limited Observability. TACAS 2009: 139-154 - [e1]Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav:
Software Synthesis, 06.12. - 11.12.2009. Dagstuhl Seminar Proceedings 09501, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [i1]Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav:
09501 Abstracts Collection - Software Synthesis. Software Synthesis 2009 - 2008
- [j7]Noam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Yahav:
On the complexity of partially-flow-sensitive alias analysis. ACM Trans. Program. Lang. Syst. 30(3): 13:1-13:28 (2008) - [j6]Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay:
Effective typestate verification in the presence of aliasing. ACM Trans. Softw. Eng. Methodol. 17(2): 9:1-9:34 (2008) - [j5]Sharon Shoham, Eran Yahav, Stephen J. Fink, Marco Pistoia:
Static Specification Mining Using Automata-Based Abstractions. IEEE Trans. Software Eng. 34(5): 651-666 (2008) - [c25]Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda:
Verifying dereference safety via expanding-scope analysis. ISSTA 2008: 213-224 - [c24]Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra:
The CLOSER: automating resource management in java. ISMM 2008: 1-10 - [c23]Matthew Arnold, Martin T. Vechev, Eran Yahav:
QVM: an efficient runtime for detecting defects in deployed systems. OOPSLA 2008: 143-162 - [c22]Martin T. Vechev, Eran Yahav:
Deriving linearizable fine-grained concurrent objects. PLDI 2008: 125-135 - [c21]Greta Yorsh, Eran Yahav, Satish Chandra:
Generating precise and concise procedure summaries. POPL 2008: 221-234 - 2007
- [j4]Marco Pistoia, Satish Chandra, Stephen J. Fink, Eran Yahav:
A survey of static analysis methods for identifying security vulnerabilities in software systems. IBM Syst. J. 46(2): 265-288 (2007) - [c20]Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav:
Comparison Under Abstraction for Verifying Linearizability. CAV 2007: 477-490 - [c19]Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav:
Modular Shape Analysis for Dynamically Encapsulated Programs. ESOP 2007: 220-236 - [c18]Marco Pistoia, Stephen J. Fink, Robert J. Flynn, Eran Yahav:
When Role Models Have Flaws: Static Validation of Enterprise Security Policies. ICSE 2007: 478-488 - [c17]Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia:
Static specification mining using automata-based abstractions. ISSTA 2007: 174-184 - [c16]Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky:
CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. PLDI 2007: 456-467 - [c15]Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv:
Cartesian Partial-Order Reduction. SPIN 2007: 95-112 - 2006
- [j3]Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm:
Verifying Temporal Heap Properties Specified via Evolution Logic. Log. J. IGPL 14(5): 755-783 (2006) - [c14]Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay:
Effective typestate verification in the presence of aliasing. ISSTA 2006: 133-144 - [c13]Emmanuel Geay, Eran Yahav, Stephen J. Fink:
Continuous code-quality assurance with SAFE. PEPM 2006: 145-149 - [c12]Martin T. Vechev, Eran Yahav, David F. Bacon:
Correctness-preserving derivation of concurrent garbage collection algorithms. PLDI 2006: 341-353 - 2005
- [j2]John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav:
Typestate verification: Abstraction techniques and complexity results. Sci. Comput. Program. 58(1-2): 57-82 (2005) - [j1]Ran Shaham, Eran Yahav, Elliot K. Kolodner, Mooly Sagiv:
Establishing local temporal heap safety properties with applications to compile-time memory management. Sci. Comput. Program. 58(1-2): 264-289 (2005) - [c11]David F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, Martin T. Vechev:
High-level real-time programming in Java. EMSOFT 2005: 68-78 - [c10]Noam Rinetzky, Mooly Sagiv, Eran Yahav:
Interprocedural Shape Analysis for Cutpoint-Free Programs. SAS 2005: 284-302 - [c9]Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv:
Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. VMCAI 2005: 181-198 - [c8]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:
Automatic Verification of Strongly Dynamic Software Systems. VSTTE 2005: 82-92 - 2004
- [b1]Eran Yahav:
Property-guided verification of concurrent heap-manipulating programs. Tel Aviv University, Israel, 2004 - [c7]Eran Yahav, G. Ramalingam:
Verifying safety properties using separation and heterogeneous abstractions. PLDI 2004: 25-34 - 2003
- [c6]Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm:
Verifying Temporal Heap Properties Specified via Evolution Logic. ESOP 2003: 204-222 - [c5]John Field, Deepak Goyal, G. Ramalingam, Eran Yahav:
Typestate Verification: Abstraction Techniques and Complexity Results. SAS 2003: 439-462 - [c4]Ran Shaham, Eran Yahav, Elliot K. Kolodner, Shmuel Sagiv:
Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. SAS 2003: 483-503 - [c3]Eran Yahav, Shmuel Sagiv:
Automatically Verifying Concurrent Queue Algorithms. SoftMC@CAV 2003: 450-463 - 2001
- [c2]Eran Yahav:
Verifying safety properties of concurrent Java programs using 3-valued logic. POPL 2001: 27-40
1990 – 1999
- 1996
- [c1]Sara Porat, David Bernstein, Yaroslav Fedorov, Joseph Rodrigue, Eran Yahav:
Compiler Optimization of C++ Virtual Function Calls. COOTS 1996
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
