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
CoqPyt: Proof Navigation in Python in the Era of LLMs
How are Contracts Used in Android Mobile Applications?
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
Cite
×