Theoretical evaluation of the potential advantages of cloud IDEs for research and didactics. - Leonhard Applis (SKILL, 2019)

Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations. - Leonhard Applis; Annibale Panichella; Arie van Deursen (ASE, 2021)

PROPR: Property-Based Automatic Program Repair. - Matthías Páll Gissurarson; Leonhard Applis; Annibale Panichella; Arie van Deursen; David Sands 001 (ICSE, 2022)

Reproduction: Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations. - Leonhard Applis; Annibale Panichella; Arie van Deursen (Zenodo, 2022)

Reproduction: Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations. - Leonhard Applis; Annibale Panichella; Arie van Deursen (Zenodo, 2022)

Reproduction: Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations. - Leonhard Applis; Annibale Panichella; Arie van Deursen (Zenodo, 2022)

Searching for Quality: Genetic Algorithms and Metamorphic Testing for Software Engineering ML. - Leonhard Applis; Annibale Panichella; Ruben Marang (GECCO, 2023)

CSI: Haskell - Tracing Lazy Evaluations in a Functional Language. - Matthías Páll Gissurarson; Leonhard Herbert Applis (IFL, 2023)

HasBugs - Handpicked Haskell Bugs. - Leonhard Applis; Annibale Panichella (MSR, 2023)

What about Haskell Bugs? Adapting bug taxonomies to Haskell's features and community. - Razvan Nistor; Leonhard Applis (IFL, 2024)

Suspicious Types and Bad Neighborhoods: Filtering Spectra with Compiler Information. - Leonhard Applis; Matthías Páll Gissurarson; Annibale Panichella (ICST, 2025)

Unified Software Engineering agent as AI Software Engineer. - Leonhard Applis; Yuntong Zhang 002; Shanchao Liang; Nan Jiang 012; Lin Tan 001; Abhik Roychoudhury (CoRR, 2025)