Peter Hawkins

According to our database1, Peter Hawkins authored at least 12 papers between 2004 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Mesh-TensorFlow: Deep Learning for Supercomputers.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Dynamic control flow in large-scale machine learning.
Proceedings of the Thirteenth EuroSys Conference, 2018

2015
Yedalog: Exploring Knowledge at Scale.
Proceedings of the 1st Summit on Advances in Programming Languages, 2015

2012
An introduction to data representation synthesis.
Commun. ACM, 2012

Concurrent data representation synthesis.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Reasoning about Lock Placements.
Proceedings of the Programming Languages and Systems, 2012

2011
Data representation synthesis.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2010
Data Structure Fusion.
Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2007
An overview of the saturn project.
Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

2006
A Hybrid BDD and SAT Finite Domain Constraint Solver.
Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

2005
Solving Set Constraint Satisfaction Problems using ROBDDs.
J. Artif. Intell. Res., 2005

2004
Set Bounds and (Split) Set Domain Propagation Using ROBDDs.
Proceedings of the AI 2004: Advances in Artificial Intelligence, 2004


  Loading...