Eran Yahav
Technion – Israel Institute of Technology(IL)
Publications by Year
Research Areas
Software Engineering Research, Logic, programming, and type systems, Formal Methods in Verification, Software Testing and Debugging Techniques, Parallel Computing and Optimization Techniques
Most-Cited Works
- → Code completion with statistical language models(2014)544 cited
- → Effective typestate verification in the presence of aliasing(2008)162 cited
- → On the Bottleneck of Graph Neural Networks and its Practical\n Implications(2020)148 cited
- → Abstraction-guided synthesis of synchronization(2010)142 cited
- → Tracelet-based code search in executables(2014)138 cited
- → A general path-based representation for predicting program properties(2018)136 cited
- → Verifying safety properties of concurrent Java programs using 3-valued logic(2001)135 cited
- → Static specification mining using automata-based abstractions(2007)133 cited