Ricardo Peña

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 6

Top Topics

Recursive Programs

Functional Language

Intermediate Representation

Abstract Interpretation

Top Venues

Sci. Comput. Program.

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

ACM Trans. Comput. Log.

Comput. Lang. Syst. Struct.

Publications

Ricardo Peña, Jaime Sánchez-Hernández, Miguel Garrido, Javier Sagredo
SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura
Extending Liquid Types to Arrays. ACM Trans. Comput. Log. 21 (2) (2020)
Ricardo Peña, Jaime Sánchez-Hernández
White-Box Path Generation in Recursive Programs. TFP (2020)
Ricardo Peña
An Assertional Proof of Red-Black Trees Using Dafny. J. Autom. Reason. 64 (4) (2020)
Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura
Liquid Types for Array Invariant Synthesis. ATVA (2017)
Ricardo Peña
An Introduction to Liquid Haskell. PROLE (2016)
Manuel Montenegro, Ricardo Peña, Clara Segura
Space consumption analysis by abstract interpretation: Inference of recursive functions. Sci. Comput. Program. 111 (2015)
Manuel Montenegro, Ricardo Peña, Clara Segura
Space consumption analysis by abstract interpretation: Reductivity properties. Sci. Comput. Program. 111 (2015)
Manuel Montenegro, Ricardo Peña, Jaime Sánchez-Hernández
A Generic Intermediate Representation for Verification Condition Generation. LOPSTR (2015)
Manuel Montenegro, Ricardo Peña, Clara Segura
Shape analysis in a functional language by using regular languages. Sci. Comput. Program. 111 (2015)
Hans-Wolfgang Loidl, Ricardo Peña
Editorial of Special Issue Trends in Functional Programming 2011/12. Comput. Lang. Syst. Struct. 44 (2015)
Manuel Montenegro, Ricardo Peña, Clara Segura
A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation. Inf. Comput. 235 (2014)
Manuel Montenegro, Ricardo Peña, Clara Segura
Shape analysis in a functional language by using regular languages. PPDP (2013)
Javier de Dios, Ricardo Peña
Certification of Safe Polynomial Memory Bounds. FM (2011)
Ricardo Peña, Agustin D. Delgado-Muñoz
Size Invariant and Ranking Function Synthesis in a Functional Language. WFLP (2011)
Manuel Montenegro, Olha Shkaravska, Marko C. J. D. van Eekelen, Ricardo Peña
Interpolation-Based Height Analysis for Improving a Recurrence Solver. FOPARA (2011)
Alexander Zemliak, Ricardo Peña, Eduardo Rios, Fernando Reyes-Cortés
Generalized optimization methodology of second level for system design. CONIELECOMP (2011)
Javier de Dios, Manuel Montenegro, Ricardo Peña
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation. IFM (2010)
Manuel Montenegro, Ricardo Peña, Clara Segura
A Space Consumption Analysis by Abstract Interpretation. FOPARA (2009)
Paqui Lucio, Ginés Moreno, Ricardo Peña
Preface. Electron. Notes Theor. Comput. Sci. 258 (1) (2009)