Alberto Pardo

    I am Full Professor at Instituto de Computación, Engineering School, Universidad de la República, Montevideo, Uruguay.

I coordinate the Formal Methods Group.

I am Dr.rer.nat. (PhD) from the Darmstadt University of Technology , Germany.


How to reach me

Email: pardo at fing.edu.uy

Postal address:
Instituto de Computación
Facultad de Ingeniería
Julio Herrera y Reissig 565 - Piso 5
11300 Montevideo
Uruguay

Phone: +598-2-711 42 44 / 47 - Int. 104

Fax: +598-2-711 04 69


Activities


Research Interests


Publications

Multiple Intermediate Structure Deforestation by Shortcut Fusion
(joint work with João Paulo Fernandes and João Saraiva)
Brazilian Symposium on Programming Languages (SBLP 2013), Brasilia, October 2013.

Towards a functional run-time for dense NLA domain
(joint work with Mauro Blanco, Pablo Perdomo, Pablo Ezzatti, and Marcos Viera)
2nd ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC 2013), Boston, Massachusetts, USA, 23 September 2013. ACM Digital Library.

A Shortcut Fusion Approach to Accumulations
(joint work with Mónica Martínez)
Science of Computer Programming, 78(8), August 2013, Pages 1121-1136. Springer.

Formal semantics and expressiveness of a web service composition language
(joint work with Marcelo Guerra, Regina Motz, and Martin A. Musicante)
28th ACM Symposium on Applied Computing (SAC 2013), Coimbra, Portugal, March 2013, pp 1667-1673.

Just do it while compiling!: fast extensible records in Haskell
(joint work with Bruno Martinez, and Marcos Viera)
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2013), Rome, Italy, January 2013, pp 77-86.

Applicative Shortcut Fusion
(joint work with Mauro Jaskelioff and Germán Delbianco)
12th International Symposium on Trends in Functional Programming (TFP 2011), May 16-18, 2011, Madrid, Spain.
Lecture Notes in Computer Science Vol. 7193, Springer, 2012.

Shortcut fusion rules for the derivation of circular and higher-order programs
(joint work with João Paulo Fernandes and João Saraiva)
Higher Order and Symbolic Computation, 24(1-2), pp 115-149, Springer, 2011.

Exploiting algebra/coalgebra duality for program fusion extensions
(joint work with Facundo Domínguez)
11th International Workshop on Language Descriptions, Tools, and Applications (LDTA 2011), Saarbrücken, Germany; March 26-27, 2011. ACM Digital Library.

A Shortcut Fusion Approach to Accumulations
(joint work with Mónica Martínez)
Brazilian Symposium on Programming Languages (SBLP 2009), August 19-21, 2009, Gramado.

Shortcut Fusion Rules for the Derivation of Circular Programs and Higher-order Monadic Programs
(joint work with João Paulo Fernandes and João Saraiva)
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2009), Savannah, Georgia, USA, January 19-20, 2009.

Shortcut Fusion of Monadic Programs
(joint work with Cecilia Manzino)
Journal of Universal Computer Science, Vol. 14, No. 21, pp. 3431-3446 (Revised version of SBLP'08 paper).

Shortcut Fusion of Monadic Programs
(joint work with Cecilia Manzino)
Brazilian Symposium on Programming Languages (SBLP 2008), Fortaleza. [runtime tests]

A Shortcut Fusion Rule for Circular Program Calculation
(joint work with João Paulo Fernandes and João Saraiva)
Haskell Workshop 2007, Freiburg, Germany, September 2007.

A Multi-Stage Language with Intensional Analysis
(joint work with Marcos Viera)
5th International Conference on Generative Programming and Component Engineering (GPCE 2006), Portland, Oregon 2006.

Automatización de Leyes de Fusión de Programas
(joint work with Facundo Domínguez)
XXXII Conferencia Latinoamericana de Informática (CLEI 2006), Santiago, Chile, August 20-25 2006.

Program Fusion with Paramorphisms
(joint work with Facundo Domínguez)
Workshop on Mathematically Structured Functional Programming (MSFP'06), Kuressaare, Estonia, July 2 2006.
Proceedings published in the Electronic Workshops in Computing (eWiC) series of the British Computer Society.

Combining Datatypes and Effects
Advanced Functional Programming, Lecture Notes in Computer Science Vol. 3622 (2005).
Lecture notes of the 5th International Summer School on Advanced Functional Programming (AFP 2004), Tartu, Estonia, August 14-21, 2004.

Generic Accumulations
IFIP TC2 Working Conference on Generic Programming, Dagstuhl, Germany, July 2002.
IFIP Series, volumen 243: Generic Programming, Kluwer Academic Publishers, 2003.

Recursion Schemes from Comonads
(joint work with Tarmo Uustalu and Varmo Vene)
Nordic Journal of Computing 8(3), 2001.

Comonadic Iteration (abstract)
(joint work with Tarmo Uustalu and Varmo Vene)
12th Nordic Workshop on Programming Theory, Bergen, Norway, October 11-13, 2000 (workshop's page).

Towards Merging Recursion and Comonads
Workshop on Generic Programming 2000, Ponte de Lima, Portugal, July 2000 (workshop's page).
Technical Report UU-CS-2000-19, Department of Computer Science, Utrecht University, 2000.

Fusion of Recursive Programs with Computational Effects
Theoretical Computer Science volume 260 (1-2), pp 165-207, June 2001.

Fusion of Monadic (Co)Recursive Programs
In MPC'98 Workshop on Generic Programming, Marstrand, Sweden, June 1998 (workshop's page).

Monadic Corecursion: Definition, Fusion Laws and Applications
In ETAPS'98 Workshop on Coalgebraic Methods in Computer Science, Lisbon, March 1998.
Volume 11 of Electronic Notes in Theoretical Computer Science, Elsevier Science B.V., 1998.

A Calculational Approach to Strong Datatypes
In Selected papers from 8th Nordic Workshop on Programming Theory, Oslo, Dec. 1996.
Research Report 240, Department of Informatics, University of Oslo, May 1997.

The rest of my publications can be found here.


Final Year Projects

Here you can find a list of some final year projects I supervised.


HFusion

HFusion is a fusion tool for the elimination of intermediate data structures in Haskell programs.


Teaching