We found the following 3 published projects which all share the keyword compiled amongst their description of software or software methods used.

Title
Leukaemia Genomics
Leveraging exact floating-point Linear Programming solvers for Satisfiability Modulo Theories
Rocket Benchmarking Project