Stefanos Chaliasos

Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations

2023 · arXiv (Cornell University)

We introduce a novel approach for testing static typing implementations based on the concept of API-driven program synthesis. The idea is to synthesize type-intensive but small and well-typed programs by leveraging and combining application programming …