Alberto Pardo - RankMe

50 papers B 4C 5Misc 3Journal 13Unranked 22

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