Lucas Peña

Orcid: 0000-0002-1898-439X

According to our database¹, Lucas Peña authored at least 10 papers between 2018 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

Complete first-order reasoning for functional programs.

[BibT_eX]

[DOI]

CoRR, May, 2026

2023

Complete First-Order Reasoning for Properties of Functional Programs.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., October, 2023

2022

Model-guided synthesis of inductive lemmas for FOL with least fixpoints.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

Mechanizing Matching Logic in Coq.

[BibT_eX]

[DOI]

Proceedings of the Sixth Working Formal Methods Symposium, 2022

2020

Towards a unified proof framework for automated fixpoint reasoning using matching logic.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Synthesizing Lemmas for Inductive Reasoning.

[BibT_eX]

[DOI]

CoRR, 2020

A First-Order Logic with Frames.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2020

2019

Towards a Verified Model of the Algorand Consensus Protocol in Coq.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

Foundations for natural proofs and quantifier instantiation.

[BibT_eX]

[DOI]

Christof Löding

P. Madhusudan

Lucas Peña

Proc. ACM Program. Lang., 2018

Program Verification by Coinduction.

[BibT_eX]

[DOI]

Brandon M. Moore

Lucas Peña

Grigore Rosu

Proceedings of the Programming Languages and Systems, 2018

Lucas Peña

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...