default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEran Yahav
Person information
- affiliation: Technion, Haifa, Israel
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]