Leonhard Applis

Orcid: 0000-0002-4341-8840

According to our database1, Leonhard Applis authored at least 12 papers between 2019 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Unified Software Engineering agent as AI Software Engineer.
CoRR, June, 2025

Suspicious Types and Bad Neighborhoods: Filtering Spectra with Compiler Information.
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2025

2024
What about Haskell Bugs? Adapting bug taxonomies to Haskell's features and community.
Proceedings of the 36th Symposium on Implementation and Application of Functional Languages, 2024

2023
HasBugs - Handpicked Haskell Bugs.
Proceedings of the 20th IEEE/ACM International Conference on Mining Software Repositories, 2023

CSI: Haskell - Tracing Lazy Evaluations in a Functional Language.
Proceedings of the 35th Symposium on Implementation and Application of Functional Languages, 2023

Searching for Quality: Genetic Algorithms and Metamorphic Testing for Software Engineering ML.
Proceedings of the Genetic and Evolutionary Computation Conference, 2023

2022
Reproduction: Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations.
Dataset, March, 2022

Reproduction: Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations.
Dataset, March, 2022

Reproduction: Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations.
Dataset, March, 2022

PROPR: Property-Based Automatic Program Repair.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021
Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2019
Theoretical evaluation of the potential advantages of cloud IDEs for research and didactics.
Proceedings of the Studierendenkonferenz Informatik, 2019


  Loading...