Lucas Peña

According to our database, Lucas Peña authored at least 9 papers between 2018 and 2023.

Collaborative distances:

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

2023

Complete First-Order Reasoning for Properties of Functional Programs.

Adithya Murali, Lucas Peña, Ranjit Jhala, P. Madhusudan

Proc. ACM Program. Lang., October, 2023

A First-order Logic with Frames.

Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan

ACM Trans. Program. Lang. Syst., June, 2023

2022

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

Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan

Proc. ACM Program. Lang., 2022

Mechanizing Matching Logic in Coq.

Péter Bereczky, Xiaohong Chen, Dániel Horpácsi, Tamás Bálint Mizsei, Lucas Peña, Jan Tusil

Proceedings of the Sixth Working Formal Methods Symposium, 2022

2020

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

Xiaohong Chen, Minh-Thai Trinh, Nishant Rodrigues, Lucas Peña, Grigore Rosu

Proc. ACM Program. Lang., 2020

Synthesizing Lemmas for Inductive Reasoning.

Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan

CoRR, 2020

2019

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

Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon M. Moore, Karl Palmskog, Lucas Peña, Grigore Rosu

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

2018

Foundations for natural proofs and quantifier instantiation.

Christof Löding, P. Madhusudan, Lucas Peña

Proc. ACM Program. Lang., 2018

Program Verification by Coinduction.

Brandon M. Moore, Lucas Peña, Grigore Rosu

Proceedings of the Programming Languages and Systems, 2018