https://lucaneg.github.io/publications/2018-08-28-tapas-sarl.html 2018-08-28T00:00:00+00:00 https://lucaneg.github.io/talks/2018-08-28-tapas-sarl.html 2018-08-28T00:00:00+00:00 https://lucaneg.github.io/publications/2020-07-20-vstte-sarl.html 2020-07-20T00:00:00+00:00 https://lucaneg.github.io/talks/2020-07-20-vstte-sarl.html 2020-07-20T00:00:00+00:00 https://lucaneg.github.io/publications/2021-01-18-vmcai-tarsis.html 2021-01-18T00:00:00+00:00 https://lucaneg.github.io/talks/2021-01-18-vmcai-tarsis.html 2021-01-18T00:00:00+00:00 https://lucaneg.github.io/publications/2021-06-22-soap-lisa.html 2021-06-22T00:00:00+00:00 https://lucaneg.github.io/talks/2021-06-30-multilang-unive.html 2021-06-30T00:00:00+00:00 https://lucaneg.github.io/talks/2022-01-19-lisa-inria.html 2022-01-19T00:00:00+00:00 https://lucaneg.github.io/publications/2022-06-14-soap-blockchain.html 2022-06-14T00:00:00+00:00 https://lucaneg.github.io/talks/2022-06-15-lisa-unive.html 2022-06-15T00:00:00+00:00 https://lucaneg.github.io/publications/2023-03-13-brain-michelson.html 2023-03-13T00:00:00+00:00 https://lucaneg.github.io/publications/2023-06-17-soap-dataframes.html 2023-06-17T00:00:00+00:00 https://lucaneg.github.io/talks/2023-06-17-soap-dataframes.html 2023-06-17T00:00:00+00:00 https://lucaneg.github.io/publications/2023-07-11-ecoop-nondet.html 2023-07-11T00:00:00+00:00 https://lucaneg.github.io/publications/2023-07-22-csv-lisa.html 2023-07-22T00:00:00+00:00 https://lucaneg.github.io/publications/2024-01-11-dlt-michelson.html 2024-01-11T00:00:00+00:00 https://lucaneg.github.io/publications/2024-02-14-jsep-tarsis.html 2024-02-14T00:00:00+00:00 https://lucaneg.github.io/publications/2024-05-14-dlt-dataact.html 2024-05-14T00:00:00+00:00 https://lucaneg.github.io/publications/2024-06-05-ieeeaccess-phantomreads.html 2024-06-05T00:00:00+00:00 https://lucaneg.github.io/talks/2024-06-24-pldi-tutorial.html 2024-06-24T00:00:00+00:00 https://lucaneg.github.io/publications/2024-09-05-fmtea-teaching.html 2024-09-05T00:00:00+00:00 https://lucaneg.github.io/talks/2024-09-06-lipari-tutorial.html 2024-09-06T00:00:00+00:00 https://lucaneg.github.io/talks/2024-09-10-fmtea-teaching.html 2024-09-10T00:00:00+00:00 https://lucaneg.github.io/publications/2024-09-16-ftfjp-evm.html 2024-09-16T00:00:00+00:00 https://lucaneg.github.io/publications/2024-09-16-ftfjp-microservices.html 2024-09-16T00:00:00+00:00 https://lucaneg.github.io/publications/2024-10-14-iros-ros2.html 2024-10-14T00:00:00+00:00 https://lucaneg.github.io/publications/2024-10-22-nsad-stability.html 2024-10-22T00:00:00+00:00 https://lucaneg.github.io/talks/2024-10-22-nsad-stability.html 2024-10-22T00:00:00+00:00 https://lucaneg.github.io/publications/2024-11-13-ieeeaccess-glps.html 2024-11-13T00:00:00+00:00 https://lucaneg.github.io/publications/2025-01-08-csv-intro.html 2025-01-08T00:00:00+00:00 https://lucaneg.github.io/publications/2025-01-10-csv-ros.html 2025-01-10T00:00:00+00:00 https://lucaneg.github.io/talks/2025-01-13-univr-lisa.html 2025-01-13T00:00:00+00:00 https://lucaneg.github.io/publications/2025-03-31-sac-rw.html 2025-03-31T00:00:00+00:00 https://lucaneg.github.io/publications/2025-03-31-sac-ucci.html 2025-03-31T00:00:00+00:00 https://lucaneg.github.io/publications/2025-09-09-bcra-evm.html 2025-09-09T00:00:00+00:00 https://lucaneg.github.io/publications/2025-09-18-blocktea-termination.html 2025-09-18T00:00:00+00:00 https://lucaneg.github.io/publications/2025-10-21-issre-llms.html 2025-10-21T00:00:00+00:00 https://lucaneg.github.io/publications/2025-11-18-brains-hf-errors.html 2025-11-18T00:00:00+00:00 https://lucaneg.github.io/publications/2026-01-20-fcomp-constraints.html 2026-01-20T00:00:00+00:00 https://lucaneg.github.io/projects/ https://lucaneg.github.io/slides/ https://lucaneg.github.io/papers/ https://lucaneg.github.io/publications/ https://lucaneg.github.io/talks/ https://lucaneg.github.io/ https://lucaneg.github.io/projects/lisa.html https://lucaneg.github.io/phd-thesis.html https://lucaneg.github.io/projects/tarsis.html https://lucaneg.github.io/cv.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/BCRA25.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/BLOCKTEA25.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/BRAIN23.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/BRAINS25.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/CSV23.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/CSV24-INTRO.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/CSV24.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/DLT24.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/DLTRP24.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/ECOOP23.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/FCOMP26.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/FMTEA24.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/FTFJP24-1.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/FTFJP24-2.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/IEEEA24-2.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/IEEEA24.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/IROS24.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/ISSRE25.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/JSEP24.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/NSAD24.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/SAC25-1.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/SAC25-2.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/SOAP21.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/SOAP22.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/SOAP23.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/TAPAS18.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/VMCAI21.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/VSTTE20.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/papers/phd-thesis.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/slides/NSAD24.pdf 2026-02-06T08:54:45+00:00 https://lucaneg.github.io/slides/UNIVR25.pdf 2026-02-06T08:54:45+00:00