João F. Ferreira
João F. Ferreira
Home
Projects
Publications
Teaching
Blog
Contact
Research Opportunities
Light
Dark
Automatic
Page not found
Perhaps you were looking for one of these?
Latest
Evolution of automated weakness detection in Ethereum bytecode: a comprehensive study
Leveraging Large Language Models to Boost Dafny's Developers Productivity
DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts
Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution
MUFIN: Improving Neural Repair Models with Back-Translation
bGSL: An Imperative Language for Specification and Refinement of Backtracking Programs
GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code
Extending EcoAndroid with Automated Detection of Resource Leaks
Cite
×