Dulma Rodriguez

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 1

Top Topics

Linear Constraints

Top Venues

Ludwig Maximilians University Munich (PHD)

Education History

Ludwig Maximilians University Munich

PHD

Publications

Cristiano Calcagno, Dino Distefano, Jérémy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter W. O'Hearn, Irene Papakonstantinou, Jim Purbrick, Dulma Rodriguez
Moving Fast with Software Verification. NFM (2015)
Martin Hofmann, Dulma Rodriguez
Automatic Type Inference for Amortised Heap-Space Analysis. ESOP (2013)
Martin Hofmann, Dulma Rodriguez
Linear Constraints over Infinite Trees. LPAR (2012)
Dulma Rodriguez
A Type System for Amortised Heap-Space Analysis of Object-Oriented Programs. AlgoSyn (2010)
Martin Hofmann, Dulma Rodriguez
Membership Checking in Greatest Fixpoints Revisited. FICS (2009)
Martin Hofmann, Dulma Rodriguez
Efficient Type-Checking for Amortised Heap-Space Analysis. CSL (2009)
Andreas Abel, Dulma Rodriguez
Syntactic Metatheory of Higher-Order Subtyping. CSL (2008)