Positions:


Invited Talks:

  • DICE-FOPARA'17: April 2017
  • PPDP'16: Testing of Concurrent and Imperative Software using CLP, September 2016
  • FM'15: Resource Analysis: From Sequential to Concurrent and Distributed Programs, June 2015
  • LPAR-18: Automatic Inference of Resource Consumption Bounds, March 2012 (slides)
  • WST10: From Termination to Cost (in Object-Oriented Languages) June 2009 (slides )
  • QA09: Upper Bounds on Memory Usage for Garbage-Collected Languages, June 2009 (slides )


Conference (co-)chair:

  • 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2016), Greece, June 2016
  • 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015)
  • 11th International Conference on integrated Formal Methods (iFM 2014)
  • ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM 2013)
  • 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012)
  • 4th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009), York, UK ,28th March 2009
  • 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2008), July, Valencia (Spain)

Steering Committees:

  • IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE), since 2015
  • International Conference on integrated Formal Methods (iFM), since 2015
  • ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), 2012-2016
  • International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), since 2011
  • International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP), 2009-2013, 2015-present


Program Committees:

    2017:
  • Second International Conference on Formal Structures for Computation and Deduction (FSCD 2017)
  • 21st International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-21)
  • 37th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2017)
  • PEPM 2017 Workshop on Partial Evaluation and Program Manipulation (PEPM 2017), Paris, France
  • 24th Static Analysis Symposium (SAS 2017), New York, USA
  • 13th International Conference on integrated Formal Methods (iFM 2017), Torino, Italy
  • 2016:
  • 12th International Conference on integrated Formal Methods (iFM 2016), Reykjavik, Iceland
  • 25th European Symposium on Programming (ESOP 2016), Eindhoven, The Netherlands
  • 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016), Shanghai, China
  • First International workshop on Resource Aware Computing (RAC2016) (RAC 2016), EIndhoven, N.L.
  • 2015:
  • 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina
  • 22nd International Static Analysis Symposium (SAS 2015), Saint-Malo, France
  • 31st International Conference on Logic Programming (ICLP 2015), Cork, Irland
  • ACM SIGPLAN 2015 Workshop on Partial Evaluation and Program Manipulation (PEPM 2015), Mumbai, India
  • Verified Software: Theories, Tools, and Experiments (VSTTE 2015), San Francisco, USA
  • Horn Clauses for Verification and Synthesis ( HCVS 2015), San Francisco, USA
  • FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS ( FOPARA 2015), London, UK
    2014:
  • 16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014), Canterbury, UK
  • 6TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE (SCC 2014), La Marsa, Tunisia
  • 23rd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2014), Leucorea Lutherstadt Wittenberg, Germany
  • 30th International Conference on Logic Programming (ICLP 2014), Vienna, Austria
  • Workshop on Horn Clauses for Verification and Synthesis (HCVS 2014), Vienna, Austria
  • 6th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2014), Vienna, Austria
  • Workshop on Termination (WST 2014), Vienna, Austria
  • Series of Meetings on Logical and Semantic Frameworks with Applications (LSFA 2014), Vienna, Austria
  • 2013:
  • 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2013)
  • 29th International Conference on Logic Programming (ICLP 2013), Istanbul, Turkey
  • 20th Static Analysis Symposium (SAS 2013), Seattle, USA
  • 10th International Conference on Integrating Formal Methods (iFM 2013), Turku, Finland
  • Fifteenth International Symposium on Practical Aspects of Declarative Languages (PADL 2013), Rome
  • 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013), Kiel
  • 8th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2013), Sao Paulo, Brazil
  • The 2013 International Symposium on Memory Management (ISMM 2013), Seattle (member of review committee)
  • 2012:
  • SAS'12: International Static Analysis Symposium (SAS 2012), France
  • The Turing Centenary Conference (Turing-100), June 22-25, Manchester, UK
  • ICLP'12: International Conference on Logic Programming (ICLP 2012), Budapest, Hungary
  • LPAR-18: Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18), Merida, Venezuela
  • 10th International conference on the principles and practice of programming in java (PPPJ'12), South Africa
  • 7th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2012), Tallin, Estonia
  • 2011:
  • 9th International Conference on the Principles and Practice of Programming in Java (PPPJ 2011)
  • 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
  • International Symposium on Memory Management (ISMM 2011) Member of the Review Committee
  • Eleventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2011), Venice, Italy
  • The Third International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2011), Venice, Italy
  • 6th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2011), Saarbrücken, Germany
  • 2010:
  • International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2010), July, Hagenberg, Austria
  • Tenth IEEE International Working Conference on Source Code Analysis and Manipulation, (SCAM 2010), September, Timisoara, Romania
  • 8th International Conference on the Principles and Practice of Programming in Java, (PPPJ 2010), September, Vienna (Austria)
  • 17th International Static Analysis Symposium, (SAS 2010), September, Perpignan (France)

  • 2009:
  • Formal Techniques for Java-like Programs (FTfJP 2009), July, Genova (Italy)
  • The 2009 International Symposium on Memory Management ( ISMM 2009) Member of the Review Committee
  • IX Jornadas sobre Programacion y Lenguajes ( PROLE 2009)

  • 2008:
  • 7th International Workshop on the Implementation of Logics (IWIL 2008), November, 2008, Doha (Qatar)
  • The 10th Workshop on Formal Techniques for Java-like Programs (FTfJP 2008), July, Paphos (Cyprus)
  • The 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2008), July, Valencia (Spain)
  • The 15th International Static Analysis Symposium ( SAS 2008)
  • The 8th International Workshop on Reduction Strategies in Rewriting and Programming ( WRS 2008)
  • VIII Jornadas sobre Programación y Lenguajes ( PROLE 2008)
  • ACM SAC track on Software Verification (SV'08)

  • 2007:
  • The 17th International Symposium on Logic-Based Program Synthesis and Transformation(LOPSTR 2007)
  • Spanish Conference on Programming and Computer Languages (PROLE 2007)

  • 2006:
  • Spanish Conference on Programming and Computer Languages (PROLE 2006)

  • 2005:
  • International Conference on Logic for Programming, Artificial Intelligence and Reasoning(LPAR 2005)
  • International Workshop on Software Techniques for Embedded and Pervasive Systems (STEPS'05) held in conjunction with Pervasive 2005

  • 2004:
  • 5th International Workshop on the Implementation of Logics (WIL'04) held in conjunction with the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR'2004
  • The 2nd Workshop on Constraint and Logic Programming in Security (COLOPS'04)
  • 3rd International Workshop on Multiparadigm Constraint Programming Languages (MultiCPL'04)
  • Workshop on SOftware ANalysis and Development for PervAsive Systems (SONDA'04)

  • 2003:
  • 4th International Workshop on the Implementation of Logics (WIL 2003)
  • International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2003)
  • International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2003)

  • 2002:
  • 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2002)
  • International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR 2002), co-located with the Static Analysis Symposium (SAS 2002)


Conference Organizing Committees:


PhD Students:

  • Miky Gomez-Zamalloa. Analysis and Transformation of Java Bytecode (October 2009)
  • Guillermo Roman Diez. Advanced Topics in Resource Analysis: Certification, Incrementality, Concurrency and Array-Sensitivity (December 2012) Co-advisor: Germán Puebla
  • Jose Miguel Rojas Siles. Test Case Generation in Object-Oriented Programming (December 2013) Co-advisor: Miguel Gomez-Zamalloa
  • Miguel Isabel. Test Case Generation of Concurrent Programs (ongoing) Co-advisor: Miguel Gomez-Zamalloa
  • Pablo Gordillo. Static Analysis of Concurrent Programs (ongoing) Co-advisor: Samir Genaim


Ongoing Projects:

  • SICOMORo-CM (Oct 1, 2014 - Oct 1, 2018) [CM Project]
  • ENVISAGE (Oct 1, 2013 - Oct 1, 2016) [EU Project FP7]
  • SUPRA (Jan 1, 2012 - Dec 31, 2013) [Deutsch & Spanish Sc Research Councils, Acciones Integradas Hispano-Alemanas]
  • VIVAC (Jan 1, 2013 - Dec 31, 2015) [Spanish Ministry of Science and Innovation TIN2012-38137-C02]
  • HATS (March 1, 2009 - February 28, 2013) [EU IST FET Program. Integrated Project #231620] "Highly Adaptable and Trustworthy Software using Formal Methods"


Lecturer at Summer Schools:

  • 14th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Executable Software Models (SFM, Bertinoro, Italy): Test-Case Generation by Symbolic Execution, June 2014 (slides )
  • HATS International School on Formal Models for Components and Objects (FMOC, Bertinoro, Italy): Automatic Inference of Bounds on Resource Consumption, September 2013


Contributed Talks, Seminars, Posters:

  • Seminar at Ecole Normale Superieure (ENS): SACO: A Static Analyzer for Concurrent Objects Sept 2013 (slides )
  • Seminar at Ecole Normale Superieure (ENS): COSTA: A COSt and Termination Analyzer for Java (bytecode) Programs Sept 2011 (slides )
  • Seminar at Complutense University of Madrid(DSIC): Research in the COSTA group July 2011 (slides )
  • Contributed talk at SAS'2010: From Object Fields to Local Variables: a Practical Approach to Field-Sensitive Analysis September 2010 (slides )
  • Contributed talk at ISMM09: Live Heap Space Analysis for Languages with Garbage Collection, June 2009 (slides )
  • Contributed talk at SCAM08: Modular Decompilation of Low-Level Code by Partial Evaluation, September 2008 (slides)
  • Contributed talk at FTfJP08: Dealing with numeric fields in termination analysis of java-like languages, June 2008 (slides )
  • Contributed talk at SAC08: Removing Useless Variables in Cost Analysis of Java Bytecode, March 2008 (slides )
  • Poster at ICLP'05: A Generic Framework for the Analysis and Specialization of Logic Programs, October 2005 (slides)
  • Contributed talk at LOPSTR'05: Non-Leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates, September 2005 (slides)
  • Contributed talk at LPAR'04: Abstraction-Carrying Code, March 2005 (slides)
  • Contributed talk at IWIL'04: A Partial Deducer Assisted by Predefined Assertions and a Backwards Analyzer, March 2005 (slides)
  • Seminar at Copenhagen Programming Language Seminar (COPLAS) : Abstraction-Carrying Code, November 2004 (slides)
  • Seminar at RUC Datalogi Research Seminars: Abstraction-Carrying Code, October 2004 (slides)
  • Contributed talk at SMC'04: Experiments in Abstract Interpretation-based Code Certification for Pervasive Systems October 2004 (abstract)
  • Contributed talk at SONDA'04: Abstract Interpretation based Code Certification for Pervasive Systems: Preliminary Experiments, August 2004 (slides)
  • Contributed talk at COCV'04: An Abstract Interpretation-based Approach to Mobile Code Safety , April 2004 (abstract)
  • Contributed talk at Appia-Gulp-Prode'2002: AÂ Deterministic Operational Semantics for Functional Logic Programs, September 2002 (slides)
  • Seminar at Institut für Informatik und Praktische Mathematik, University of Kiel: A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages, March 2002 (slides)
  • Seminar at Parma Computer Science Group, University of Parma: Measuring the Effectiveness of Narrowing-Driven Partial Evaluation, March 2002 (slides)
  • Contributed Talk at LOPSTR'01: Source-Level Abstract Profiling in Multi-Paradigm Declarative Languages, November 2001 (slides)
  • Contributed Talk at FLOPS'2001: A Practical Partial Evaluator for a Multi-Paradigm Declarative Language, March 2001 (slides)
  • Invited Talk at Futamura Lab: Partial Evaluation of Multi-Paradigm Declarative Languages, March 2001 (slides)
  • Contributed Talk at WFLP'00Â 9th International Workshop: A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation, September 2000
  • Contributed Talk at LOPSTR'00 Int'l ConferenceMeasuring the Effectiveness of Partial Evaluation, July 2000
  • Contributed Talk at LPAR'99 Int'l Conference: A Partial Evaluation Framework for Curry Programs, September 1999
  • Contributed Talk at WFLP'99 Int'l Workshop:Â Partial Evaluation of Residuating Functional Logic Programs, June 1999
  • Contributed Talk at Lehrstuhl für Informatik II of RWTH Aachen, Germany. Partial Evaluation of Functional Logic Programs, March 1999

Research visits:


Software:

Quick Links

Recent News