The following pages link to Dino Distefano (Q2852077):
Displayed 15 items.
- (Q2852078) (← links)
- Variance analyses from invariance analyses (Q3189800) (← links)
- Scalable Shape Analysis for Systems Code (Q3512506) (← links)
- Safety and Liveness in Concurrent Pointer Programs (Q3591397) (← links)
- Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic (Q3613386) (← links)
- (Q4762660) (← links)
- Automated Cyclic Entailment Proofs in Separation Logic (Q5200020) (← links)
- Compositional shape analysis by means of bi-abduction (Q5261525) (← links)
- Runtime Verification Based on Register Automata (Q5326330) (← links)
- Compositional Shape Analysis by Means of Bi-Abduction (Q5395670) (← links)
- Shape Analysis for Composite Data Structures (Q5429321) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465858) (← links)
- Programming Languages and Systems (Q5493400) (← links)
- Automatic Termination Proofs for Programs with Shape-Shifting Heaps (Q5756731) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899065) (← links)