Discovery and exploitation of general reductions: a constraint based approach. - Philip Ginsbach; Michael F. P. O'Boyle (CGO, 2017)

Automatic Matching of Legacy Code to Heterogeneous APIs: An Idiomatic Approach. - Philip Ginsbach; Toomas Remmelg; Michel Steuwer; Bruno Bodin; Christophe Dubach; Michael F. P. O'Boyle (ASPLOS, 2018)

CAnDL: a domain specific language for compiler analysis. - Philip Ginsbach; Lewis Crawford; Michael F. P. O'Boyle (CC, 2018)

Type-Directed Program Synthesis and Constraint Generation for Library Portability. - Bruce Collie; Philip Ginsbach; Michael F. P. O'Boyle (PACT, 2019)

TelomereHunter - in silico estimation of telomere content and composition from cancer genomes. - Lars Feuerbach; Lina Sieverling; Katharina I. Deeg; Philip Ginsbach; Barbara Hutter; Ivo Buchhalter; Paul A. Northcott; Sadaf S. Mughal; Priya Chudasama; Hanno Glimm; Claudia Scholl; Peter Lichter; et al. (BMC Bioinform., 2019)

Automatically harnessing sparse acceleration. - Philip Ginsbach; Bruce Collie; Michael F. P. O'Boyle (CC, 2020)

M3: Semantic API Migrations. - Bruce Collie; Philip Ginsbach; Jackson Woodruff; Ajitha Rajan; Michael F. P. O'Boyle (ASE, 2020)

From constraint programming to heterogeneous parallelism. - Philip Ginsbach (2020)