51 citations · 52 across the 2 of their papers we have counts for
2 papers
cs.PL2024★ 1 cited
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…
cs.SE2020★ 51 cited
On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers
Dominik Winterer, Chengyu Zhang, Zhendong Su
We propose type-aware operator mutation, a simple, but unusually effective approach for testing SMT solvers. The key idea is to mutate operators of conforming types within the seed…