13 citations · 26 across the 7 of their papers we have counts for
8 papers
Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
Hasan Ferit Eniser, Hanliang Zhang, Cristina David +5
Large language models (LLMs) show promise in code translation - the task of translating code written in one programming language to another language - due to their ability to write…
Automatically Testing Functional Properties of Code Translation Models
Hasan Ferit Eniser, Valentin Wüstholz, Maria Christakis
Large language models are becoming increasingly practical for translating code across programming languages, a process known as . Even though automated transpilation s…
Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks
Alperen Tercan, Ahana Ghosh, Hasan Ferit Eniser +2
Block-based visual programming environments play an increasingly important role in introducing computing concepts to K-12 students. In recent years, they have also gained popularit…
Specifying and Testing -Safety Properties for Machine-Learning Models
Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann +2
Machine-learning models are becoming increasingly prevalent in our lives, for instance assisting in image-classification or decision-making tasks. Consequently, the reliability of…
Importance-Driven Deep Learning System Testing
Simos Gerasimou, Hasan Ferit Eniser, Alper Sen +1
Deep Learning (DL) systems are key enablers for engineering intelligent applications due to their ability to solve complex tasks such as image recognition and machine translation.…
RAID: Randomized Adversarial-Input Detection for Neural Networks
Hasan Ferit Eniser, Maria Christakis, Valentin Wüstholz
In recent years, neural networks have become the default choice for image classification and many other learning tasks, even though they are vulnerable to so-called adversarial att…