Total Supervisions: 45

  • Machine Learning Techniques for Reliable Infrastructure Code
    Sancha Barroso
    João F. Ferreira (advisor), Alberto Abad (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2023-02-01 - Ongoing
  • Automated Program Repair of Persistent Programs (Working title)
    Rodrigo Antunes
    João F. Ferreira (advisor),
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-10-01 - Ongoing
  • Automatic Detection of Code Smells in Docker (Working title)
    Miguel Henriques
    João F. Ferreira (advisor), Alexandra Mendes (FEUP) (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-10-01 - Ongoing
  • Automatic Detection of Code Smells in Terraform (Working title)
    João Gonçalves
    João F. Ferreira (advisor), Alexandra Mendes (FEUP) (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-10-01 - Ongoing
  • Automatic Source Code Summarization using Transformers
    Bernardo Lourenço
    Alberto Abad (advisor), João F. Ferreira (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-10-01 - 2023-11-20
  • Extending EcoAndroid with Automated Energy Profiling (Working title)
    Miguel Jardim
    João F. Ferreira (advisor), Alexandra Mendes (FEUP) (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-10-01 - Ongoing
  • RPTester: Randomized Persistency Testing of File-Manipulating Programs (Working title)
    André Figueiredo
    João F. Ferreira (advisor),
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-10-01 - Ongoing
  • Studying Contract Usage in Android Mobile Applications (Working title)
    David Ferreira
    Alexandra Mendes (advisor), João F. Ferreira (coadvisor)
    Master's Thesis, Faculdade de Engenharia da Universidade do Porto, 2022-10-01 - Ongoing
  • Automated Detection of Errors and Security Vulnerabilities in Infrastructure as Code Scripts"
    Simão Fonseca
    João F. Ferreira (advisor), Alexandra Mendes (FEUP) (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-09-22 - Ongoing
  • An Investigation Into User Expectations for Formal Verification (Working title)
    Mariana Soares
    Alexandra Mendes (advisor), João F. Ferreira (coadvisor)
    Master's Thesis, Faculdade de Engenharia da Universidade do Porto, 2022-03-01 - Ongoing
  • A Comparative Study of Self-Supervised Learning Techniques for Functional Program Repair
    André Nunes Silva
    João F. Ferreira (advisor), Martin Monperrus, KTH Royal Institute of Technology (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-10-01 - 2022-11-01
  • Automated Program Repair of Dafny Programs: Repairing Arithmetic Programs
    Hugo Rafael Fecha Martins
    João F. Ferreira (advisor), Alexandra Mendes (FEUP) (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-10-01 - 2022-11-01
  • Automatic Bug Prioritization of SmartBugs Reports using Machine Learning
    João Dinis
    João F. Ferreira (advisor), Rui Abreu (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-10-01 - 2022-11-01
  • Extending the Concert Framework to Verify Solana Programs
    João Gomes
    João F. Ferreira (advisor), Pedro Adão (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-10-01 - 2022-11-01
  • Formal Specification and Verification of the Lazy JellyFish Skip List: A Case Study in Iris on the Verification of Concurrent Maps with Version Control
    Pedro Carrott
    João F. Ferreira (advisor),
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-10-01 - 2022-11-01
  • GLITCH: Polyglot Code Smell Detection for Infrastructure as Code
    Nuno Saavedra
    João F. Ferreira (advisor),
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-10-01 - 2022-11-01
  • Reasoning About Persistent and Concurrent Data Structures: Evaluating the Persistent Owicki-Gries Program Logic Through the Verification of a Persistent Queue
    Francisco Mendes
    João F. Ferreira (advisor),
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-10-01 - 2022-11-01
  • Towards Formal Verification of Variational Quantum Algorithms (Working title)
    Marcelo Mouta
    João F. Ferreira (advisor),
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-10-01 - Ongoing
  • A Study on Generating Q# Quantum Programs using a Sequence-To-Sequence Machine Learning model
    Miguel Trinca
    João F. Ferreira (advisor), Rui Abreu (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-02-01 - 2022-11-01
  • Using Natural Language Processing to Find Bugs in Java Source Code
    Alexandre Simão Pereira Faria
    João F. Ferreira (advisor), Alberto Abad (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-11-01 - Ongoing
  • A Static Analysis-based Platform-as-Service to Improve the Quality of Smart Contracts
    Dinis Araújo
    João F. Ferreira (advisor), Rui Abreu (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2021-11-01
  • Development of a Multi-Platform Whiteboard Application
    Lucas Soares
    João F. Ferreira (advisor), Alexandra Mendes (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2021-11-01
  • Extending EcoAndroid with Automated Detection of Resource Leaks
    Ricardo Pereira
    João F. Ferreira (advisor),
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2021-11-01
  • Formal Verification of Password Generation Algorithms used in Password Managers
    Miguel Grilo
    João F. Ferreira (advisor), José Bacelar Almeida (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2021-11-01
  • Mechanizing Feng-Ying Quantum Hoare Logic in Coq for Formal Proofs of Programs with Quantum and Classical Variables
    Mustafa Khalil
    João F. Ferreira (advisor),
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2021-12-01
  • Migrating Smart Contracts Across Heterogeneous Blockchains
    Luís Abrunhosa
    João F. Ferreira (advisor), André Vasconcelos (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2021-11-01
  • On Usable Security and Verified Password Managers
    Carolina Carreira
    João F. Ferreira (advisor), Alexandra Mendes (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2021-11-01
  • Persistence of Passwords in Bitwarden's Browser Extension: Unnecessary Retention and Solutions
    Rafael Prates
    João F. Ferreira (advisor), Alexandra Mendes (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2022-05-01
  • Persistent and Lock-Free Data Structures for Non-Volatile Memories (working title)
    André Martins
    João F. Ferreira (advisor),
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - Ongoing
  • Refining High-Level Specifications of Decentralized Finance Protocols to EVM bytecode using the K framework
    Tiago Barbosa
    João F. Ferreira (advisor), Alexandra Mendes (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2021-12-01
  • SmartPasswords: Increasing Password Managers' Usability by Generating Compliant Passwords
    João Campos
    João F. Ferreira (advisor), Alexandra Mendes (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2021-11-01
  • Prioritizing Facebook´s Infer Static Analysis Tool Warnings
    João Francisco Roberto Martins
    João F. Ferreira (advisor), Rui Abreu (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-02-01 - 2020-11-01
  • Formal Verification of Pointer-Based Splay Trees in Iris
    Ricardo Ciríaco da Graça
    João F. Ferreira (advisor), Simão Melo de Sousa (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-01-01 - 2020-12-01
  • Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
    Rui Lima
    João F. Ferreira (advisor),
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-09-01 - 2020-12-01
  • EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications
    Ana Sofia Gonçalves Ribeiro
    João F. Ferreira (advisor),
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-09-01 - 2020-12-01
  • Practical Detection of JavaScript Concurrency Bugs using Callback Graphs
    Bernardo Vasconcelos Freitas de Almeida Furet
    João F. Ferreira (advisor),
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-09-01 - 2020-11-01
  • Towards Automated Checking of Input Data Usage with Facebook Infer
    Rui Ferreira
    João F. Ferreira (advisor), Rui Abreu (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-09-01 - 2020-12-01
  • Verification of Auction-Based Smart Contracts using the ConCert Framework
    Diogo Patrício
    João F. Ferreira (advisor), Alexandra Mendes (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-09-01 - 2021-11-01
  • Evaluating Password Strength Meters and Password Composition Policies using Guessing Attacks
    David Filipe Borges Pereira
    João F. Ferreira (advisor),
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-03-01 - 2020-09-01
  • IntelliComment: An IDE Plugin to Improve Java Source Code Using Comments
    Francisco Machado Duarte
    João F. Ferreira (advisor), Alberto Abad (coadvisor)
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-02-01 - 2020-09-01
  • A Study of Static Analysis Tools for Ethereum Smart Contracts
    António Pedro Cruz Monteiro
    João F. Ferreira (advisor),
    Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2018-10-01 - 2019-11-01