Sharon Shoham

According to our database1, Sharon Shoham
  • authored at least 50 papers between 2003 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Paxos made EPR: decidable reasoning about distributed protocols.
PACMPL, 2017

Property-Directed Inference of Universal Invariants or Proving Their Absence.
J. ACM, 2017

Bounded Quantifier Instantiation for Checking Inductive Invariants.
CoRR, 2017

Paxos Made EPR: Decidable Reasoning about Distributed Protocols.
CoRR, 2017

Programming Not Only by Example.
CoRR, 2017

Modular Safety Verification for Stateful Networks.
CoRR, 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

Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free 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
A framework for compositional verification of multi-valued systems via abstraction-refinement.
Inf. Comput., 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 : Data-Driven 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

SMT-based 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 SIGPLAN-SIGACT 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

Cross-supervised synthesis of web-crawlers.
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
Decentralizing SDN Policies.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Automated Circular Assume-Guarantee Reasoning.
Proceedings of the FM 2015: Formal Methods, 2015

Property-Directed Inference of Universal Invariants or Proving Their Absence.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
SAT-based Model Checking: Interpolation, IC3, and Beyond.
Proceedings of the Software Systems Safety, 2014

2013
Intertwined Forward-Backward 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
Multi-valued model checking games.
J. Comput. Syst. Sci., 2012

Typestate-based semantic code search over partial programs.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Lazy abstraction and SAT-based reachability in hardware model checking.
Proceedings of the Formal Methods in Computer-Aided Design, 2012

2011
Local abstraction-refinement for the μ-calculus.
STTT, 2011

2010
Compositional verification and 3-valued abstractions join forces.
Inf. Comput., 2010

2009
A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement.
Proceedings of the Automated Technology for Verification and Analysis, 2009

2008
Static Specification Mining Using Automata-Based Abstractions.
IEEE Trans. Software Eng., 2008

Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules.
Studia Logica, 2008

3-Valued abstraction: More precision at less cost.
Inf. Comput., 2008

State Focusing: Lazy Abstraction for the Mu-Calculus.
Proceedings of the Model Checking Software, 2008

2007
A game-based framework for CTL counterexamples and 3-valued abstraction-refinement.
ACM Trans. Comput. Log., 2007

When not losing is better than winning: Abstraction and refinement for the full mu-calculus.
Inf. Comput., 2007

Local Abstraction-Refinement for the mu-Calculus.
Proceedings of the Model Checking Software, 2007

Compositional Verification and 3-Valued Abstractions Join Forces.
Proceedings of the Static Analysis, 14th International Symposium, 2007

Static specification mining using automata-based abstractions.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

2006
3-Valued 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

Multi-valued Model Checking Games.
Proceedings of the Automated Technology for Verification and Analysis, 2005

2004
Monotonic Abstraction-Refinement for CTL.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

2003
A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003


  Loading...