Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mooly Sagiv
Synthesis of Circular Compositional Program Proofs via Abduction
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Verifying Temporal Heap Properties Specified via Evolution Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Abstraction for Shape Analysis With Fast and Precise Transformers
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Generalizing DPLL to Richer Logics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Solving Shape-Analysis Problems in Languages With Destructive Updating
Ranking Abstractions
Leaping Loops in the Presence of Abstraction
