Positions:
Conference (co-)chair:
-
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)
Committees:
-
International ACM SIGPLAN Symposium on
Principles and Practice of Declarative Programming
(PPDP),
Member of Steering Committee
-
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)
-
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)
-
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)
-
The 17th International Symposium on Logic-Based Program Synthesis and
Transformation(LOPSTR
2007)
-
Spanish Conference on Programming and Computer Languages
(PROLE 2007)
-
Spanish Conference on Programming and Computer Languages
(PROLE 2006)
-
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
- 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)
-
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)
-
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:
Talks, Seminars, Posters:
-
Invited talk at
QA09:
Upper Bounds on Memory Usage for Garbage-Collected Languages,
June 2009 (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: