Ricardo Peña-Marí

Orcid: 0000-0001-5387-8931

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications.
Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

2020
Extending Liquid Types to Arrays.
ACM Trans. Comput. Log., 2020

An Assertional Proof of Red-Black Trees Using Dafny.
J. Autom. Reason., 2020

White-Box Path Generation in Recursive Programs.
Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020

2017
Liquid Types for Array Invariant Synthesis.
Proceedings of the Automated Technology for Verification and Analysis, 2017

2016
An Introduction to Liquid Haskell.
Proceedings of the Proceedings XVI Jornadas sobre Programación y Lenguajes, 2016

2015
Space consumption analysis by abstract interpretation: Reductivity properties.
Sci. Comput. Program., 2015

Space consumption analysis by abstract interpretation: Inference of recursive functions.
Sci. Comput. Program., 2015

Shape analysis in a functional language by using regular languages.
Sci. Comput. Program., 2015

Editorial of Special Issue Trends in Functional Programming 2011/12.
Comput. Lang. Syst. Struct., 2015

A Generic Intermediate Representation for Verification Condition Generation.
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.
Inf. Comput., 2014

2011
Size Invariant and Ranking Function Synthesis in a Functional Language.
Proceedings of the Functional and Constraint Logic Programming, 2011

Interpolation-Based Height Analysis for Improving a Recurrence Solver.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2011

Certification of Safe Polynomial Memory Bounds.
Proceedings of the FM 2011: Formal Methods, 2011

Generalized optimization methodology of second level for system design.
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.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

2009
From natural semantics to C: A formal derivation of two STG machines.
J. Funct. Program., 2009

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

A Simple Region Inference Algorithm for a First-Order Functional Language.
Proceedings of the Functional and Constraint Logic Programming, 2009

Formal Certification of a Resource-Aware Language Implementation.
Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

A Space Consumption Analysis by Abstract Interpretation.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2009

A Certified Implementation on Top of the Java Virtual Machine.
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.
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.
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

An Inference Algorithm for Guaranteeing Safe Destruction.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

2006
A sharing analysis for SAFE.
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.
J. Funct. Program., 2005

Parallel functional programming in Eden.
J. Funct. Program., 2005

Reasoning About Skeletons in Eden.
Proceedings of the Parallel Computing: Current & Future Issues of High-End Computing, 2005

2003
Comparing Parallel Functional Languages: Programming and Performance.
High. Order Symb. Comput., 2003

Formally deriving an STG machine.
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.
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.
Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003

Parallelism Abstractions in Eden.
Proceedings of the Patterns and Skeletons for Parallel and Distributed Computing, 2003

2001
Deriving Non-Hierarchical Process Topologies.
Proceedings of the Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), 2001

Parallel Functional Programming at Two Levels of Abstraction.
Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

A Polynomial-Cost Non-determinism Analysis.
Proceedings of the Implementation of Functional Languages, 13th International Workshop, 2001

Sized Types for Typing Eden Skeletons.
Proceedings of the Implementation of Functional Languages, 13th International Workshop, 2001

Proving the Correctness of the STG Machine.
Proceedings of the Implementation of Functional Languages, 13th International Workshop, 2001

Adding Traces to a Lazy Monadic Evaluator.
Proceedings of the Computer Aided Systems Theory, 2001

2000
Compiler Construction in a Functional Setting.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

Optimizing Eden by Program Transformation.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

Optimising Eden by transformation.
Proceedings of the Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), 2000

Non-determinism Analysis in a Parallel-Functional Language.
Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

1999
Bypassing of Channels in Eden.
Proceedings of the Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), 1999

From GranSim to Paradise.
Proceedings of the Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), 1999

1998
Implementing Eden - or: Dreams Become Reality.
Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

1997
DREAM: The DistRibuted Eden Abstract Machine.
Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

The Eden Coordination Model for Distributed Memory Systems.
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.
Proceedings of the Transformation-Based Reactive Systems Development, 1997

High-level Parallel and Concurrent Programming in Eden.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996
A New Look to Pattern Matching in Abstract Data Types.
Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

Proving Progress Properties of non Terminating Programs under Fairness Assumptions.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

Eden - The Paradise of Functional Concurrent Programming.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

Functional Skeletons Generate Process Topologies in Eden.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995
A Second Year Course on Data Structures Based on Functional Programming.
Proceedings of the Functional Programming Languages in Education, 1995

A Tabulation Transformation Tactic Using Haskell Arrays.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994
Introducing Fairness in CSP Systems Specified with State Variables.
Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

Non Homomorphic Reductions of Data Structures.
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.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

1991
Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems.
Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

1989
Deriving Specifications of Embeddings in Recursive Program Design.
Struct. Program., 1989

Specification and Verification of TCSP Systems by Means of Partial Abstract Data Types.
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.
Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988


  Loading...