Eran Yahav - RankMe

147 papers A* 35A 17B 23C 3Misc 1Journal 47Unranked 15

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Correction to: Extracting automata from recurrent neural networks using queries and counterexamples (extended version). Mach. Learn. Gail Weiss, Yoav Goldberg, Eran Yahav
2024	J	`jnl`	Extracting automata from recurrent neural networks using queries and counterexamples (extended version). Mach. Learn. Gail Weiss, Yoav Goldberg, Eran Yahav
2023	J	`jnl`	Diffusing Graph Attention. CoRR Daniel Glickman, Eran Yahav
2023	—	`conf`	On the Expressivity Role of LayerNorm in Transformers' Attention. ACL (Findings) Shaked Brody, Uri Alon, Eran Yahav
2023	J	`jnl`	On the Expressivity Role of LayerNorm in Transformers' Attention. CoRR Shaked Brody, Uri Alon, Eran Yahav
2023	J	`jnl`	Programming Language Processing (Dagstuhl Seminar 23062). Dagstuhl Reports Michael Pradel, Baishakhi Ray, Charles Sutton, Eran Yahav
2023	—	`conf`	Towards AI-Driven Software Development: Challenges and Lessons from the Field (Keynote). ESEC/SIGSOFT FSE Eran Yahav
2022	A*	`conf`	How Attentive are Graph Attention Networks? ICLR Shaked Brody, Uri Alon, Eran Yahav
2021	J	`jnl`	How Attentive are Graph Attention Networks? CoRR Shaked Brody, Uri Alon, Eran Yahav
2021	A*	`conf`	On the Bottleneck of Graph Neural Networks and its Practical Implications. ICLR Uri Alon, Eran Yahav
2021	A*	`ed.`	PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021. PLDI Stephen N. Freund, Eran Yahav
2021	A*	`conf`	Thinking Like Transformers. ICML Gail Weiss, Yoav Goldberg, Eran Yahav
2021	J	`jnl`	Thinking Like Transformers. CoRR Gail Weiss, Yoav Goldberg, Eran Yahav
2020	A*	`conf`	A Formal Hierarchy of RNN Architectures. ACL William Merrill, Gail Weiss, Yoav Goldberg, Roy Schwartz, Noah A. Smith, Eran Yahav
2020	J	`jnl`	A Formal Hierarchy of RNN Architectures. CoRR William Merrill, Gail Weiss, Yoav Goldberg, Roy Schwartz, Noah A. Smith, Eran Yahav
2020	J	`jnl`	A structural model for contextual code changes. Proc. ACM Program. Lang. Shaked Brody, Uri Alon, Eran Yahav
2020	J	`jnl`	Adversarial examples for models of code. Proc. ACM Program. Lang. Noam Yefet, Uri Alon, Eran Yahav
2020	J	`jnl`	Neural Edit Completion. CoRR Shaked Brody, Uri Alon, Eran Yahav
2020	J	`jnl`	Neural reverse engineering of stripped binaries using augmented control flow graphs. Proc. ACM Program. Lang. Yaniv David, Uri Alon, Eran Yahav
2020	J	`jnl`	On the Bottleneck of Graph Neural Networks and its Practical Implications. CoRR Uri Alon, Eran Yahav
2020	J	`jnl`	Programming by predicates: a formal model for interactive synthesis. Acta Informatica Hila Peleg, Shachar Itzhaky, Sharon Shoham, Eran Yahav
2020	J	`jnl`	Programming with a read-eval-synth loop. Proc. ACM Program. Lang. Hila Peleg, Roi Gabay, Shachar Itzhaky, Eran Yahav
2020	A*	`conf`	Structural Language Models of Code. ICML Uri Alon, Roy Sadaka, Omer Levy, Eran Yahav
2019	J	`jnl`	Adversarial Examples for Models of Code. CoRR Noam Yefet, Uri Alon, Eran Yahav
2019	A	`conf`	From typestate verification to interpretable deep models (invited talk abstract). ISSTA Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay
2019	A*	`conf`	Learning Deterministic Weighted Automata with Queries and Counterexamples. NeurIPS Gail Weiss, Yoav Goldberg, Eran Yahav
2019	J	`jnl`	Learning Deterministic Weighted Automata with Queries and Counterexamples. CoRR Gail Weiss, Yoav Goldberg, Eran Yahav
2019	J	`jnl`	Neural Reverse Engineering of Stripped Binaries. CoRR Yaniv David, Uri Alon, Eran Yahav
2019	J	`jnl`	Structural Language Models for Any-Code Generation. CoRR Uri Alon, Roy Sadaka, Omer Levy, Eran Yahav
2019	J	`jnl`	Towards Neural Decompilation. CoRR Omer Katz, Yuval Olshaker, Yoav Goldberg, Eran Yahav
2019	—	`conf`	code2seq: Generating Sequences from Structured Representations of Code. ICLR (Poster) Uri Alon, Shaked Brody, Omer Levy, Eran Yahav
2019	J	`jnl`	code2vec: learning distributed representations of code. Proc. ACM Program. Lang. Uri Alon, Meital Zilberstein, Omer Levy, Eran Yahav
2018	J	`jnl`	A General Path-Based Representation for Predicting Program Properties. CoRR Uri Alon, Meital Zilberstein, Omer Levy, Eran Yahav
2018	A*	`conf`	A general path-based representation for predicting program properties. PLDI Uri Alon, Meital Zilberstein, Omer Levy, Eran Yahav
2018	A*	`conf`	Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples. ICML Gail Weiss, Yoav Goldberg, Eran Yahav
2018	A*	`conf`	FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware. ASPLOS Yaniv David, Nimrod Partush, Eran Yahav
2018	—	`conf`	From Programs to Interpretable Deep Models and Back. CAV (1) Eran Yahav
2018	B	`conf`	Generating Tests by Example. VMCAI Hila Peleg, Dan Rasin, Eran Yahav
2018	—	`conf`	On the Practical Computational Power of Finite Precision RNNs for Language Recognition. ACL (2) Gail Weiss, Yoav Goldberg, Eran Yahav
2018	J	`jnl`	On the Practical Computational Power of Finite Precision RNNs for Language Recognition. CoRR Gail Weiss, Yoav Goldberg, Eran Yahav
2018	B	`conf`	Practical concurrent traversals in search trees. PPoPP Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav
2018	A*	`conf`	Programming not only by example. ICSE Hila Peleg, Sharon Shoham, Eran Yahav
2018	A*	`conf`	Statistical Reconstruction of Class Hierarchies in Binaries. ASPLOS Omer Katz, Noam Rinetzky, Eran Yahav
2018	J	`jnl`	code2seq: Generating Sequences from Structured Representations of Code. CoRR Uri Alon, Omer Levy, Eran Yahav
2018	J	`jnl`	code2vec: Learning Distributed Representations of Code. CoRR Uri Alon, Meital Zilberstein, Omer Levy, Eran Yahav
2017	J	`jnl`	Automatic Scalable Atomicity via Semantic Locking. ACM Trans. Parallel Comput. Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav
2017	J	`jnl`	Effective abstractions for verification under relaxed memory models. Comput. Lang. Syst. Struct. Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav
2017	J	`jnl`	Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples. CoRR Gail Weiss, Yoav Goldberg, Eran Yahav
2017	A*	`conf`	Learning Disjunctions of Predicates. COLT Nader H. Bshouty, Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav
2017	J	`jnl`	Learning Disjunctions of Predicates. CoRR Nader H. Bshouty, Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav
2017	J	`jnl`	Programming Not Only by Example. CoRR Hila Peleg, Sharon Shoham, Eran Yahav
2017	A*	`conf`	Similarity of binaries through re-optimization. PLDI Yaniv David, Nimrod Partush, Eran Yahav
2017	A	`conf`	Synthesis of Forgiving Data Extractors. WSDM Adi Omari, Sharon Shoham, Eran Yahav
2017	—	`conf`	Synthesis with Abstract Examples. CAV (1) Dana Drachsler-Cohen, Sharon Shoham, Eran Yahav
2016	—	`ch.`	Analysis and Synthesis with "Big Code". Dependable Software Systems Engineering Eran Yahav
2016	A*	`conf`	Cross-supervised synthesis of web-crawlers. ICSE Adi Omari, Sharon Shoham, Eran Yahav
2016	B	`conf`	D^3 : Data-Driven Disjunctive Abstraction. VMCAI Hila Peleg, Sharon Shoham, Eran Yahav
2016	A*	`conf`	Estimating types in binaries using predictive modeling. POPL Omer Katz, Ran El-Yaniv, Eran Yahav
2016	—	`conf`	Extracting code from programming tutorial videos. Onward! Shir Yadid, Eran Yahav
2016	—	`conf`	Leveraging a corpus of natural language descriptions for program similarity. Onward! Meital Zilberstein, Eran Yahav
2016	A*	`conf`	Lossless Separation of Web Pages into Layout Code and Data. KDD Adi Omari, Benny Kimelfeld, Eran Yahav, Sharon Shoham
2016	J	`jnl`	Optimal Learning of Specifications from Examples. CoRR Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav
2016	J	`jnl`	Programming with "Big Code". Found. Trends Program. Lang. Martin T. Vechev, Eran Yahav
2016	A*	`conf`	Statistical similarity of binaries. PLDI Yaniv David, Nimrod Partush, Eran Yahav
2016	J	`jnl`	Symbolic automata for representing big code. Acta Informatica Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang
2015	B	`conf`	Automatic scalable atomicity via semantic locking. PPoPP Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav
2015	B	`conf`	Effective Abstractions for Verification under Relaxed Memory Models. VMCAI Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav
2015	B	`conf`	Pattern-based Synthesis of Synchronization for the C++ Memory Model. FMCAD Yuri Meshman, Noam Rinetzky, Eran Yahav
2015	B	`conf`	Programming with "Big Code". APLAS Eran Yahav
2014	A	`conf`	Abstract semantic differencing via speculative correlation. OOPSLA Nimrod Partush, Eran Yahav
2014	B	`conf`	Automatic semantic locking. PPoPP Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav
2014	A*	`conf`	Code completion with statistical language models. PLDI Veselin Raychev, Martin T. Vechev, Eran Yahav
2014	J	`jnl`	Exploiting Social Navigation. CoRR Meital Ben Sinai, Nimrod Partush, Shir Yadid, Eran Yahav
2014	—	`ed.`	Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings Haifa Verification Conference Eran Yahav
2014	—	`ch.`	Practical Software Synthesis. Software Systems Safety Eran Yahav
2014	B	`conf`	Practical concurrent binary search trees via logical ordering. PPoPP Dana Drachsler, Martin T. Vechev, Eran Yahav
2014	B	`conf`	Synthesis of Memory Fences via Refinement Propagation. SAS Yuri Meshman, Andrei Marian Dan, Martin T. Vechev, Eran Yahav
2014	A*	`conf`	Tracelet-based code search in executables. PLDI Yaniv David, Eran Yahav
2014	A	`conf`	Verifying atomicity via data independence. ISSTA Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev
2013	B	`conf`	Abstract Semantic Differencing for Numerical Programs. SAS Nimrod Partush, Eran Yahav
2013	B	`conf`	Abstraction-Guided Synthesis. VMCAI Eran Yahav
2013	J	`jnl`	Abstraction-guided synthesis of synchronization. Int. J. Softw. Tools Technol. Transf. Martin T. Vechev, Eran Yahav, Greta Yorsh
2013	—	`ch.`	Alias Analysis for Object-Oriented Programs. Aliasing in Object-Oriented Programming Manu Sridharan, Satish Chandra, Julian Dolby, Stephen J. Fink, Eran Yahav
2013	B	`conf`	Automatic Synthesis of Deterministic Concurrency. SAS Veselin Raychev, Martin T. Vechev, Eran Yahav
2013	A*	`conf`	Concurrent libraries with foresight. PLDI Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav
2013	A	`conf`	Finding rare numerical stability errors in concurrent computations. ISSTA Hana Chockler, Karine Even, Eran Yahav
2013	—	`conf`	Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs. Programming Logics Jörg Kreiker, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav
2013	B	`conf`	Predicate Abstraction for Relaxed Memory Models. SAS Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav
2013	B	`conf`	Symbolic Automata for Static Specification Mining. SAS Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang
2012	J	`jnl`	Automatic inference of memory fences. SIGACT News Michael Kuperstein, Martin T. Vechev, Eran Yahav
2012	A*	`conf`	Dynamic synthesis for relaxed memory models. PLDI Feng Liu, Nayden Nedev, Nedyalko Prisadnikov, Martin T. Vechev, Eran Yahav
2012	J	`jnl`	Efficient data race detection for async-finish parallelism. Formal Methods Syst. Des. Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav
2012	A*	`conf`	Scalable and precise dynamic datarace detection for structured parallelism. PLDI Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav
2012	J	`jnl`	Software Synthesis (Dagstuhl Seminar 12152). Dagstuhl Reports Rastislav Bodík, Sumit Gulwani, Eran Yahav
2012	A	`conf`	Typestate-based semantic code search over partial programs. OOPSLA Alon Mishne, Sharon Shoham, Eran Yahav
2011	A	`conf`	Asynchronous assertions. OOPSLA Edward Aftandilian, Samuel Z. Guyer, Martin T. Vechev, Eran Yahav
2011	A	`conf`	Automatic fine-grain locking using shape properties. OOPSLA Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav
2011	A*	`conf`	Partial-coherence abstractions for relaxed memory models. PLDI Michael Kuperstein, Martin T. Vechev, Eran Yahav
2011	J	`jnl`	QVM: An Efficient Runtime for Detecting Defects in Deployed Systems. ACM Trans. Softw. Eng. Methodol. Matthew Arnold, Martin T. Vechev, Eran Yahav
2011	A	`conf`	Sprint: speculative prefetching of remote data. OOPSLA Arun Raman, Greta Yorsh, Martin T. Vechev, Eran Yahav
2011	B	`ed.`	Static Analysis - 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings SAS Eran Yahav
2011	A	`conf`	Testing atomicity of composed concurrent operations. OOPSLA Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav
2010	A*	`conf`	Abstraction-guided synthesis of synchronization. POPL Martin T. Vechev, Eran Yahav, Greta Yorsh
2010	B	`conf`	Automatic Verification of Determinism for Structured Parallel Programs. SAS Martin T. Vechev, Eran Yahav, Raghavan Raman, Vivek Sarkar
2010	B	`conf`	Automatic inference of memory fences. FMCAD Michael Kuperstein, Martin T. Vechev, Eran Yahav
2010	B	`conf`	Efficient Data Race Detection for Async-Finish Parallelism. RV Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav
2010	C	`conf`	PHALANX: parallel checking of expressive heap assertions. ISMM Martin T. Vechev, Eran Yahav, Greta Yorsh
2010	A*	`conf`	Verifying linearizability with hindsight. PODC Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh
2010	J	`jnl`	Verifying safety properties of concurrent heap-manipulating programs. ACM Trans. Program. Lang. Syst. Eran Yahav, Mooly Sagiv
2009	—	`conf`	09501 Abstracts Collection - Software Synthesis. Software Synthesis Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav
2009	A*	`conf`	Chameleon: adaptive selection of collections. PLDI Ohad Shacham, Martin T. Vechev, Eran Yahav
2009	—	`conf`	Experience with Model Checking Linearizability. SPIN Martin T. Vechev, Eran Yahav, Greta Yorsh
2009	A	`conf`	Inferring Synchronization under Limited Observability. TACAS Martin T. Vechev, Eran Yahav, Greta Yorsh
2009	—	`ed.`	Software Synthesis, 06.12. - 11.12.2009 Software Synthesis Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav
2008	A*	`conf`	Deriving linearizable fine-grained concurrent objects. PLDI Martin T. Vechev, Eran Yahav
2008	J	`jnl`	Effective typestate verification in the presence of aliasing. ACM Trans. Softw. Eng. Methodol. Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay
2008	A*	`conf`	Generating precise and concise procedure summaries. POPL Greta Yorsh, Eran Yahav, Satish Chandra
2008	J	`jnl`	On the complexity of partially-flow-sensitive alias analysis. ACM Trans. Program. Lang. Syst. Noam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Yahav
2008	A	`conf`	QVM: an efficient runtime for detecting defects in deployed systems. OOPSLA Matthew Arnold, Martin T. Vechev, Eran Yahav
2008	J	`jnl`	Static Specification Mining Using Automata-Based Abstractions. IEEE Trans. Software Eng. Sharon Shoham, Eran Yahav, Stephen J. Fink, Marco Pistoia
2008	C	`conf`	The CLOSER: automating resource management in java. ISMM Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra
2008	A	`conf`	Verifying dereference safety via expanding-scope analysis. ISSTA Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda
2007	J	`jnl`	A survey of static analysis methods for identifying security vulnerabilities in software systems. IBM Syst. J. Marco Pistoia, Satish Chandra, Stephen J. Fink, Eran Yahav
2007	A*	`conf`	CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. PLDI Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky
2007	—	`conf`	Cartesian Partial-Order Reduction. SPIN Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv
2007	A*	`conf`	Comparison Under Abstraction for Verifying Linearizability. CAV Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav
2007	A	`conf`	Modular Shape Analysis for Dynamically Encapsulated Programs. ESOP Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav
2007	A	`conf`	Static specification mining using automata-based abstractions. ISSTA Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia
2007	A*	`conf`	When Role Models Have Flaws: Static Validation of Enterprise Security Policies. ICSE Marco Pistoia, Stephen J. Fink, Robert J. Flynn, Eran Yahav
2006	C	`conf`	Continuous code-quality assurance with SAFE. PEPM Emmanuel Geay, Eran Yahav, Stephen J. Fink
2006	A*	`conf`	Correctness-preserving derivation of concurrent garbage collection algorithms. PLDI Martin T. Vechev, Eran Yahav, David F. Bacon
2006	A	`conf`	Effective typestate verification in the presence of aliasing. ISSTA Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay
2006	J	`jnl`	Verifying Temporal Heap Properties Specified via Evolution Logic. Log. J. IGPL Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
2005	—	`conf`	Automatic Verification of Strongly Dynamic Software Systems. VSTTE 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
2005	J	`jnl`	Establishing local temporal heap safety properties with applications to compile-time memory management. Sci. Comput. Program. Ran Shaham, Eran Yahav, Elliot K. Kolodner, Mooly Sagiv
2005	Misc	`conf`	High-level real-time programming in Java. EMSOFT David F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, Martin T. Vechev
2005	B	`conf`	Interprocedural Shape Analysis for Cutpoint-Free Programs. SAS Noam Rinetzky, Mooly Sagiv, Eran Yahav
2005	B	`conf`	Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. VMCAI Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv
2005	J	`jnl`	Typestate verification: Abstraction techniques and complexity results. Sci. Comput. Program. John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav
2004	—	`—`	Property-guided verification of concurrent heap-manipulating programs Eran Yahav
2004	A*	`conf`	Verifying safety properties using separation and heterogeneous abstractions. PLDI Eran Yahav, G. Ramalingam
2003	—	`conf`	Automatically Verifying Concurrent Queue Algorithms. SoftMC@CAV Eran Yahav, Shmuel Sagiv
2003	B	`conf`	Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. SAS Ran Shaham, Eran Yahav, Elliot K. Kolodner, Shmuel Sagiv
2003	B	`conf`	Typestate Verification: Abstraction Techniques and Complexity Results. SAS John Field, Deepak Goyal, G. Ramalingam, Eran Yahav
2003	A	`conf`	Verifying Temporal Heap Properties Specified via Evolution Logic. ESOP Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
2001	A*	`conf`	Verifying safety properties of concurrent Java programs using 3-valued logic. POPL Eran Yahav
1996	—	`conf`	Compiler Optimization of C++ Virtual Function Calls. COOTS Sara Porat, David Bernstein, Yaroslav Fedorov, Joseph Rodrigue, Eran Yahav