Alberto Pardo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
12
Active years
2006–2024
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FLOPS | Tabulation with Zippers. | Marcos Viera, Alberto Pardo, Joo Saraiva |
| 2024 | SAC | Compiling Haskell for Energy Efficiency: Empirical Analysis of Individual Transformations. | Maja Hanne Kirkeby, Bernardo Santos, Joo Paulo Fernandes, Alberto Pardo |
| 2018 | PPDP | An Internalist Approach to Correct-by-Construction Compilers. | Alberto Pardo, Emmanuel Gunther, Miguel Pagano, Marcos Viera |
| 2017 | ICSE | Automating systematic mappings, adding quality to quantity: poster. | Regina Motz, Genoveva Vargas-Solar, Umberto Souza da Costa, Javier-Alfonso Espinosa-Oviedo, Martin A. Musicante, Jos-Luis Zechinelli-Martini, Alberto Pardo |
| 2015 | AICCSA | An abstract machine for integrating heterogeneous web applications. | Mrcio A. Macdo, Daniel A. S. Carvalho, Martin A. Musicante, Alberto Pardo, Umberto Souza da Costa |
| 2015 | CALCO | Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes. | Alexander Kurz, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries |
| 2015 | SBAC-PAD | Painless Parallelism on Heterogeneous Hardware Leveraging the Functional Paradigm. | Mauro Blanco, Pablo Perdomo, Pablo Ezzatti, Alberto Pardo, Marcos Viera |
| 2013 | ICFP | Towards a functional run-time for dense NLA domain. | Mauro Blanco, Pablo Perdomo, Pablo Ezzatti, Alberto Pardo, Marcos Viera |
| 2013 | PEPM | Just do it while compiling!: fast extensible records in haskell. | Bruno Martinez, Marcos Viera, Alberto Pardo |
| 2013 | SAC | Formal semantics and expressiveness of a web service composition language. | Marcelo Guerra Hahn, Regina Motz, Alberto Pardo, Martin A. Musicante |
| 2009 | PEPM | Shortcut fusion rules for the derivation of circular and higher-order monadic programs. | Alberto Pardo, Joo Paulo Fernandes, Joo Saraiva |
| 2007 | HASKELL | A shortcut fusion rule for circular program calculation. | Joo Paulo Fernandes, Alberto Pardo, Joo Saraiva |
| 2006 | GPCE | A multi-stage language with intensional analysis. | Marcos Viera, Alberto Pardo |
| 2006 | MPC | Program Fusion with Paramorphisms. | Facundo Domnguez, Alberto Pardo |