List of works - Nuno Saavedra - Paulina

List of works by Nuno Saavedra

CoqPyt: Proof Navigation in Python in the Era of LLMs

scientific article published on 10 July 2024

GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code

scientific article published on 06 January 2023

Leveraging Large Language Models to Boost Dafny’s Developers Productivity

scientific article published on 06 June 2024

SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts

scientific article published on 08 November 2023

Paulina is supported by:

About Paulina

Help