Synthesis and Repair for Functional Programming: A Type- and Test-Driven Approach
Doctoral thesis, 2024
In this thesis, we explore ways of going beyond verification, and how this additional information can aid the developer during development. This can be done in multiple ways, for example, by helping the programmer write an implementation that matches the specification, by helping them track down the source of a bug in the implementation, and automatically repairing an implementation that does not match the specification.
In the first part, I explore the integration of program synthesis into GHC compiler error messages using typed-hole suggestions to aid completion of partial programs during development. In the second part, we present PropR, an automatic repair tool. PropR is based on type-driven synthesis, guided by property-based testing and fault localization in conjunction with genetic algorithms. A rich specification is required for these approaches to be effective. This motivates the third part of this thesis, where we present Spectacular, a specification synthesis tool. Spectacular uses ECTA-based synthesis to automatically infer properties of programs, letting us bootstrap specifications from previous versions.
In the fourth and fifth part of this thesis, we present the lightweight trace-based and spectrum-based fault localization tools CSI: Haskell and TastySpectrum respectively, and explore how we can localize program faults and find likely sources of a bug.
Types
Tests
Compilers
Program Repair
Program Synthesis
Author
Matthías Páll Gissurarson
Chalmers, Computer Science and Engineering (Chalmers), Information Security
Spectacular: Finding Laws from 25 Trillion Terms
Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation, ICST 2023,; (2023)p. 293-304
Paper in proceeding
PropR: Property-Based Automatic Program Repair
Proceedings - International Conference on Software Engineering,; Vol. 2022-May(2022)
Paper in proceeding
Suggesting valid hole fits for typed-holes (experience report)
Haskell 2018 - Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2018,; (2018)p. 179-185
Paper in proceeding
CSI: Haskell - Tracing Lazy Evaluations in a Functional Language
IFL '23: Proceedings of the 35th Symposium on Implementation and Application of Functional Languages,; Vol. 1(2024)p. 1-13
Paper in proceeding
Applis, L., Gissurarson, M.P., Panichella, A. Functional Spectrums - Exploring Spectrum-Based Fault Localization in Functional Programming
Subject Categories
Computer and Information Science
Software Engineering
ISBN
978-91-8103-079-2
Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie: 5537
Publisher
Chalmers