Alan Baker

According to our database, Alan Baker authored at least 9 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Taking Back Control in an Intermediate Representation for GPU Computing.

Vasileios Klimis, Jack Clark, Alan Baker, David Neto, John Wickerson, Alastair F. Donaldson

Proc. ACM Program. Lang., January, 2023

MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications.

Reese Levine, Tianhao Guo, Mingun Cho, Alan Baker, Raph Levien, David Neto, Andrew Quinn, Tyler Sorensen

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2017

Reviews.

Jason Rosenhouse, Alan Baker

Am. Math. Mon., 2017

2016

Parsimony and inference to the best mathematical explanation.

Alan Baker

Synth., 2016

2010

No Reservations Required? Defending Anti-Nominalism.

Alan Baker

Stud Logica, 2010

Simulation-Based Definitions of Emergence.

Alan Baker

J. Artif. Soc. Soc. Simul., 2010

2009

Emergence and Simulation.

Alan Baker

Proceedings of the Complex Sciences, 2009

2006

Book Review: Charles S. Chihara. <i>A Structural Account of Mathematics</i>.

Alan Baker

Notre Dame J. Formal Log., 2006

2003

PB Core-the Public Broadcasting Metadata Initiative: Progress Report.

Alison M. While, Alan Baker, Marty Bloss, Paul E. Burrows, Efthimis N. Efthimiadis, Marcia Brooks, David MacCarn, Thom Shepard, Cate Twohill

Proceedings of the Supporting Communities of Discourse and Practice: Proceedings of the 2003 International Conference on Dublin Core and Metadata Applications, 2003