E-LIB Suche - Ergebnisse für: Collie, Bruce

1

M3 : semantic API migrations:

, In: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering,

Collie, Bruce ; Ginsbach, Philip ; Woodruff, Jackson.. - p. 90-102 , 2020

Link: https://dl.acm.org/doi/1..

2

Automatically harnessing sparse acceleration:

, In: Proceedings of the 29th International Conference on Compiler Construction,

Ginsbach, Philip ; Collie, Bruce ; O'Boyle, Michael F. P. - p. 179-190 , 2020

Link: https://dl.acm.org/doi/1..

3

Modeling black-box components with probabilistic synthesis:

, In: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,

Collie, Bruce ; Woodruff, Jackson ; O'Boyle, Michael F. P. - p. 1-14 , 2020

Link: https://dl.acm.org/doi/1..

4

Type-Directed Program Synthesis and Constraint Generation f..:

, In: 2019 28th International Conference on Parallel Architectures and Compilation Techniques (PACT),

Collie, Bruce ; Ginsbach, Philip ; O'Boyle, Michael F.P. - p. 55-67 , 2019

Link: https://doi.org/10.1109/..

5

M3: Semantic API Migrations:

Collie, Bruce ; Ginsbach, Philip ; Woodruff, Jackson..
http://arxiv.org/abs/2008.12118. , 2020

Link: http://arxiv.org/abs/200..

6

Automatically Harnessing Sparse Acceleration:

Ginsbach, Philip ; Collie, Bruce ; O'Boyle, Michael F. P
http://arxiv.org/abs/2001.07938. , 2020

Link: http://arxiv.org/abs/200..

7

Retrofitting Symbolic Holes to LLVM IR:

Collie, Bruce ; O'Boyle, Michael
http://arxiv.org/abs/2006.05875. , 2020

Link: http://arxiv.org/abs/200..

8

Modeling Black-Box Components with Probabilistic Synthesis:

Collie, Bruce ; Woodruff, Jackson ; O'Boyle, Michael F. P
http://arxiv.org/abs/2010.04811. , 2020

Link: http://arxiv.org/abs/201..

9

Augmenting Type Signatures for Program Synthesis:

Collie, Bruce ; O'Boyle, Michael
http://arxiv.org/abs/1907.05649. , 2019

Link: http://arxiv.org/abs/190..

10

Type-Directed Program Synthesis and Constraint Generation f..:

Collie, Bruce ; Ginsbach, Philip ; O'Boyle, Michael F. P
http://arxiv.org/abs/1908.04546. , 2019

Link: http://arxiv.org/abs/190..

11

Obesity caused by an OVOL2 mutation reveals dual roles of O..:

Zhang, Zhao ; Jiang, Yiao ; Su, Lijing...
Cell Metabolism. 34 (2022) 11 - p. 1860-1874.e4 , 2022

Link: https://doi.org/10.1016/..

12

Relationship between thoracic auscultation and lung patholo..:

Scott, Phil ; Collie, Dave ; McGorum, Bruce.
The Veterinary Journal. 186 (2010) 1 - p. 53-57 , 2010

Link: https://doi.org/10.1016/..

13

Prioritization of knowledge‐needs to achieve best practices..:

Kaiser, Michel J ; Hilborn, Ray ; Jennings, Simon...
Fish and Fisheries. 17 (2015) 3 - p. 637-663 , 2015

Link: https://doi.org/10.1111/..

14

Phenotypic Characterization of EnterotoxigenicClostridium p..:

Collie, Renee E ; Kokai-Kun, John F ; McClane, Bruce A
Anaerobe. 4 (1998) 2 - p. 69-79 , 1998

Link: https://doi.org/10.1006/..

15

Regulation of Enterotoxin Production in Clostridium perfrin..:

, In: The Clostridia,

Melville, Stephen B. ; Collie, Renée E. ; McClane, Bruce A. - p. 471-487 , 1997

Link: https://doi.org/10.1016/..