BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Urban:Caterina

Contributed to:

CADE 20152015
CAV 20152015
TACAS 20152015
VMCAI 20152015
ESOP 20142014
SAS 20142014
SAS 20132013
ESOP 20182018
CAV (2) 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.