Lucas Peña

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 12

Top Topics

Top Venues

Proc. ACM Program. Lang.

FM Workshops (1)

Publications

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