7 citations · 11 across the 6 of their papers we have counts for
3 papers · 1 filter
MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
Berke Ates, Filip Dobrosavljević, Theodoros Theodoridis +1
Compilers are essential for the performance and correct execution of software and hold universal relevance across various scientific disciplines. Despite this, there is a notable l…
Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
Violet Szabo, Dominik Winterer, Zhendong Su
Today's programmers can choose from an exceptional range of programming languages, each with its own traits, purpose, and complexity. A key aspect of a language's complexity is how…
Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations
Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su
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…