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

at orcid.org
On csauthors.net:
Bibliography
2019
Property Directed Self Composition.
Proceedings of the Computer Aided Verification  31st International Conference, 2019
Inferring Inductive Invariants from Phase Structures.
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
Reducing liveness to safety in firstorder logic.
PACMPL, 2018
Order out of Chaos: Proving Linearizability Using Local Views.
Proceedings of the 32nd International Symposium on Distributed Computing, 2018
AbstractionBased Interaction Model for Synthesis.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018
Interactive Verification of Distributed Protocols Using Decidable Logic.
Proceedings of the Static Analysis  25th International Symposium, 2018
Abstract Interpretation of Stateful Networks.
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
Programming not only by example.
Proceedings of the 40th International Conference on Software Engineering, 2018
Inferring Program Extensions from Traces.
Proceedings of the 14th International Conference on Grammatical Inference, 2018
Temporal Prophecy for Proving Temporal Properties of InfiniteState Systems.
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018
Modular Verification of Concurrent Programs via Sequential Model Checking.
Proceedings of the Automated Technology for Verification and Analysis, 2018
Quantifiers on Demand.
Proceedings of the Automated Technology for Verification and Analysis, 2018
2017
Paxos made EPR: decidable reasoning about distributed protocols.
PACMPL, 2017
Synthesis of Forgiving Data Extractors.
Proceedings of the Tenth ACM International Conference on Web Search and Data Mining, 2017
IC3  Flipping the E in ICE.
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
Bounded Quantifier Instantiation for Checking Inductive Invariants.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
ThreadLocal Semantics and Its Efficient Sequential Abstractions for RaceFree Programs.
Proceedings of the Static Analysis  24th International Symposium, 2017
RATCOP: Relational Analysis Tool for Concurrent Programs.
Proceedings of the Hardware and Software: Verification and Testing, 2017
Synthesis with Abstract Examples.
Proceedings of the Computer Aided Verification  29th International Conference, 2017
2016
Symbolic automata for representing big code.
Acta Inf., 2016
Property Directed Abstract Interpretation.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016
D^3 : DataDriven Disjunctive Abstraction.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016
Some Complexity Results for Stateful Network Verification.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
SMTbased verification of parameterized systems.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
Decidability of inferring inductive invariants.
Proceedings of the 43rd Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2016
Ivy: safety verification by interactive generalization.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
Lossless Separation of Web Pages into Layout Code and Data.
Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2016
Crosssupervised synthesis of webcrawlers.
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
Decentralizing SDN Policies.
Proceedings of the 42nd Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2015
Automated Circular AssumeGuarantee Reasoning.
Proceedings of the FM 2015: Formal Methods, 2015
PropertyDirected Inference of Universal Invariants or Proving Their Absence.
Proceedings of the Computer Aided Verification  27th International Conference, 2015
2014
SATbased Model Checking: Interpolation, IC3, and Beyond.
Proceedings of the Software Systems Safety, 2014
2013
Intertwined ForwardBackward Reachability Analysis Using Interpolants.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Symbolic Automata for Static Specification Mining.
Proceedings of the Static Analysis  20th International Symposium, 2013
2012
Typestatebased semantic code search over partial programs.
Proceedings of the 27th Annual ACM SIGPLAN Conference on ObjectOriented Programming, 2012
Lazy abstraction and SATbased reachability in hardware model checking.
Proceedings of the Formal Methods in ComputerAided Design, 2012
2011
Local abstractionrefinement for the μcalculus.
STTT, 2011
2009
A Framework for Compositional Verification of Multivalued Systems via AbstractionRefinement.
Proceedings of the Automated Technology for Verification and Analysis, 2009
2008
Game Semantics for the LambekCalculus: Capturing Directionality and the Absence of Structural Rules.
Studia Logica, 2008
State Focusing: Lazy Abstraction for the MuCalculus.
Proceedings of the Model Checking Software, 2008
2007
When not losing is better than winning: Abstraction and refinement for the full mucalculus.
Inf. Comput., 2007
Local AbstractionRefinement for the muCalculus.
Proceedings of the Model Checking Software, 2007
Compositional Verification and 3Valued Abstractions Join Forces.
Proceedings of the Static Analysis, 14th International Symposium, 2007
Static specification mining using automatabased abstractions.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007
2006
3Valued Abstraction: More Precision at Less Cost.
Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006
2005
Don't Know in the µCalculus.
Proceedings of the Verification, 2005
Multivalued Model Checking Games.
Proceedings of the Automated Technology for Verification and Analysis, 2005
2004
Monotonic AbstractionRefinement for CTL.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004
2003
A GameBased Framework for CTL Counterexamples and 3Valued AbstractionRefinement.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003