Lucas Peña
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2020–2023
on a stage with
- Adithya Muralionce
- Grigore Rosuonce
- Minh-Thai Trinhonce
all 7 in the filters
who talks about the same things
- Adithya Murali6 talks
- P. Madhusudan10 talks
- Sharon Shoham13 talks
- Benjamin Lucien Kaminski14 talks
- Minh-Thai Trinh2 talks
- Oded Padon11 talks
| title | conference | date |
|---|---|---|
| Complete First-Order Reasoning for Properties of Functional Programs | OOPSLA 2023 | 2023-10-23 |
The paper proves that the unfolding-then-SMT procedure (USMT heuristic) used by Liquid Haskell, Leon and Stainless is sound and complete for the combined… | ||
| Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic | OOPSLA 2020 | 2020-11-15 |
A unified proof framework uses matching logic as a base to build automated provers for multiple logics, implementing 11 generic rules (including LFP based on… | ||
| nothing matches | ||