Dulma Rodriguez

According to our database, Dulma Rodriguez authored at least 8 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Moving Fast with Software Verification.

Cristiano Calcagno, Dino Distefano, Jérémy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter W. O'Hearn, Irene Papakonstantinou, Jim Purbrick, Dulma Rodriguez

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2013

Automatic Type Inference for Amortised Heap-Space Analysis.

Martin Hofmann, Dulma Rodriguez

Proceedings of the Programming Languages and Systems, 2013

2012

Amortised resource analysis for object-oriented programs.

Dulma Rodriguez

PhD thesis, 2012

Linear Constraints over Infinite Trees.

Martin Hofmann, Dulma Rodriguez

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

2010

A Type System for Amortised Heap-Space Analysis of Object-Oriented Programs.

Dulma Rodriguez

Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010

2009

Membership Checking in Greatest Fixpoints Revisited.

Martin Hofmann, Dulma Rodriguez

Proceedings of the 6th Workshop on Fixed Points in Computer Science, 2009

Efficient Type-Checking for Amortised Heap-Space Analysis.

Martin Hofmann, Dulma Rodriguez

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2008

Syntactic Metatheory of Higher-Order Subtyping.

Andreas Abel, Dulma Rodriguez

Proceedings of the Computer Science Logic, 22nd International Workshop, 2008