Philip Ginsbach

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 10

Top Topics

Semantic Representations

Program Synthesis

Top Venues

Publications

Philip Ginsbach, Bruce Collie, Michael F. P. O'Boyle
Automatically harnessing sparse acceleration. CC (2020)
Bruce Collie, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, Michael F. P. O'Boyle
M3: Semantic API Migrations. ASE (2020)
Bruce Collie, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, Michael F. P. O'Boyle
M3: Semantic API Migrations. CoRR (2020)
Philip Ginsbach, Bruce Collie, Michael F. P. O'Boyle
Automatically Harnessing Sparse Acceleration. CoRR (2020)
Bruce Collie, Philip Ginsbach, Michael F. P. O'Boyle
Type-Directed Program Synthesis and Constraint Generation for Library Portability. CoRR (2019)
Bruce Collie, Philip Ginsbach, Michael F. P. O'Boyle
Type-Directed Program Synthesis and Constraint Generation for Library Portability. PACT (2019)
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, Stefan Fröhling, Stefan M. Pfister, David T. W. Jones, Karsten Rippe, Benedikt Brors
TelomereHunter - in silico estimation of telomere content and composition from cancer genomes. BMC Bioinform. 20 (1) (2019)
Philip Ginsbach, Lewis Crawford, Michael F. P. O'Boyle
CAnDL: a domain specific language for compiler analysis. CC (2018)
Philip Ginsbach, Toomas Remmelg, Michel Steuwer, Bruno Bodin, Christophe Dubach, Michael F. P. O'Boyle
Automatic Matching of Legacy Code to Heterogeneous APIs: An Idiomatic Approach. ASPLOS (2018)
Philip Ginsbach, Michael F. P. O'Boyle
Discovery and exploitation of general reductions: a constraint based approach. CGO (2017)