![[DLSIIS]](http://lml.ls.fi.upm.es/~german/images/lsiisico.gif){kind=small}
Go back to my home page
The COSTA System, a cost and
termination analyzer for Java bytecode. My research profile according to
Google Scholar and
Microsoft Academic Search. The ACM Symposium on Principles of
Programming Languages (POPL 2013). January 23-25, 2013. Rome,
Italy. External Review Committee member. The HATS International School
on Formal Models for Objects and Components. 24-28 September 2012.
Bertinoro, Italy. Lecturer. 10th International conference on the
principles and practice of programming in java. 12-14 September,
2012. Grahamstown, South Africa The European Symposium on
Programming Languages (ESOP 2012). 24 March - 1 April 2012,
Tallin, Estonia. Program Committee member