Sharon Shoham
According to our database^{1},
Sharon Shoham
authored at least 60 papers
between 2004 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at orcid.org
On csauthors.net:
Bibliography
2020
Proc. ACM Program. Lang., 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 ThresholdBased Distributed Algorithms by Decomposition to Decidable Logics.
Proceedings of the Computer Aided Verification  31st International Conference, 2019
2018
Proc. ACM Program. Lang., 2018
Formal Asp. Comput., 2018
CoRR, 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 2018 Formal Methods in Computer Aided Design, 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
CoRR, 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
ThreadLocal Semantics and Its Efficient Sequential Abstractions for RaceFree 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 multivalued systems via abstractionrefinement.
Inf. Comput., 2016
Acta Informatica, 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 SIGPLANSIGACT 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 AssumeGuarantee Reasoning with Nway Decomposition and Alphabet Refinement.
Proceedings of the Computer Aided Verification  28th International Conference, 2016
2015
Proceedings of the 42nd Annual ACM SIGPLANSIGACT 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
J. Comput. Syst. Sci., 2012
Proceedings of the 27th Annual ACM SIGPLAN Conference on ObjectOriented Programming, 2012
Proceedings of the Formal Methods in ComputerAided Design, 2012
2011
Int. J. Softw. Tools Technol. Transf., 2011
2010
Inf. Comput., 2010
2008
IEEE Trans. Software Eng., 2008
Game Semantics for the LambekCalculus: Capturing Directionality and the Absence of Structural Rules.
Studia Logica, 2008
Inf. Comput., 2008
Proceedings of the Model Checking Software, 2008
2007
A gamebased framework for CTL counterexamples and 3valued abstractionrefinement.
ACM Trans. Comput. Log., 2007
When not losing is better than winning: Abstraction and refinement for the full mucalculus.
Inf. Comput., 2007
Proceedings of the Model Checking Software, 2007
2005
Proceedings of the Verification, 2005
2004
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004