Positions:


Invited Talks:

  • ICST'20: Smart, and also reliable and gas-efficient, contracts, March 2020
  • ICLP'18: Avoiding redundancies in the exploration of concurrent programs (and its application to the verification of Software-Defined Networks), July 2018
  • ICE'18: Avoiding redundancies in the exploration of concurrent programs, June 2018
  • DICE-FOPARA'17: Resource Analysis of Distributed and Concurrent Systems, 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:

  • 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23), Alicante, Spain , May 2020
  • 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), 2015-2017
  • 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-2020


Program Committees:

    2021:
  • IEEE International Conference on Software Testing, Verification and Validation , (ICST 2021)
  • 33rd International Conference on Computer-Aided Verification, (CAV 2021)
  • 2020:
  • 29th European Symposium on Programming , (ESOP 2020)
  • IEEE International Conference on Software Testing, Verification and Validation , (ICST 2020)
  • 15th International Symposium on Functional and Logic Programming , (FLOPS 2020)
  • The 31st International Conference on Concurrency Theory , (CONCUR 2020)
  • International Symposium on Logic-Based Program Synthesis and Transformation, (LOPSTR 2020)
    • 2019:
    • The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation , (PEPM 2019)
    • 23rd International Symposium on Formal Methods, (FM 2019)
    • 2018:
    • The 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018), 3-6 September 2018, Frankfurt, Germany.
    • 14th International Conference on integrated Formal Methods (iFM 2018), 5-7 September 2018, Maynooth, Ireland.
    • 16th International Conference on Software Engineering and Formal Methods (SEFM 2018), June 27-29 2018, Toulouse, France.
    • 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 (October 2020) Co-advisor: Miguel Gomez-Zamalloa
    • Pablo Gordillo. Static Analysis of Concurrent Programs (February 2020) Co-advisor: Samir Genaim
    • Alicia Merayo. Ongoing
    • Clara Rodriguez. Ongoing


    Ongoing Projects:

    • LoBaSS (Jan 1, 2016 - Dec 31, 2018) [Spanish Ministry of Science and Innovation TIN2015-69175-C4-2-R]
    • 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