3 citations · 3 across the 5 of their papers we have counts for
6 papers
Reshaping Undergraduate Computer Science Education in the Generative AI Era
Yi-Chieh Lee, Nattapat Boonprakong, Yugin Tan +20
Generative AI represents a turning point for Computer Science (CS) education. In recent decades, post-secondary CS education has largely focused on what has been seen as practical…
A Coq implementation of a Theory of Tagged Objects
Matthew Gates, Alex Potanin
We present a first step towards the Coq implementation of the Theory of Tagged Objects formalism. The concept of tagged types is encoded, and the soundness proofs are discussed wit…
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…