3 citations · 3 across the 5 of their papers we have counts for
4 papers · 1 filter
Automated Detection of Algorithm Debt in Deep Learning Frameworks: An Empirical Study
Emmanuel Iko-Ojo Simon, Chirath Hettiarachchi, Alex Potanin +2
Context: Previous studies demonstrate that Machine or Deep Learning (ML/DL) models can detect Technical Debt from source code comments called Self-Admitted Technical Debt (SATD). D…
Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
David Young, Ziyi Yang, Ilya Sergey +1
Synthetic Separation Logic (SSL) is a formalism that powers SuSLik, the state-of-the-art approach for the deductive synthesis of provably-correct programs in C-like languages that…
Evaluating the Language-Based Security for Plugin Development
Naisheng Liang, Alex Potanin
With the increasing popularity of plugin-based software systems, ensuring the security of plugins has become a critical concern. When users install plugins or browse websites with…
Towards improved software visualisation of parameterised REE patterns: Introducing REEkit for geological analysis
Jaxon Kneipp, Alex Potanin, Michael Anenburg
Modern geological studies and mineral exploration techniques rely heavily on being able to digitally visualise and interpret data. Rare earth elements (REEs) are vital for renewabl…