Ricardo Peña-Marí

According to our database, Ricardo Peña-Marí authored at least 65 papers between 1988 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications.

Ricardo Peña, Jaime Sánchez-Hernández, Miguel Garrido, Javier Sagredo

Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

2020

Extending Liquid Types to Arrays.

Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura

ACM Trans. Comput. Log., 2020

An Assertional Proof of Red-Black Trees Using Dafny.

Ricardo Peña

J. Autom. Reason., 2020

White-Box Path Generation in Recursive Programs.

Ricardo Peña, Jaime Sánchez-Hernández

Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020

2017

Liquid Types for Array Invariant Synthesis.

Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

An Introduction to Liquid Haskell.

Ricardo Peña

Proceedings of the Proceedings XVI Jornadas sobre Programación y Lenguajes, 2016

2015

Space consumption analysis by abstract interpretation: Reductivity properties.

Manuel Montenegro, Ricardo Peña, Clara Segura

Sci. Comput. Program., 2015

Space consumption analysis by abstract interpretation: Inference of recursive functions.

Manuel Montenegro, Ricardo Peña, Clara Segura

Sci. Comput. Program., 2015

Shape analysis in a functional language by using regular languages.

Manuel Montenegro, Ricardo Peña, Clara Segura

Sci. Comput. Program., 2015

Editorial of Special Issue Trends in Functional Programming 2011/12.

Hans-Wolfgang Loidl, Ricardo Peña

Comput. Lang. Syst. Struct., 2015

A Generic Intermediate Representation for Verification Condition Generation.

Manuel Montenegro, Ricardo Peña, Jaime Sánchez-Hernández

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2014

A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation.

Manuel Montenegro, Ricardo Peña, Clara Segura

Inf. Comput., 2014

2011

Size Invariant and Ranking Function Synthesis in a Functional Language.

Ricardo Peña, Agustin D. Delgado-Muñoz

Proceedings of the Functional and Constraint Logic Programming, 2011

Interpolation-Based Height Analysis for Improving a Recurrence Solver.

Manuel Montenegro, Olha Shkaravska, Marko C. J. D. van Eekelen, Ricardo Peña

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2011

Certification of Safe Polynomial Memory Bounds.

Javier de Dios, Ricardo Peña

Proceedings of the FM 2011: Formal Methods, 2011

Generalized optimization methodology of second level for system design.

Alexander Zemliak, Ricardo Peña, Eduardo Rios, Fernando Reyes-Cortés

Proceedings of the CONIELECOMP 2011, 21st International Conference on Electrical, Communications, and Computers, 28 February, 2011

2010

Certified Absence of Dangling Pointers in a Language with Explicit Deallocation.

Javier de Dios, Manuel Montenegro, Ricardo Peña

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

2009

From natural semantics to C: A formal derivation of two STG machines.

Alberto de la Encina, Ricardo Peña-Marí

J. Funct. Program., 2009

Preface.

Paqui Lucio, Ginés Moreno, Ricardo Peña

Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009

A Simple Region Inference Algorithm for a First-Order Functional Language.

Manuel Montenegro, Ricardo Peña-Marí, Clara Segura

Proceedings of the Functional and Constraint Logic Programming, 2009

Formal Certification of a Resource-Aware Language Implementation.

Javier de Dios, Ricardo Peña-Marí

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

A Space Consumption Analysis by Abstract Interpretation.

Manuel Montenegro, Ricardo Peña, Clara Segura

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2009

A Certified Implementation on Top of the Java Virtual Machine.

Javier de Dios, Ricardo Peña-Marí

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2008

A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation.

Manuel Montenegro, Ricardo Peña-Marí, Clara Segura

Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, 2008

A type system for safe memory management and its proof of correctness.

Manuel Montenegro, Ricardo Pena, Clara Segura

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

An Inference Algorithm for Guaranteeing Safe Destruction.

Manuel Montenegro, Ricardo Peña-Marí, Clara Segura

Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

2006

A sharing analysis for SAFE.

Ricardo Peña-Marí, Clara Segura, Manuel Montenegro

Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

2005

Non-determinism analyses in a parallel-functional language.

Ricardo Peña-Marí, Clara Segura

J. Funct. Program., 2005

Parallel functional programming in Eden.

Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí

J. Funct. Program., 2005

Reasoning About Skeletons in Eden.

Ricardo Peña-Marí, Clara Segura

Proceedings of the Parallel Computing: Current & Future Issues of High-End Computing, 2005

2003

Comparing Parallel Functional Languages: Programming and Performance.

Hans-Wolfgang Loidl, Fernando Rubio, Norman Scaife, Kevin Hammond, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Pena, Steffen Priebe, Álvaro J. Rebón Portillo, Philip W. Trinder

High. Order Symb. Comput., 2003

Formally deriving an STG machine.

Alberto de la Encina, Ricardo Pena

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

Correctness of Non-determinism Analyses in a Parallel-Functional Language.

Clara Segura, Ricardo Pena

Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003

Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms.

Rafael Martínez-Torres, Ricardo Pena

Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003

Parallelism Abstractions in Eden.

Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña, Steffen Priebe, Fernando Rubio

Proceedings of the Patterns and Skeletons for Parallel and Distributed Computing, 2003

2001

Deriving Non-Hierarchical Process Topologies.

Ricardo Pena, Fernando Rubio, Clara Segura

Proceedings of the Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), 2001

Parallel Functional Programming at Two Levels of Abstraction.

Ricardo Pena, Fernando Rubio

Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

A Polynomial-Cost Non-determinism Analysis.

Ricardo Pena, Clara Segura

Proceedings of the Implementation of Functional Languages, 13th International Workshop, 2001

Sized Types for Typing Eden Skeletons.

Ricardo Pena, Clara Segura

Proceedings of the Implementation of Functional Languages, 13th International Workshop, 2001

Proving the Correctness of the STG Machine.

Alberto de la Encina, Ricardo Pena

Proceedings of the Implementation of Functional Languages, 13th International Workshop, 2001

Adding Traces to a Lazy Monadic Evaluator.

Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura

Proceedings of the Computer Aided Systems Theory, 2001

2000

Compiler Construction in a Functional Setting.

Ricardo Pena

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

Optimizing Eden by Program Transformation.

Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

Optimising Eden by transformation.

Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura

Proceedings of the Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), 2000

Non-determinism Analysis in a Parallel-Functional Language.

Ricardo Pena, Clara Segura

Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

1999

Bypassing of Channels in Eden.

Ulrike Klusik, Ricardo Pena, Clara Segura

Proceedings of the Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), 1999

From GranSim to Paradise.

Felix Hernandez, Ricardo Pena, Fernando Rubio

Proceedings of the Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), 1999

1998

Implementing Eden - or: Dreams Become Reality.

Ulrike Klusik, Yolanda Ortega-Mallén, Ricardo Pena

Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

1997

DREAM: The DistRibuted Eden Abstract Machine.

Silvia Breitinger, Ulrike Klusik, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena

Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

The Eden Coordination Model for Distributed Memory Systems.

Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena

Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS '97), 1997

Verification and Refinement of Distributed Programs in a Fair Framework.

Luis A. Galán, Ricardo Pena

Proceedings of the Transformation-Based Reactive Systems Development, 1997

High-level Parallel and Concurrent Programming in Eden.

Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

A New Look to Pattern Matching in Abstract Data Types.

Pedro Palao-Gostanza, Ricardo Pena, Manuel Núñez

Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

Proving Progress Properties of non Terminating Programs under Fairness Assumptions.

Ricardo Peña-Marí, Luis A. Galán

Proceedings of the Euro-Par '96 Parallel Processing, 1996

Eden - The Paradise of Functional Concurrent Programming.

Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí

Proceedings of the Euro-Par '96 Parallel Processing, 1996

Functional Skeletons Generate Process Topologies in Eden.

Luis A. Galán, Cristóbal Pareja, Ricardo Pena

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

A Second Year Course on Data Structures Based on Functional Programming.

Manuel Núñez, Pedro Palao, Ricardo Pena

Proceedings of the Functional Programming Languages in Education, 1995

A Tabulation Transformation Tactic Using Haskell Arrays.

Cristóbal Pareja, Ricardo Pena, J. Ángel Velázquez-Iturbide

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

Introducing Fairness in CSP Systems Specified with State Variables.

Ricardo Peña-Marí, Luis A. Galán

Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

Non Homomorphic Reductions of Data Structures.

Luis A. Galán, Manuel Núñez, Cristóbal Pareja, Ricardo Pena

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions.

Ricardo Pena, Luis M. Alonso

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

1991

Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems.

Luis M. Alonso, Ricardo Pena

Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

1989

Deriving Specifications of Embeddings in Recursive Program Design.

Celestí Rosselló, José L. Balcázar, Ricardo Pena

Struct. Program., 1989

Specification and Verification of TCSP Systems by Means of Partial Abstract Data Types.

Ricardo Pena, Luis M. Alonso

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

1988

Term Rewriting Methods for Partial Specifications.

Fernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988