Lucas Peña

12 papers A 2Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2023 J jnl
A First-order Logic with Frames.
ACM Trans. Program. Lang. Syst.
Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
2023 J jnl
Complete First-Order Reasoning for Properties of Functional Programs.
Proc. ACM Program. Lang.
Adithya Murali, Lucas Peña, Ranjit Jhala, P. Madhusudan
2022 — conf
Mechanizing Matching Logic in Coq.
FROM
Péter Bereczky, Xiaohong Chen, Dániel Horpácsi, Tamás Bálint Mizsei, Lucas Peña, Jan Tusil
2022 J jnl
Model-guided synthesis of inductive lemmas for FOL with least fixpoints.
Proc. ACM Program. Lang.
Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan
2020 A conf
A First-Order Logic with Frames.
ESOP
Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
2020 J jnl
Synthesizing Lemmas for Inductive Reasoning.
CoRR
Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
2020 J jnl
Towards a unified proof framework for automated fixpoint reasoning using matching logic.
Proc. ACM Program. Lang.
Xiaohong Chen, Minh-Thai Trinh, Nishant Rodrigues, Lucas Peña, Grigore Rosu
2019 J jnl
A First Order Logic with Frames.
CoRR
Christof Löding, P. Madhusudan, Adithya Murali, Lucas Peña
2019 — conf
Towards a Verified Model of the Algorand Consensus Protocol in Coq.
FM Workshops (1)
Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon M. Moore, Karl Palmskog, Lucas Peña, Grigore Rosu
2019 J jnl
Towards a Verified Model of the Algorand Consensus Protocol in Coq.
CoRR
Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon M. Moore, Karl Palmskog, Lucas Peña, Grigore Rosu
2018 J jnl
Foundations for natural proofs and quantifier instantiation.
Proc. ACM Program. Lang.
Christof Löding, P. Madhusudan, Lucas Peña
2018 A conf
Program Verification by Coinduction.
ESOP
Brandon M. Moore, Lucas Peña, Grigore Rosu