[Papers]  [Drafts]  [Talks]  [Tools]  [Theses]  [Teaching]                                           Dulma Rodriguez



I am a Software Engineer at Facebook in London. Previously, I was a R&D Engineer at Monoidics. And before that, I did my PhD at the University of Munich as a fellow of the DFG graduate school PUMA.

My research interests include static analysis, type systems for resource analysis, lambda calculus and type theory, theorem provers, separation logic, etc.


Papers


Selected Talks

August 31, 2010 in Dagstuhl, Germany ( Modelling, Controlling and Reasoning About State)
Type inference for RAJA - a static heap space analysis of OO-programs.

June 18, 2009 in Madrid (4th Annual MOBIUS Meeting)
New Results on the Implementation of Resource Aware JAva (RAJA)

May 15, 2009 in Aussois, France (Types 2009)
Efficient Type-Checking for Amortised Heap-Space Analysis

June 17, 2008 in Munich (3rd Annual MOBIUS Meeting)
Implementation of Resource Aware JAva (RAJA)

March 27, 2008 in Turin (Types 2008)
Algorithmic Subtyping for Higher Order Bounded Quantification Revisited

October 11, 2007 in Timmendorfer Strand (KPS'07)
Algorithmic Subtyping for Higher Order Bounded Quantification

April 20, 2006 in Nottingham (Types 2006)
Verification of Iteration Schemes for Nested Datatypes in Coq



Tools



Theses and technical reports


Teaching

Theoretical Computer Science (Informatik IV) by Fred Kröger, Summer 2007, LMU, Munich
- tutorial section
- grading of assignments

HOME Pages: TCS    Institut    LMU


Dulma Rodriguez