Leonardo Alt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2013–2024
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CAV | SolTG: A CHC-Based Solidity Test Case Generator. | Konstantin Britikov, Ilia Zlatkin, Grigory Fedyukovich, Leonardo Alt, Natasha Sharygina |
| 2022 | CAV | SolCMC: Solidity Compiler's Model Checker. | Leonardo Alt, Martin Blicha, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2020 | ISoLA | Accurate Smart Contract Verification Through Direct Modelling. | Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2018 | ISoLA | SMT-Based Verification of Solidity Smart Contracts. | Leonardo Alt, Christian Reitwiener |
| 2017 | FMCAD | Duality-based interpolation for quantifier-free equalities and uninterpreted functions. | Leonardo Alt, Antti Eero Johannes Hyvrinen, Sepideh Asadi, Natasha Sharygina |
| 2017 | TACAS | HiFrog: SMT-based Function Summarization for Software Verification. | Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2016 | FASE | PVAIR: Partial Variable Assignment InterpolatoR. | Pavel Janck, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvrinen, Jan Kofron, Natasha Sharygina |
| 2016 | SAT | OpenSMT2: An SMT Solver for Multi-core and Cloud Computing. | Antti E. J. Hyvrinen, Matteo Marescotti, Leonardo Alt, Natasha Sharygina |
| 2013 | LPAR | PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification. | Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvrinen, Natasha Sharygina |