3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.PL2020
Modeling Black-Box Components with Probabilistic Synthesis
Bruce Collie, Jackson Woodruff, Michael F. P. O'Boyle
This paper is concerned with synthesizing programs based on black-box oracles: we are interested in the case where there exists an executable implementation of a component or libra…
cs.SE2020★ 3 cited
M3: Semantic API Migrations
Bruce Collie, Philip Ginsbach, Jackson Woodruff +2
Library migration is a challenging problem, where most existing approaches rely on prior knowledge. This can be, for example, information derived from changelogs or statistical mod…