Alberto Pardo

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 18

Top Venues

SBLP

J. Comput. Lang.

Sci. Comput. Program.

IFL

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Marcos Viera, Alberto Pardo, João Saraiva
Tabulation with Zippers. FLOPS (2024)
Maja Hanne Kirkeby, Bernardo Santos, João Paulo Fernandes, Alberto Pardo
Compiling Haskell for Energy Efficiency: Empirical Analysis of Individual Transformations. SAC (2024)
Mauricio Cassola, Agustín Talagorria, Alberto Pardo, Marcos Viera
A gradual type system for Elixir. J. Comput. Lang. 68 (2022)
Mauricio Cassola, Agustín Talagorria, Alberto Pardo, Marcos Viera
A Gradual Type System for Elixir. CoRR (2021)
Leonardo Piñeyro, Alberto Pardo, Marcos Viera
Structure verification of deep neural networks at compilation time. J. Comput. Lang. 67 (2021)
Cecilia Manzino, Alberto Pardo
Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types. LSFA (2020)
Mauricio Cassola, Agustín Talagorria, Alberto Pardo, Marcos Viera
A Gradual Type System for Elixir. SBLP (2020)
Juan García-Garland, Alberto Pardo, Marcos Viera
Attribute grammars fly first-class... safer!: dealing with DSL errors in type-level programming. IFL (2019)
Francisco Ribeiro, João Saraiva, Alberto Pardo
Java Stream Fusion: Adapting FP mechanisms for an OO setting. SBLP (2019)
João Paulo Fernandes, Pedro Martins, Alberto Pardo, João Saraiva, Marcos Viera
Memoized zipper-based attribute grammars and their higher order extension. Sci. Comput. Program. 173 (2019)
Leonardo Piñeyro, Alberto Pardo, Marcos Viera
Structure verification of deep neural networks at compilation time using dependent types. SBLP (2019)
Alberto Pardo, Emmanuel Gunther, Miguel Pagano, Marcos Viera
An Internalist Approach to Correct-by-Construction Compilers. PPDP (2018)
Marcos Viera, Florent Balestrieri, Alberto Pardo
A Staged Embedding of Attribute Grammars in Haskell. IFL (2018)
Gonzalo Waszczuk, Alberto Pardo, Marcos Viera
Extensible records in Idris. SBLP (2017)
Regina Motz, Genoveva Vargas-Solar, Umberto Souza da Costa, Javier-Alfonso Espinosa-Oviedo, Martin A. Musicante, José-Luis Zechinelli-Martini, Alberto Pardo
Automating systematic mappings, adding quality to quantity: poster. ICSE (Companion Volume) (2017)
Luis Espinosa Anke, Jorge Tello, Alberto Pardo, Ignacio Hernández Medrano, Alberto Ureña, Ignacio Salcedo, Horacio Saggion
Savana: A Global Information Extraction and Terminology Expansion Framework in the Medical Domain. Proces. del Leng. Natural 57 (2016)
Alberto Pardo, João Paulo Fernandes, João Saraiva
Multiple intermediate structure deforestation by shortcut fusion. Sci. Comput. Program. 132 (2016)
João Paulo Fernandes, Pedro Martins, Alberto Pardo, João Saraiva, Marcos Viera
Memoized Zipper-Based Attribute Grammars. SBLP (2016)
Mauro Blanco, Pablo Perdomo, Pablo Ezzatti, Alberto Pardo, Marcos Viera
Painless Parallelism on Heterogeneous Hardware Leveraging the Functional Paradigm. SBAC-PAD (Workshops) (2015)
Márcio A. Macêdo, Daniel A. S. Carvalho, Martin A. Musicante, Alberto Pardo, Umberto Souza da Costa
An abstract machine for integrating heterogeneous web applications. AICCSA (2015)
Alexander Kurz, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries
Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes. CALCO (2015)
João Paulo Fernandes, Jácome Cunha, João Saraiva, Alberto Pardo
Watch Out for that Tree! A Tutorial on Shortcut Deforestation. CEFP (2015)
Gilles Barthe, Alberto Pardo, Gerardo Schneider
SEFM: software engineering and formal methods. Softw. Syst. Model. 14 (1) (2015)
Cecilia Manzino, Alberto Pardo
A Security Types Preserving Compiler in Haskell. SBLP (2014)
Marcelo Guerra Hahn, Regina Motz, Alberto Pardo, Martin A. Musicante
Formal semantics and expressiveness of a web service composition language. SAC (2013)
Mauro Blanco, Pablo Perdomo, Pablo Ezzatti, Alberto Pardo, Marcos Viera
Towards a functional run-time for dense NLA domain. FHPC@ICFP (2013)
Bruno Martinez, Marcos Viera, Alberto Pardo
Just do it while compiling!: fast extensible records in haskell. PEPM (2013)
Mónica Martínez, Alberto Pardo
A shortcut fusion approach to accumulations. Sci. Comput. Program. 78 (8) (2013)
Alberto Pardo, João Paulo Fernandes, João Saraiva
Multiple Intermediate Structure Deforestation by Shortcut Fusion. SBLP (2013)
Facundo Domínguez, Alberto Pardo
Exploiting algebra/coalgebra duality for program fusion extensions. LDTA (2011)
Alberto Pardo, João Paulo Fernandes, João Saraiva
Shortcut fusion rules for the derivation of circular and higher-order programs. High. Order Symb. Comput. 24 (1-2) (2011)
Germán Andrés Delbianco, Mauro Jaskelioff, Alberto Pardo
Applicative Shortcut Fusion. Trends in Functional Programming (2011)
Manuel J. Castro, Alberto Pardo, Carlos Parés, Eleuterio F. Toro
On some fast well-balanced first order solvers for nonconservative systems. Math. Comput. 79 (271) (2010)
Alberto Pardo, João Paulo Fernandes, João Saraiva
Shortcut fusion rules for the derivation of circular and higher-order monadic programs. PEPM (2009)
Cecilia Manzino, Alberto Pardo
Shortcut Fusion of Monadic Programs. J. Univers. Comput. Sci. 14 (21) (2008)
João Paulo Fernandes, Alberto Pardo, João Saraiva
A shortcut fusion rule for circular program calculation. Haskell (2007)
Marcos Viera, Alberto Pardo
A multi-stage language with intensional analysis. GPCE (2006)
Facundo Domínguez, Alberto Pardo
Program Fusion with Paramorphisms. MSFP@MPC (2006)
Alberto Pardo
Combining Datatypes and Effects. Advanced Functional Programming (2004)
Alberto Pardo
Generic Accumulations. Generic Programming (2002)
Alberto Pardo
Fusion of recursive programs with computational effects. Theor. Comput. Sci. 260 (1-2) (2001)
Tarmo Uustalu, Varmo Vene, Alberto Pardo
Recursion Schemes from Comonads. Nord. J. Comput. 8 (3) (2001)
Alberto Pardo
Monadic Corecursion - Definition, Fusion Laws, and Applications. CMCS (1998)
Alberto Pardo, Silvio Romero Lemos de Meira
O Uso das Semânticas Indutiva e Denotacional na Tradução Fonte-a-Fonte de Linguagens de Programação. SBES (1990)
Judith Kelner, Ana Lúcia Cavalcante, Alberto Pardo
LindA: Uma Linguagem de Autoria Automática para Hipertexto. SBES (1989)

Alberto Pardo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alberto Pardo