Elvira's Homepage

Recent Posts

COSTA web site

Posted on July 10th, 2009

Visit COSTA, our COST and Termination analyzer for sequential Java Bytecode. There is a separate web interface to use our solver of recurrence equations. You can also find information on the members of the COSTA team. More..
LOPSTR 2012

Posted on August, 2011
I will chair the 22nd International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2012. Learn more here.
PEPM 2013

Posted on Dec, 2011

Shin-Cheng Mu and I will co-chair the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, to be held in Rome in January 2013. More details here..