Sharon Shoham
Orcid: 0000-0002-7226-3526Affiliations:
- Tel Aviv University, Israel
According to our database1,
Sharon Shoham
authored at least 82 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification.
Proc. ACM Program. Lang., January, 2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the Programming Languages and Systems, 2024
mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic.
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
2023
Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols.
Proc. ACM Program. Lang., October, 2023
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
2022
Solving constrained Horn clauses modulo algebraic data types and recursive functions.
Proc. ACM Program. Lang., 2022
Proc. ACM Program. Lang., 2022
Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the Static Analysis - 29th International Symposium, 2022
Proceedings of the Reachability Problems - 16th International Conference, 2022
2021
Formal Methods Syst. Des., 2021
Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021
Proceedings of the Formal Methods in Computer Aided Design, 2021
Proceedings of the Programming Languages and Systems, 2021
2020
CoRR, 2020
Acta Informatica, 2020
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020
Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
2019
Log. Methods Comput. Sci., 2019
Formal Methods Syst. Des., 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2018
Proceedings of the 32nd International Symposium on Distributed Computing, 2018
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018
Proceedings of the Static Analysis - 25th International Symposium, 2018
Proceedings of the Static Analysis - 25th International Symposium, 2018
Modularity for decidability of deductive verification with applications to distributed systems.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018
Proceedings of the 40th International Conference on Software Engineering, 2018
Proceedings of the 14th International Conference on Grammatical Inference, 2018
Proceedings of the Automated Technology for Verification and Analysis, 2018
Proceedings of the Automated Technology for Verification and Analysis, 2018
2017
Proc. ACM Program. Lang., 2017
J. ACM, 2017
Proceedings of the Tenth ACM International Conference on Web Search and Data Mining, 2017
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017
Property Directed Reachability for Proving Absence of Concurrent Modification Errors.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017
Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs.
Proceedings of the Static Analysis - 24th International Symposium, 2017
Proceedings of the Hardware and Software: Verification and Testing, 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
2016
A framework for compositional verification of multi-valued systems via abstraction-refinement.
Inf. Comput., 2016
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2016
Proceedings of the 38th International Conference on Software Engineering, 2016
Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
2015
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015
2014
Proceedings of the Software Systems Safety, 2014
2013
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Proceedings of the Static Analysis - 20th International Symposium, 2013
2012
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012
Proceedings of the Formal Methods in Computer-Aided Design, 2012
2011
Int. J. Softw. Tools Technol. Transf., 2011
2010
2009
2008
IEEE Trans. Software Eng., 2008
Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules.
Stud Logica, 2008
Proceedings of the Model Checking Software, 2008
2007
ACM Trans. Comput. Log., 2007
When not losing is better than winning: Abstraction and refinement for the full mu-calculus.
Inf. Comput., 2007
Proceedings of the Model Checking Software, 2007
2005
2004
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004