AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Sharon Shoham

Sharon Shoham

Tel Aviv University - Tel Aviv / Israel
Engineering & Technology / Computer Science
AD Scientific Index ID: 427462
אוניברסיטת תל־אביב
person_outline Sharon Shoham's MOST POPULAR ARTICLES
1-) Ivy: safety verification by interactive generalization Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
2-) Static specification mining using automata-based abstractions Proceedings of the 2007 International Symposium on Software Testing and …, 2007
3-) Paxos made EPR: decidable reasoning about distributed protocols Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-31, 2017
4-) Typestate-based semantic code search over partial programs Proceedings of the ACM international conference on Object oriented …, 2012
5-) Monotonic abstraction-refinement for CTL International Conference on Tools and Algorithms for the Construction and …, 2004