Curriculum Vitae et Studiorum of Roberto Bagnara

Table of Contents

• 1  Personal Data
  • 1.1  Addresses
  • 1.2  Current professional position
  • 1.3  Degrees
  • 1.4  Foreign languages spoken and written
• 2  Curriculum vitae et studiorum
• 3  Teaching Activities
  • 3.1  Courses Taught
  • 3.2  Teaching Collaborations
  • 3.3  Activity as Advisor and Co-Advisor for M.Sc. (Laurea) Theses
  • 3.4  Ph.D. Schools
  • 3.5  Other Teaching Activities
• 4  Research Activities
  • 4.1  Research Interests
  • 4.2  Research Periods and Activities Outside Italy
  • 4.3  Seminars
  • 4.4  Program Committees
  • 4.5  Organization of Schools, Conferences, Workshops and Seminars
  • 4.6  Editorial Activities
  • 4.7  Referee Activity for International Journals
  • 4.8  Referee Activity for International Conferences
  • 4.9  Participation to and Coordination of Research Projects
    • 4.9.1  Current and Past Projects
    • 4.9.2  Project Proposals
• 5  Publications
  • 5.1  International Journals
  • 5.2  Proceedings of International Conferences
  • 5.3  Proceedings of International Workshops
  • 5.4  Ph.D. Thesis
  • 5.5  Technical Reports
  • 5.6  Papers Submitted to International Journals
  • 5.7  Other Writings

1  Personal Data

1.1  Addresses

1.2  Current professional position

1.3  Degrees

• Non-graduate Engineer for Telecommunications, Industrial Technical Institute of Cesena (FO), Italy, 1982.
  
  
• M.Sc. in Computer Science italian(Laurea in Scienze dell'Informazione) with Full Marks and Honours, University of Pisa, Italy, 1992.
  
  
• Ph.D. in Computer Science italian(Dottorato di ricerca in Informatica), Department of the Computer Science, University of Pisa, Italy, 1997.

1.4  Foreign languages spoken and written

2  Curriculum vitae et studiorum

1978--1982:

Non-graduate Engineer for Telecommunications, Industrial Technical Institute of Cesena (FO), Italy.

1983--1984:

Italian military service.

1984--1987:

Technical Assistant at the Physics Department (Medical Physics Group) of the University of Bologna, Italy.

1988--1989:

Technical Student Fellow (1988) and Consultant (1989) at CERN, Data Handling Division, Online Computing Group, Readout Architecture Section, Geneva, Switzerland.

1989--1992:

M.Sc. in Computer Science italian(Laurea in Scienze dell'Informazione) with Full Marks and Honours, University of Pisa, Italy.

1992--1996:

Research activity as PhD student at the Computer Science Department of the University of Pisa, Italy. Doctorate degree officially awarded on September 8, 1997.

1997:

Research fellow at the School of Computer Studies of the University of Leeds, United Kingdom.

1997-2001

Research and teaching activity as Assistant Professor italian(Ricercatore) at the Department of Mathematics of the University of Parma, from November 1st, 1997 to December 15th, 2001.

Presently:

Since December 16th, 2001, research and teaching activity as Associate Professor at the Department of Mathematics of the University of Parma, Italy. Among other things, he contributed to the creation of the Degree in Computer Science italian(Informatica) of the University of Parma.

3  Teaching Activities

3.1  Courses Taught

1. ``Informatica'' (Computer Science), degree in ``Biotecnologies'', academic years 1999--2000 and 2000--2001.
2. ``Laboratorio di informatica'' (Laboratory of Computer Science), degree in ``Mathematics'', academic year 2000--2001.
3. ``Programmazione (metodi avanzati)'' (Advanced Programming Techniques), degree in ``Mathematics'', academic years 2000--2001 and 2002--2003.
4. ``Programmazione 3'' (3rd course on Programming), corsi di laurea in ``Mathematics'' and ``Mathematics and Computer Science'', academic year 2002--2003.
5. ``Scrittura matematica e informatica'' (Writing for Mathematics and Computer Science), corsi di laurea in ``Mathematics'' and ``Mathematics and Computer Science'', academic year 2002--2003.
6. ``Programmazione I'' (1st course on Programming), corsi di laurea in ``Mathematics'', ``Mathematics and Computer Science'' e ``Mathematics for Technology and Finance'', academic year 2001--2002.
7. ``Fondamenti dell'informatica'' (Foundations of Computer Science), corsi di laurea in ``Mathematics'' e ``Mathematics and Computer Science'', academic year 2003--2004.
8. ``Fondamenti dell'informatica'' (Foundations of Computer Science), degree in ``Informatica'', academic years 2002--2003 and 2004--2005.
9. ``Scrittura matematica e informatica'' (Writing for Mathematics and Computer Science), degree in ``Informatica'', academic years 2003--2004 and 2004--2005.
10. ``Analisi e verifica del software'' (Analysis and Verification of Software), degree in ``Informatica'', academic years 2003--2004 and 2004--2005.

3.2  Teaching Collaborations

1. Lectures (8 hours) on The Compilation of Prolog and the Warren Abstract Machine in the course on ``Linguaggi Speciali di Programmazione'' (Special-Purpose Programming Languages) taught by Prof. Giorgio Levi, degree in ``Computer Science'' of the Universityof Pisa, academic years 1990--1991, 1991--1992, 1992--1993 and 1993--1994.
   
   
2. Exercise classes for the course on ``Linguaggi Formali e Compilatori'' (Formal Languages and Compilers) taught by Prof. Pierpaolo Degano, degree in ``Computer Science'' of the Universityof Pisa, academic year 1995--1996,
   
   
3. Theory and exercise classes for the course on ``Teoria ed applicazioni delle macchine calcolatrici'' (Theory and Application of Computing Machines) taught by Prof. Gianfranco Rossi, degree in ``Environmental Sciences'' of the University of Parma, academic years 1997--1998, 1998--1999, 1999--2000 and 2000--2001.
   
   
4. Theory and exercise classes for the course on ``Fondamenti dell'informatica'' (Foundations of Computer Science) taught by Prof. Grazia Lotti, degree in ``Mathematics'' of the University of Parma, academic years 1998--1999 and 1999--2000.
   
   
5. Classes and support to student projects for the course on ``Metodologie di programmazione'' (Programming Methodologies) taught by Dr. Enea Zaffanella, degree in ``Conputer Science'' of the University of Parma, academic years 2003--2004 and 2004--2005.

3.3  Activity as Advisor and Co-Advisor for M.Sc. (Laurea) Theses

1. Motta, M. Un'implementazione efficiente ed innovativa del dominio Pos per l'analisi statica di programmi logici (An Efficient and Innovative Implementation of the Pos Domain for the Static Analysis of Logic Programs). Laurea thesis in ``Computer Science''. Advisor: G. Levi; co-advisor: R. Bagnara. University of Pisa. Academic year 1994--1995.
2. Scudellari, M. C. Analisi bottom-up di programmi logici con vincoli basata su trasformazioni Magic-Set (Bottom-Up Analysis of Constraint Logic Programs Based on Magic-Set Transformations). Laurea thesis in ``Computer Science''. Advisor: G. Levi; co-advisor: R. Bagnara. University of Pisa. Academic year 1994--1995.
3. Castellacci, B. Implementazione di un'analisi di tipi per programmi logici basata su grammatiche regolari (Implementation of a Type Analysis for Logic Programs Based on Regular Grammars). Laurea thesis in ``Computer Science''. Advisor: G. Levi; co-advisor R. Bagnara. University of Pisa. Academic year 1995--1996.
4. Stazzone, A. Annotazione e trasformazione di programmi logici con vincoli (Annotation and Transformation of Constraint Logic Programs). Laurea thesis in ``Mathematics''. University of Parma, Advisor: R. Bagnara; co-advisor: E. Zaffanella. Academic year 1999--2000.
5. Ricci, E. Rappresentazione e manipolazione di poliedri convessi per l'analisi e la verifica di programmi (Representation and Manipulation of Convex Polyhedra for Program Analysis and Verification). Laurea thesis in ``Mathematics''. University of Parma. Advisor: R. Bagnara; co-advisors: C. Medori ed E. Zaffanella. Academic year 2001--2002.
6. Zolo, T. Risoluzione automatica di relazioni di ricorrenza (Automatic Solution of Recurrence Relations). Laurea thesis in ``Mathematics''. University of Parma. Advisor: R. Bagnara; co-advisors: A. Zaccagnini ed E. Zaffanella. Academic year 2001--2002.
7. Pescetti, A. L'algoritmo di Zeilberger per la risoluzione automatica di ricorrenze (Zeilberger's Algorithm for the Automatic Solution of Recurrences). Laurea thesis in ``Mathematics''. University of Parma. Advisor: R. Bagnara; co-advisor: A. Zaccagnini. Academic year 2004--2005.

3.4  Ph.D. Schools

1. Since 2000, teacher of the Ph.D. School (Dottorato di ricerca) in ``Matematica e Statistica per le Scienze Computazionali'' (MASSC) (Mathematics and Statistics for the Computational Sciences), Dipartimento of Mathematics, University of Milan.

3.5  Other Teaching Activities

1. Lectures on fundamentals of Computer Science for the specialization course for high-school teachers of Mathematics organized by the Faculty of Sciences of the University of Parma, academic years 1997--1998 and 1998--1999.
   
   
2. A computer and computing primer for the teachers of the maternal and primary schools of Suvereto, Italy, 1999.

4  Research Activities

4.1  Research Interests

• Semantics of programming languages
• Formal methods for the analysis and verification of programs
• Abstract interpretation
• Advanced compilation techniques
• Logic programming and constraint logic programming
• Computer algebra

4.2  Research Periods and Activities Outside Italy

1. Technical Student Fellow at CERN (European Organization for Nuclear Research), Geneva, Switzerland, January--September 1988.
   
   
2. Consultant at CERN (European Organization for Nuclear Research), Geneva, Switzerland, July--August 1989.
   
   
3. Visiting researcher at the Department of Computer Science of the Monash University, Melbourne, Australia, for a joint research with the group of Prof. Kim Marriott, January--February 1995.
   
   
4. Research fellow at the School of Computer Studies of the University of Leeds, UK, January--October 1997.
   
   
5. Starting from 1998, numerous visits (at least one week per year) the School of Computing of the University of Leeds for joint research periods with Dr Patricia M. Hill.
   
   
6. Withing the framework of exchanges between Italy and Spain, spent one week at the Facultad de Informática, Universidad Politécnica de Madrid for joint research with the group of Prof. Manuel Hermenegildo, January--February 2001.
   
   
7. In the framework of the bilateral project on ``Advanced Development Environments for Logic Programs'' (Azioni Integrate Italia-Spagna 2001, code IT229), three one-week visits at the Facultad de Informática, Universidad Politécnica de Madrid for joint research with the group of Prof. Manuel Hermenegildo, November 2001, September 2002 and May 2003.
   
   
8. Professeur invité at the Département de Mathématiques et Informatique of the Université de La Réunion, S^t Denis (Indian Ocean, France), May 2002.

4.3  Seminars

1. ``Introduction to the Warren Abstract Machine'', Dipartimento di Informatica, University of Pisa, March 1991.
   
   
2. ``Data-Flow Analysis for Constraint Logic-Based Languages'', School of Computer Studies, University of Leeds, March 1997.
   
   
3. ``Analisis eficiente de informacion estructural para lenguajes de programacion logica y de restricciones'', Departamento de Inteligencia Artificial, Universidad Politécnica de Madrid, January 2001.
   
   
4. ``Widening Sharing'', Departamento de Inteligencia Artificial, Universidad Politécnica de Madrid, January 2001.
   
   
5. ``The Parma Polyhedra Library'', Institut de Recherche en Mathématiques et Informatique Appliquées, Université de La Réunion, May 2002.
   
   
6. ``Symbolic Computation Support for Complexity Analysis and the PURRS Project'', Facultad de Informática, Universidad Politécnica de Madrid, May 2003.
   
   
7. ``Convex Polyhedra for the Analysis and Verification of Hardware and Software Systems: the `Parma Polyhedra Library'', Dipartimento di Matematica, University of Parma, December 2003.
   
   
8. ``Representation and Manipulation of Not Necessarily Closed Convex Polyhedra'', Dipartimento di Matematica, University of Parma, February 2004.
   
   
9. ``Abstract Interpretation and the Parma Polyhedra Library: from Theory to Practice and Vice Versa'', Dipartimento di Informatica, Sistemi e Produzione, University of Roma ``Tor Vergata'', November 2004.

4.4  Program Committees

1. Program Committee member for the ``2000 Joint Conference on Declarative Programming'', La Habana, Cuba, December 4--7, 2000.
   
   
2. Program Committee member for the 13th ``Workshop on Logic Programming Environments'', Mumbai, India, December 8, 2003.
   
   
3. Member of the comité de lecture of the 13th edition of the ``Journées Francophones de Programmation en Logique et de programmation par Contraintes'' (JFPLC 2004), Angers, France, June 21--23, 2004,
   
   
4. Program Committee member for the 14th ``International Symposium on Logic-based Program Synthesis and Transformation'' (LOPSTR'05), London, UK, September 7--9, 2005.
   
   
5. Program Committee member for the 21st ``International Conference on Logic Programming'' (ICLP'05), Barcelona, Spain, October 2--5, 2005.

4.5  Organization of Schools, Conferences, Workshops and Seminars

1. Workshop Chair for the ``Joint International Symposia SAS'98 and PLILP-ALP'98'', Pisa, Italy, September 14--18, 1998.
   
   
2. Organizer, with Patricia M. Hill of the University of Leeds of the ``Second International Summer School on Computational Logic'', Maratea, Italy, August 25--30, 2002 (http://www.cs.unipr.it/ISCL02).
   
   
3. Organizer of a cycle of seminars on ``Convex Polyhedra for the Analysis and Verification of Hardware and Software Systems'', Dipartimento di Matematica, University of Parma, November 2003 --- February 2004 (http://www.cs.unipr.it/ppl/seminars_2003_2004).
   
   
4. Member of the organizing committee of CILC'04 -- Convegno Italiano di Logica Computazionale, 19th annual meeting of the ``Associazione Italiana Gruppo Ricercatori e Utenti di Logic Programming'' (GULP), Dipartimento di Matematica, University of Parma, June 16--17, 2004 (http://www.cs.unipr.it/CILC04).

4.6  Editorial Activities

1. Implementation Area Editor and responsible for the Net Talk section of the ALP newsletter, the bulletin of the Association for Logic Programming.

4.7  Referee Activity for International Journals

1. Journal of Logic Programming;
   
   
2. Journal of Functional and Logic Programming;
   
   
3. Information Processing Letters.

4.8  Referee Activity for International Conferences

1. GULP'93, ``Ottavo Convegno sulla Programmazione Logica'', Gizzeria Lido, Italy, June 1993.
   
   
2. AMAST'93, ``Algebraic Methodology and Software Technology'', Enschede, Nederland, June 1993.
   
   
3. WSA'93, ``3rd International Workshop on Static Analysis'', Padua, Italy, September 1993.
   
   
4. ILPS'93, ``International Logic Programming Symposium'', Vancouver, British Columbia, Canada, October 1993.
   
   
5. AI*IA'93, ``Terzo Congresso dell'Associazione Italiana per l'Intelligenza Artificiale'', Torino, Italy, October 1993.
   
   
6. SAC'94, ``ACM Symposium on Applied Computing'', Phoenix, Arizona, USA, March 1994
   
   
7. ICLP'94, ``International Conference on Logic Programming'', S. Margherita Ligure, Italy, June 1994.
   
   
8. PLILP'94, ``Programming Languages Implementation and Logic Programming'', Madrid, Spain, September 1994.
   
   
9. ALP'94, ``Third International Conference on Algebraic and Logic Programming'', Madrid, Spain, September 1994.
   
   
10. GULP-PRODE'94, ``Joint Conference on Declarative Programming'', Peñíscola, Spain, September 1994.
    
    
11. SAS'94, ``International Static Analysis Symposium'', Namur, Belgium, September 1994.
    
    
12. PLILP'95, ``International Symposium on Programming Languages, Implementations, Logics and Programs'', Utrecht, Nederland, September 1995.
    
    
13. ILPS'95, ``International Logic Programming Symposium'', Portland, Oregon, USA, December 1995.
    
    
14. ESOP'96, ``European Symposium on Programming'', Linköping, Sweden, April 1996.
    
    
15. ECAI'96, ``European Conference on Artificial Intelligence'' Budapest, Hungary, August 1996.
    
    
16. PLILP'96, ``Eighth International Symposium on Programming Languages, Implementations, Logics, and Programs'', Aachen, Germany, September 1996.
    
    
17. SAS'96, ``Third International Static Analysis Symposium'', Aachen, Germany, September 1996.
    
    
18. LOPSTR'97, ``Seventh International Workshop on Logic Program Synthesis and Transformation'', Leuven, Belgium, July 1997.
    
    
19. JICSLP'98, ``Joint International Conference and Symposium on Logic Programming'' Manchester, UK, June 1998.
    
    
20. SAS'98, ``Fifth International Static Analysis Symposium'', Pisa, Italy, September 1998.
    
    
21. PLILP/ALP'98, ``Tenth International Symposium on Programming Languages, Implementations, Logics and Programs'' and ``Seventh International Conference on Algebraic and Logic Programming'', Pisa, Italy, September 1998.
    
    
22. SAS'99, ``International Static Analysis Symposium'', Venice, Italy, September 1999.
    
    
23. PPDP'99, ``International Conference on Principles and Practice of Declarative Programming'', Paris, France, September--October 1999.
    
    
24. SAS 2000, ``Seventh International Static Analysis Symposium'', Santa Barbara, USA, June--July 2000.
    
    
25. ESSLLI-2000, ``Twelfth European Summer School in Logic, Language and Information'', student session, Birmingham, UK, August 2000.
    
    
26. APPIA-GULP-PRODE'00, ``2000 Joint Conference on Declarative Programming'', La Havana, Cuba, December 2000.
    
    
27. LPAR 2000, ``Seventh International Conference on Logic for Programming and Automated Reasoning'', Réunion Island, Indian Ocean, France, November 2000.
    
    
28. LPAR 2001, ``Eighth International Conference on Logic for Programming, Artificial Intelligence and Reasoning'', La Havana, Cuba, December 2001.
    
    
29. SAS'02, ``Ninth International Static Analysis Symposium'', Madrid, Spain, September 2002.
    
    
30. ESOP'03, ``European Symposium on Programming'', Warsaw, Poland, April 2003.
    
    
31. SAS'03, ``Tenth International Static Analysis Symposium'', San Diego, California, USA, June 2003.
    
    
32. PSI'03, ``Perspectives of System Informatics'', Novosibirsk, Akademgorodok, Russia, July 2003.
    
    
33. APPIA-GULP-PRODE'03, ``2003 Joint Conference on Declarative Programming'', Reggio Calabria, Italy, September 2003.
    
    
34. WLPE'03, ``13th Workshop on Logic Programming Environments'', Mumbai, India, December 2003.
    
    
35. VMCAI'04, ``Fifth International Conference on Verification, Model Checking and Abstract Interpretation'', Venice, Italy, January 2004.
    
    
36. ESOP'04, ``European Symposium on Programming'', Barcelona, Spain, March--April 2004.
    
    
37. SAS'04, ``Eleventh International Static Analysis Symposium'', Verona, Italy, August 2004.
    
    
38. CAV'05, ``Seventeenth International Conference on Computer Aided Verification'', The University of Edinburgh, Scotland, UK, July 2005.

4.9  Participation to and Coordination of Research Projects

4.9.1  Current and Past Projects

1. Participant to the ESPRIT Basic Research Action Project n. 6707, ``ParForce''.
   
   
2. Participant to the italian national project on ``Automatic Program Certification by Abstract Interpretation'' (1999--2001, national coordinator: Prof. Roberto Giacobazzi, University of Verona).
   
   
3. Participant to the italian national project on ``Abstract Interpretation, Type Systems and Control-Flow Analysis'' (2000--2002, national coordinator: Prof. Giorgio Levi, University of Pisa).
   
   
4. Coordinator for Italy of the bilateral project on ``Advanced Development Environments for Logic Programs'' (Azioni Integrate Italia-Spagna 2001, code IT229, 2001--2003, coordinator for Spain: Prof. Germán Puebla Sánchez, Facultad de Informática, Universidad Politécnica de Madrid).
   
   
5. Participant to the italian national project on ``Aggregate- and Number-Reasoning for Computing: from Decision Algorithms to Constraint Programming with Multisets, Sets, and Maps'' (2001--2003, national coordinator: Prof. Domenico Cantone, University of Catania).
   
   
6. Coordinator of the Parma research unit for the italian national project on ``Constraint-Based Verification of Reactive Systems'' (2002--2004, national coordinator: Prof. Maurizio Gabbrielli, University of Bologna).
   
   
7. Coordinator of the Parma research unit for the italian national project on ``AIDA --- Abstract Interpretation: Design and Applications'' (2004--2006, national coordinator: Prof. Roberto Giacobazzi, University of Verona).

4.9.2  Project Proposals

1. Participant, as national representative for Italy and coordinator (with François Irigoin, École des Mines de Paris) of the workpackage on Numerical Abstract Domains, to the proposal IST (VI programma quadro) titled ``AINoE: Network of Excellence on Abstract Interpretation'' (004456).

5  Publications

[]

The publications listed here, with the exception of some technical reports, are available at http://www.cs.unipr.it/ bagnara. Technical reports are available at http://www.cs.unipr.it.

5.1  International Journals

[1]

Bagnara, R. A unified proof for the convergence of Jacobi and Gauss-Seidel methods. SIAM Review 37, 1 (1995), 93--97.

[2]

Bagnara, R. A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages. Science of Computer Programming 30, 1--2 (1998), 119--155.

[3]

Bagnara, R., Hill, P. M., and Zaffanella, E. Set-sharing is redundant for pair-sharing. Theoretical Computer Science 277, 1-2 (2002), 3--46.

[4]

Hill, P. M., Bagnara, R., and Zaffanella, E. Soundness, idempotence and commutativity of set-sharing. Theory and Practice of Logic Programming 2, 2 (2002), 155--201.

[5]

Zaffanella, E., Hill, P. M., and Bagnara, R. Decomposing non-redundant sharing by complementation. Theory and Practice of Logic Programming 2, 2 (2002), 233--261.

[6]

Hill, P. M., Zaffanella, E., and Bagnara, R. A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages. Theory and Practice of Logic Programming 4, 3 (2004), 289--323.

[7]

Bagnara, R., Gori, R., Hill, P. M., and Zaffanella, E. Finite-tree analysis for constraint logic-based languages. Information and Computation 193, 2 (2004), 84--116.

[8]

Bagnara, R., Zaffanella, E., and Hill, P. M. Enhanced sharing analysis techniques: A comprehensive evaluation. Theory and Practice of Logic Programming 5, 1&2 (2005), 1--43.

[9]

Mesnard, F., and Bagnara, R. cTI: A constraint-based termination inference tool for ISO-Prolog. Theory and Practice of Logic Programming 5, 1&2 (2005), 243--257.

[10]

Bagnara, R., Hill, P. M., Ricci, E., and Zaffanella, E. Precise widening operators for convex polyhedra. Science of Computer Programming (2005). To appear.

[11]

Bagnara, R., Hill, P. M., and Zaffanella, E. Not necessarily closed convex polyhedra and the double description method. Formal Aspects of Computing (2005). To appear.

5.2  Proceedings of International Conferences

[12]

Perrin, Y., Bagnara, R., Berners-Lee, T. J., Carena, W., Divia, R., Parkman, C., Petersen, J., Tremblet, L., and Wessels, B. The valet-plus embedded into large physics experiments. In Proceedings of the ``VMEbus in Research International Conference'' (Zürich, Oct. 1988), C. Eck and C. Parkman, Eds., Elsevier Science Publishers B.V. (North-Holland), Amsterdam, pp. 59--68.

[13]

Heyes, G., Wessels, B., Perrin, Y., Bagnara, R., Berners-Lee, T. J., Carena, W., Divia, R., Parkman, C., Petersen, J., and Tremblet, L. The integration of vax and valet-plus data acquisition software. Contribution to the ``Sixth Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics'' (Williamsburg, VA, May 1989). IEEE Transactions on Nuclear Science 36, 5 (1989), 1572--1576.

[14]

Bagnara, R., Giacobazzi, R., and Levi, G. An application of constraint propagation to data-flow analysis. In Proceedings of ``The Ninth Conference on Artificial Intelligence for Applications'' (Orlando, Florida, March 1993), IEEE Computer Society Press, Los Alamitos, CA, pp. 270--276.

[15]

Bagnara, R. A reactive implementation of Pos using ROBDDs. In Programming Languages: Implementations, Logics and Programs, Proceedings of the Eighth International Symposium (Aachen, Germany, 1996), H. Kuchen and S. D. Swierstra, Eds., vol. 1140 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 107--121.

[16]

Bagnara, R., Hill, P. M., and Zaffanella, E. Set-sharing is redundant for pair-sharing. In Static Analysis: Proceedings of the 4th International Symposium (École Normale Supérieure, Paris, France, 1997), P. Van Hentenryck, Ed., vol. 1302 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 53--67.

[17]

Hill, P. M., Bagnara, R., and Zaffanella, E. The correctness of set-sharing. In Static Analysis: Proceedings of the 5th International Symposium (Pisa, Italy, 1998), G. Levi, Ed., vol. 1503 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 99--114.

[18]

Bagnara, R., and Schachte, P. Factorizing equivalent variable pairs in ROBDD-based implementations of Pos. In Proceedings of the ``Seventh International Conference on Algebraic Methodology and Software Technology (AMAST'98)'' (Amazonia, Brazil, 1999), A. M. Haeberer, Ed., vol. 1548 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 471--485.

[19]

Zaffanella, E., Bagnara, R., and Hill, P. M. Widening Sharing. In Principles and Practice of Declarative Programming (Paris, France, 1999), G. Nadathur, Ed., vol. 1702 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 414--431.

[20]

Zaffanella, E., Hill, P. M., and Bagnara, R. Decomposing non-redundant sharing by complementation. In Static Analysis: Proceedings of the 6th International Symposium (Venice, Italy, 1999), A. Cortesi and G. Filé, Eds., vol. 1694 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 69--84.

[21]

Bagnara, R., Zaffanella, E., and Hill, P. M. Enhanced sharing analysis techniques: A comprehensive evaluation. In Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (Montreal, Canada, 2000), M. Gabbrielli and F. Pfenning, Eds., Association for Computing Machinery, pp. 103--114.

[22]

Bagnara, R., Hill, P. M., and Zaffanella, E. Efficient structural information analysis for real CLP languages. In Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR 2000) (Reunion Island, France, 2000), M. Parigot and A. Voronkov, Eds., vol. 1955 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 189--206.

[23]

Bagnara, R., Gori, R., Hill, P. M., and Zaffanella, E., Finite-tree analysis for constraint logic-based languages, In Static Analysis: Proceedings of the 8th International Symposium (SAS 2001), (Paris, France, 2001), P. Cousot, Ed., vol. 2126 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 165--184.

[24]

Bagnara, R., Zaffanella, E., Gori, R., and Hill, P. M. Boolean functions for finite-tree dependencies. In Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2001) (Havana, Cuba, 2001), R. Nieuwenhuis and A. Voronkov, Eds., vol. 2250 of Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin, pp. 575--589.

[25]

Bagnara, R., Ricci, E., Zaffanella, E., and Hill, P. M. Possibly not closed convex polyhedra and the Parma Polyhedra Library. In Static Analysis: Proceedings of the 9th International Symposium (Madrid, Spain, 2002), M. V. Hermenegildo and G. Puebla, Eds., vol. 2477 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 213--229.

[26]

Bagnara, R., Hill, P. M., Ricci, E., and Zaffanella, E. Precise widening operators for convex polyhedra. In Static Analysis: Proceedings of the 10th International Symposium (San Diego, California, USA, 2003), R. Cousot, Ed., vol. 2694 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 337--354.

[27]

Bagnara, R., Hill, P. M., and Zaffanella, E. Widening operators for powerset domains. In Proceedings of the Fifth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2004) (Venice, Italy, 2003), B. Steffen and G. Levi, Eds., vol. 2937 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 135--148.

5.3  Proceedings of International Workshops

[28]

Bagnara, R., Giacobazzi, R., and Levi, G. Static analysis of CLP programs over numeric domains. In Actes ``Workshop on Static Analysis '92'' (Bordeaux, September 1992), M. Billaud, P. Castéran, M. Corsini, K. Musumbu, and A. Rauzy, Eds., vol. 81--82 of Bigre, Atelier Irisa, IRISA Campus de Beaulieu, pp. 43--50.

[29]

Bagnara, R. On the detection of implicit and redundant numeric constraints in CLP programs. In Proceedings of the ``1994 Joint Conference on Declarative Programming (GULP-PRODE'94)'' (Peñíscola, Spain, September 1994), M. Alpuente, R. Barbuti, and I. Ramos, Eds., pp. 312--326.

[30]

Bagnara, R. Constraint systems for pattern analysis of constraint logic-based languages. In Proceedings of the ``1995 Joint Conference on Declarative Programming (GULP-PRODE'95)'' (Marina di Vietri, Italy, September 1995), M. Alpuente and M. I. Sessa, Eds., pp. 581--592.

[31]

Bagnara, R. Straight ROBDDs are not the best for Pos. In Proceedings of the ``1996 Joint Conference on Declarative Programming (APPIA-GULP-PRODE'96)'' (Donostia-San Sebastián, Spain, 1996), Lucio, P., Martelli, M., and Navarro, M., Eds., pp. 493--496.

[32]

Bagnara, R., Comini, M., Scozzari, F., and Zaffanella, E. The AND-compositionality of CLP computed answer constraints. In Proceedings of the ``1996 Joint Conference on Declarative Programming (APPIA-GULP-PRODE'96)'' (Donostia-San Sebastián, Spain, 1996), Lucio, P., Martelli, M., and Navarro, M., Eds., pp. 355--366.

[33]

Bagnara, R. Structural information analysis for CLP languages. In Proceedings of the ``1997 Joint Conference on Declarative Programming (APPIA-GULP-PRODE'97)'' (Grado, Italy, 1997), Falaschi, M., Navarro, M., and Policriti, A., Eds., pp. 81--92.

[34]

Bagnara, R., Hill, P. M., and Zaffanella, E. Sharing revisited. In Proceedings of the ``1997 Joint Conference on Declarative Programming (APPIA-GULP-PRODE'97)'' (Grado, Italy, 1997), Falaschi, M., Navarro, M., and Policriti, A., Eds., pp. 69--80.

[35]

Bagnara, R., and Schachte, P. Factorizing equivalent variable pairs in ROBDD-based implementations of Pos. In Proceedings of the ``1998 Joint Conference on Declarative Programming (APPIA-GULP-PRODE'98)'' (A Coruña, Spain, 1998), Freire-Nistal, J. L., Falaschi, M., and Vilares-Ferro, M., Eds., pp. 227--239.

[36]

Hill, P. M., Bagnara, R., and Zaffanella, E. The correctness of set-sharing. In Proceedings of the ``1998 Joint Conference on Declarative Programming (APPIA-GULP-PRODE'98)'' (A Coruña, Spain, 1998), Freire-Nistal, J. L., Falaschi, M., and Vilares-Ferro, M., Eds., pp. 255--267.

[37]

Bagnara, R., Zaffanella, E., and Hill, P. M. Enhancing Sharing for precision. In Proceedings of the ``APPIA-GULP-PRODE'99 Joint Conference on Declarative Programming'' (L'Aquila, Italy, 1999), Meo, M. C., and Ferro, M. V., Eds., pp. 213--227.

[38]

Zaffanella, E., Bagnara, R., and Hill, P. M. Widening Sharing. In Proceedings of the ``APPIA-GULP-PRODE'99 Joint Conference on Declarative Programming'' (L'Aquila, Italy, 1999), Meo, M. C., and Ferro, M. V., Eds., pp. 559--573.

[39]

Bagnara, R., Hill, P. M., and Zaffanella, E. A new encoding of not necessarily closed convex polyhedra. In Proceedings of the 1st CoLogNet Workshop on Component-based Software Development and Implementation Technology for Computational Logic Systems (Madrid, Spain, 2002), M. Carro, C. Vacheret, and K.-K. Lau, Eds., pp. 147--153. Published as TR Number CLIP4/02.0, Universidad Politécnica de Madrid, Facultad de Informática.

[40]

Bagnara, R., Hill, P. M., and Zaffanella, E. A new encoding and implementation of not necessarily closed convex polyhedra. In Proceedings of the 3rd Workshop on Automated Verification of Critical Systems (Southampton, UK, 2003), M. Leuschel, S. Gruner, and S. Lo Presti, Eds., pp. 161--176. Published as TR Number DSSE-TR-2003-2, University of Southampton.

5.4  Ph.D. Thesis

[41]

Bagnara, R. Data-Flow Analysis for Constraint Logic-Based Languages. PhD thesis, Dipartimento di Informatica, Università di Pisa, Corso Italia 40, I-56125 Pisa, Italy, Mar. 1997. Printed as Report TD-1/97.

5.5  Technical Reports

[42]

Bagnara, R., Hill, P. M., and Zaffanella, E. Sharing revisited. Tech. Rep. 97.19, School of Computer Studies, University of Leeds, U.K., 1997.

[43]

Bagnara, R., Hill, P. M., and Zaffanella, E. Set-sharing is redundant for pair-sharing. Quaderno 172, Dipartimento di Matematica, Università di Parma, Italy, 1998. Available at http://www.cs.unipr.it/Publications/.

[44]

Zaffanella, E., Bagnara, R., and Hill, P. M. Widening set-sharing. Quaderno 188, Dipartimento di Matematica, Università di Parma, 1999.

[45]

Zaffanella, E., Hill, P. M., and Bagnara, R. Decomposing non-redundant sharing by complementation. Tech. Rep. 99.07, School of Computer Studies, University of Leeds, U.K., 1999.

[46]

Bagnara, R., Hill, P. M., and Zaffanella, E. Efficient structural information analysis for real CLP languages. Quaderno 229, Dipartimento di Matematica, Università di Parma, 2000. Available at http://www.cs.unipr.it/ bagnara/.

[47]

Bagnara, R., Gori, R., Hill, P. M., and Zaffanella, E., Finite-tree analysis for constraint logic-based languages, Quaderno 251, Dipartimento di Matematica, Università di Parma, 2001. Available at http://www.cs.unipr.it/ bagnara/.

[48]

Bagnara, R., Zaffanella, E., Gori, R., and Hill, P. M., Boolean functions for finite-tree dependencies, Quaderno 252, Dipartimento di Matematica, Università di Parma, 2001. Available at http://www.cs.unipr.it/ bagnara/.

[49]

Hill, P. M., Zaffanella, E., and Bagnara, R. A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages. Quaderno 273, Dipartimento di Matematica, Università di Parma, Italy, 2001. Available at http://www.cs.unipr.it/Publications/. Also published as technical report No. 2001.22, School of Computing, University of Leeds, U.K.

[50]

Bagnara, R., and Carro, M. Foreign language interfaces for Prolog: A terse survey. Quaderno 283, Dipartimento di Matematica, Università di Parma, Italy, 2002. Version 1. Available at http://www.cs.unipr.it/Publications/.

[51]

Bagnara, R., Ricci, E., Zaffanella, E., and Hill, P. M. Possibly not closed convex polyhedra and the Parma Polyhedra Library. Quaderno 286, Dipartimento di Matematica, Università di Parma, Italy, 2002. Available at http://www.cs.unipr.it/Publications/.

[52]

Bagnara, R., Hill, P. M., and Zaffanella, E. A new encoding and implementation of not necessarily closed convex polyhedra. Quaderno 305, Dipartimento di Matematica, Università di Parma, Italy, 2002. Available at http://www.cs.unipr.it/Publications/.

[53]

Hill, P. M., Zaffanella, E., and Bagnara, R. On the analysis of set-sharing, freeness and linearity for finite and rational tree languages. Tech. Rep. 2003.08, School of Computing, University of Leeds, U.K., 2003. Available at http://www.comp.leeds.ac.uk/research/pubs/reports.shtml.

[54]

Bagnara, R., Hill, P. M., Ricci, E., and Zaffanella, E. Precise widening operators for convex polyhedra. Quaderno 312, Dipartimento di Matematica, Università di Parma, Italy, 2003. Available at http://www.cs.unipr.it/Publications/.

[55]

Bagnara, R., Zaccagnini, A., and Zolo, T. The automatic solution of recurrence relations. I. Linear recurrences of finite order with constant coefficients. Quaderno 334, Dipartimento di Matematica, Università di Parma, Italy, 2003. Available at http://www.cs.unipr.it/Publications/.

[56]

Bagnara, R., and Zaccagnini, A. Checking and bounding the solutions of some recurrence relations. Quaderno 344, Dipartimento di Matematica, Università di Parma, Italy, 2004. Available at http://www.cs.unipr.it/Publications/.

[57]

Bagnara, R., Hill, P. M., and Zaffanella, E. Widening operators for powerset domains. Quaderno 349, Dipartimento di Matematica, Università di Parma, Italy, 2004. Available at http://www.cs.unipr.it/Publications/.

[58]

Bagnara, R., Gori, R., Hill, P. M., and Zaffanella, E. Finite-tree analysis for constraint logic-based languages: the complete unabridged version. Quaderno 363, Dipartimento di Matematica, Università di Parma, Italy, 2004. Available at http://www.cs.unipr.it/Publications/.

[59]

Bagnara, ., Hill, P. M., Mazzi, E., and Zaffanella, E. Finite-tree analysis for constraint logic-based languages: the complete unabridged version. Quaderno 399, Dipartimento di Matematica, Università di Parma, Italy, 2005. Available at http://www.cs.unipr.it/Publications/.

5.6  Papers Submitted to International Journals

[60]

Bagnara, R., Hill, P. M., and Zaffanella, E. Widening operators for powerset domains. Submitted, upon invitation, to the International Journal on Software Tools for Technology Transfer on June 30, 2004. Available at http://www.cs.unipr.it/~bagnara/.

5.7  Other Writings

[61]

Bagnara, R. Announcing Kermit68K, a Portable 68000 Kermit Program. Info-Kermit Digest 6, 15 (July 1987).

[62]

Bagnara, R. A General Event Handling System for the Valet-Plus. CERN Data Handling Division, Online Computing Group, September 1988.

[63]

Bagnara, R. Remote Procedure Call. CERN Mini & Micro Computer Newsletter 20 (October 1988).

[64]

Bagnara, R. Interpretazione astratta di linguaggi logici con vincoli su domini finiti. M.Sc. dissertation, University of Pisa, July 1992. In Italian.

[65]

Bagnara, R. Analysing with China. The Association for Logic Programming Newsletter 12, 1 (1999), 9.

[66]

Bagnara, R. Is the ISO Prolog standard taken seriously? The Association for Logic Programming Newsletter 12, 1 (1999), 10--12.

[67]

Bagnara, R. On the quality of available Prolog implementations. The Association for Logic Programming Newsletter 12, 2 (1999), 12--14.

[68]

Bagnara, R. Precise and Practical Mode Analysis with the China Analyzer. Computational Logic 7, November 1999.

[69]

Bagnara, R., Hill, P. M., Ricci, E., and Zaffanella, E. The Parma Polyhedra Library User's Manual, release 0.5 ed. Department of Mathematics, University of Parma, Parma, Italy, Dec. 2004. Available at http://www.cs.unipr.it/ppl/.

[70]

Bagnara, R., Hill, P. M., Mazzi, E., and Zaffanella, E. Widening operators for weakly-relational numeric abstractions. Report arXiv:cs.PL/0412043, 2004. Extended abstract. Contribution to the International workshop on ``Numerical & Symbolic Abstract Domains'' (NSAD'05, Paris, January 21, 2005). Available at http://arxiv.org/ and http://www.cs.unipr.it/ppl/.

[Page last updated on December 05, 2005, 07:49:35.]