Positions:
Conference (co-)chair:
-
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:
-
International
Symposium on
Logic-Based Program Synthesis and Transformation
(LOPSTR),
since 2011
-
International ACM SIGPLAN Symposium on
Principles and Practice of Declarative Programming
(PPDP),
since 2009
Program Committees:
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:
Invited Talks:
-
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
)
Ongoing Projects:
- SUPRA (Jan 1, 2012 - Dec 31, 2013) [Deutsch & Spanish Sc Research
Councils, Acciones Integradas Hispano-Alemanas]
- HATS
(March 1, 2009 - February 28, 2013) [EU IST FET
Program. Integrated Project #231620] "Highly Adaptable and
Trustworthy Software using Formal Methods"
Contributed Talks, Seminars, Posters:
-
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 Conference:Â Measuring 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:
-
July 2009: Department of Computer
Science, University of Verona, Italy
(with
Isabella Mastroeni
)
-
Aug-Nov 2004: Department of Computer
Science, University of Roskilde, Denmark
(with
John Gallagher
)
-
Sept-Dec 2003: Department of Computer
Science, University of New Mexico, US
(with
Deepak Kapur and Manuel Hermenegildo)
-
May-June 2002: School
of Computer Science and Software Engineering, Monash University, Australia
(with
Peter Stuckey and Maria
Garcia de la Banda)
-
March 2002: Institut
für Informatik und Praktische Mathematik, Christian-Albrechts-Universität
zu Kiel, Germany (with Michael
Hanus)
-
February 2002:SOCRATES Visit to Dipartamento
di Informatica, University of Pisa, Italy (with Giorgio
Levi)
-
March 2001: Futamura
Lab. at Department
of Information & Computer Science of Waseda
University, Tokyo (with Robert
Glück)
-
February-March 2000: Computer
Science Department
of
PSU, Portland
(with Sergio Antoy)
-
September 1999: Lehrstuhl
für Informatik II of RWTH
Aachen, Germany (with Michael
Hanus)
-
March - April 1999:Lehrstuhl
für Informatik II of RWTH
Aachen, Germany (with Michael
Hanus)
-
February - April 1998: Dipartmento
di Matematica e Informatica, Università degli Studi di Udine,
Italia (with
Moreno Falaschi)
Software: