Travelled to:1 × France
1 × India
1 × United Kingdom
2 × Germany
2 × USA
Collaborated with:A.Miné V.D'Silva ∅ P.M.0001 M.Hassan M.Eilers J.Dohrau A.J.Summers S.Münger
Talks about:abstract (7) domain (4) interpret (3) termin (3) infer (3) function (2) condit (2) prove (2) rank (2) framework (1)
Person: Caterina Urban
DBLP: Urban:Caterina
Contributed to:
2015
2015
2015
2015
2014
2014201320182018Wrote 10 papers:
- CADE-2015-DSilvaU #abstract interpretation #automation #deduction
- Abstract Interpretation as Automated Deduction (VD, CU), pp. 450–464.
- CAV-2015-DSilvaU #termination
- Conflict-Driven Conditional Termination (VD, CU), pp. 271–286.
- TACAS-2015-Urban #abstract domain #contest #named #termination
- FuncTion: An Abstract Domain Functor for Termination — (Competition Contribution) (CU), pp. 464–466.
- VMCAI-2015-UrbanM #abstract interpretation #proving
- Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation (CU, AM), pp. 190–208.
- ESOP-2014-UrbanM #abstract domain #ranking
- An Abstract Domain to Infer Ordinal-Valued Ranking Functions (CU, AM), pp. 412–431.
- SAS-2014-UrbanM #abstract domain #proving #termination
- A Decision Tree Abstract Domain for Proving Conditional Termination (CU, AM), pp. 302–318.
- SAS-2013-Urban #abstract domain #ranking
- The Abstract Domain of Segmented Ranking Functions (CU), pp. 43–62.
- ESOP-2018-UrbanM #abstract interpretation #framework
- An Abstract Interpretation Framework for Input Data Usage (CU, PM0), pp. 683–710.
- CAV-2018-DohrauSUM0 #array #source code
- Permission Inference for Array Programs (JD, AJS, CU, SM, PM0), pp. 55–74.
- CAV-2018-HassanUE0 #python #type inference
- MaxSMT-Based Type Inference for Python 3 (MH, CU, ME, PM0), pp. 12–19.