Toggle navigation
Caterina Urban
Home
Research
Publications
Talks
People
Teaching
Software
Contact
1
MaxSMT-Based Type Inference for Python 3
Permission Inference for Array Programs
An Abstract Interpretation Framework for Input Data Usage
Precise Widening Operators for Proving Termination by Abstract Interpretation
Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer
Synthesizing Ranking Functions from Bits and Pieces
Abstract Interpretation as Automated Deduction
Conflict-Driven Conditional Termination
FuncTion: An Abstract Domain Functor for Termination (Competition Contribution)
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation
<
>
×
Cite