COSTA: COSt and Termination Analyzer for Java Bytecode
The COSTA system is a collaborative effort of a number of people, including:
Core Contributors: Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, and Damiano Zanardini
Other Contributors: Diego Alonso, Jesús Correas, Miguel Gómez-Zamalloa, Israel Herraiz, Diana Ramírez, and Guillermo Román

Supporting Research Projects
The work in the COSTA system is funded in part by the IST program of the European Commission, Future and Emerging Technologies under the IST-15905 MOBIUS and IST-231620 HATS projects, by the Spanish Ministry of Education (MEC) under the TIN-2005-09207 MERIT and TIN-2008-05624 DOVES projects, and the Madrid Regional Government under the S-0505/TIC/0407 PROMESAS project.
Book Chapters :
  1. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. Resource Usage Analysis and its Application to Resource Certification. Foundations of Security Analysis and Design V, LNCS, Num. 5705, pages 258-288, Springer-Verlag, August 2009.

Conference Publications :
  1. E. Albert, P. Arenas, S. Genaim, Germán Puebla, Diana Ramírez. From Object Fields to Local Variables: a Practical Approach to Field-Sensitive Analysis. Static Analysis, 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings, Lecture Notes in Computer Science, Springer, 2010.

    CORE: A. Citeseer: position 145/1221 (top 12%), impact 1.35. CS Conf Rankings: 0.9. Average position: top 18%.

  2. E. Albert, S. Genaim, M. Gómez-Zamalloa. Parametric Inference of Memory Requirements for Garbage Collected Languages. 9th International Symposium on Memory Management (ISMM'10), ACM Press, June 2010. To appear.

    CORE: B. Citeseer: position 99/1221 (top 8%), impact 1.55. Average position: top 36%.

  3. E. Albert, P. Arenas, S. Genaim, G. Puebla. Closed-Form Upper Bounds in Static Cost Analysis. Journal of Automated Reasoning, To Appear, Springer, 2010. To appear.

    CORE: A. CiteseerX position (ave) top 33%, impact (ave) 0.292. Average position: top 26%.

  4. E. Albert, P. Arenas, D. Alonso, S. Genaim, G. Puebla. Asymptotic Resource Usage Bounds. The Seventh Asian Symposium on Programming Languages and Systems (APLAS'09), Lecture Notes in Computer Science, Springer, 2009.

  5. E. Albert, P. Arenas, S. Genaim, G. Puebla. Field-Sensitive Value Analysis by Field-Insensitive Analysis. 16th International Symposium on Formal Methods, FM'09, Lecture Notes in Computer Science, Springer, 2009.

  6. E. Albert, S. Genaim, M. Gómez-Zamalloa. Live Heap Space Analysis for Languages with Garbage Collection. ISMM'09: Proceedings of the 8th international symposium on Memory management, ACM Press, June 2009.

  7. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. Post-proceedings of Formal Methods for Components and Objects (FMCO'07), LNCS, Num. 5382, pages 113-133, Springer-Verlag, October 2008.

  8. E. Albert, P. Arenas, S. Genaim, G. Puebla. Cost Relation Systems: a Language-Independent Target Language for Cost Analysis. Spanish Conference on Programming and Computer Languages (PROLE'08), ENTCS, Elsevier, October 2008. To appear.

  9. E. Albert, P. Arenas, S. Genaim, G. Puebla. Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 15-17, 2008, Proceedings, Lecture Notes in Computer Science, Vol. 5079, pages 221-237, Springer-Verlag, July 2008.

  10. E. Albert, P. Arenas, M. Codish, S. Genaim, G. Puebla, D. Zanardini. Termination Analysis of Java Bytecode. Proceedings of the IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS), Lecture Notes in Computer Science, Vol. 5051, pages 2-18, Springer-Verlag, Berlin, June 2008.

  11. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. Removing Useless Variables in Cost Analysis of Java Bytecode. ACM Symposium on Applied Computing (SAC) - Software Verification Track (SV08), pages 368-375, ACM Press, New York, March 2008.

  12. E. Albert, S. Genaim, M. Gomez-Zamalloa. Heap Space Analysis for Java Bytecode. ISMM '07: Proceedings of the 6th international symposium on Memory management, pages 105-116, ACM Press, October 2007.

  13. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. Cost Analysis of Java Bytecode. 16th European Symposium on Programming, ESOP'07, Lecture Notes in Computer Science, Vol. 4421, pages 157-172, Springer, March 2007.

Workshop Publications :
  1. E. Albert, P. Arenas, S. Genaim, M. Gómez-Zamalloa, G. Puebla, D. Ramírez, G. Román, D. Zanardini. Termination and Cost Analysis with COSTA and its User Interfaces. Spanish Conference on Programming and Computer Languages (PROLE'09), ENTCS, Elsevier, September 2009.

  2. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Ramírez, D. Zanardini. Upper Bounds of Resource Usage for Java Bytecode using COSTA and its Web Interface. Workshop on Resource Analysis, September 2008.

  3. E. Albert, P. Arenas, S. Genaim, G. Puebla. Dealing with Numeric Fields in Termination Analysis of Java-like Languages. 10th Workshop on Formal Techniques for Java-like Programs, July 2008.

  4. S. Genaim, F. Spoto. Constancy Analysis. 10th Workshop on Formal Techniques for Java-like Programs, July 2008.

  5. E. Albert, P. Arenas, S. Genaim, G. Puebla and D. Ramírez, D. Zanardini. The COSTA Cost and Termination Analyzer for Java Bytecode and its Web Interface (Tool Demo). 22nd European Conference on Object-Oriented Programming, July 2008.

  6. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. COSTA: A Cost and Termination Analyzer for Java Bytecode. Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode), Electronic Notes in Theoretical Computer Science, Elsevier, April 2008. To appear.

  7. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. A Generic Framework for the Cost Analysis of Java Bytecode. Spanish Conference on Programming and Computer Languages (PROLE'07), September 2007.

  8. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. Applications of Static Slicing in Cost Analysis of Java Bytecode. 3rd International Workshop on Programming Language Interference and Dependence (PLID'07), August 2007.

  9. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. Experiments in Cost Analysis of Java Bytecode. ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'07), Electronic Notes in Theoretical Computer Science, Vol. 190, Issue 1, pages 67-83, Elsevier - North Holland, July 2007.

  10. E. Albert, P. Arenas, M. Codish, S. Genaim, G. Puebla, D. Zanardini. Termination Analysis of Java Bytecode. 9th International Workshop on Termination, WST'07, June 2007.
COSTA - version 0.2