Bruce Collie

11 papers A* 1B 4Journal 6

Year	Rank	Type	Title / Venue / Authors
2021	B	`conf`	Program Lifting using Gray-Box Behavior. PACT Bruce Collie, Michael F. P. O'Boyle
2020	J	`jnl`	Automatically Harnessing Sparse Acceleration. CoRR Philip Ginsbach, Bruce Collie, Michael F. P. O'Boyle
2020	B	`conf`	Automatically harnessing sparse acceleration. CC Philip Ginsbach, Bruce Collie, Michael F. P. O'Boyle
2020	A*	`conf`	M3: Semantic API Migrations. ASE Bruce Collie, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, Michael F. P. O'Boyle
2020	J	`jnl`	M3: Semantic API Migrations. CoRR Bruce Collie, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, Michael F. P. O'Boyle
2020	J	`jnl`	Modeling Black-Box Components with Probabilistic Synthesis. CoRR Bruce Collie, Jackson Woodruff, Michael F. P. O'Boyle
2020	B	`conf`	Modeling black-box components with probabilistic synthesis. GPCE Bruce Collie, Jackson Woodruff, Michael F. P. O'Boyle
2020	J	`jnl`	Retrofitting Symbolic Holes to LLVM IR. CoRR Bruce Collie, Michael F. P. O'Boyle
2019	J	`jnl`	Augmenting Type Signatures for Program Synthesis. CoRR Bruce Collie, Michael F. P. O'Boyle
2019	B	`conf`	Type-Directed Program Synthesis and Constraint Generation for Library Portability. PACT Bruce Collie, Philip Ginsbach, Michael F. P. O'Boyle
2019	J	`jnl`	Type-Directed Program Synthesis and Constraint Generation for Library Portability. CoRR Bruce Collie, Philip Ginsbach, Michael F. P. O'Boyle