Peter Hawkins

According to our database, Peter Hawkins authored at least 15 papers between 2004 and 2023.

Collaborative distances:

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

2023

iCan: Psychological Look in Future Using Augmented Reality Technology.

Hessam Rastegari, Hoshang Kolivand, Peter Hawkins

Proceedings of the 15th International Conference on Developments in eSystems Engineering, 2023

2021

Rethinking Attention with Performers.

Krzysztof Marcin Choromanski, Valerii Likhosherstov, David Dohan, Xingyou Song, Andreea Gane, Tamás Sarlós, Peter Hawkins, Jared Quincy Davis, Afroz Mohiuddin, Lukasz Kaiser, David Benjamin Belanger, Lucy J. Colwell, Adrian Weller

Proceedings of the 9th International Conference on Learning Representations, 2021

2018

Mesh-TensorFlow: Deep Learning for Supercomputers.

Noam Shazeer, Youlong Cheng, Niki Parmar, Dustin Tran, Ashish Vaswani, Penporn Koanantakool, Peter Hawkins, HyoukJoong Lee, Mingsheng Hong, Cliff Young, Ryan Sepassi, Blake A. Hechtman

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.

Yuan Yu, Martín Abadi, Paul Barham, Eugene Brevdo, Mike Burrows, Andy Davis, Jeff Dean, Sanjay Ghemawat, Tim Harley, Peter Hawkins, Michael Isard, Manjunath Kudlur, Rajat Monga, Derek Gordon Murray, Xiaoqiang Zheng

Proceedings of the Thirteenth EuroSys Conference, 2018

2015

Yedalog: Exploring Knowledge at Scale.

Brian Chin, Daniel von Dincklage, Vuk Ercegovac, Peter Hawkins, Mark S. Miller, Franz Josef Och, Christopher Olston, Fernando Pereira

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

2012

Data representation synthesis.

Peter Hawkins

PhD thesis, 2012

An introduction to data representation synthesis.

Peter Hawkins, Martin C. Rinard, Alex Aiken, Mooly Sagiv, Kathleen Fisher

Commun. ACM, 2012

Concurrent data representation synthesis.

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Reasoning about Lock Placements.

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv

Proceedings of the Programming Languages and Systems, 2012

2011

Data representation synthesis.

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv

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

2010

Data Structure Fusion.

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2007

An overview of the saturn project.

Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins

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.

Peter Hawkins, Peter J. Stuckey

Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

2005

Solving Set Constraint Satisfaction Problems using ROBDDs.

Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey

J. Artif. Intell. Res., 2005

2004

Set Bounds and (Split) Set Domain Propagation Using ROBDDs.

Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey

Proceedings of the AI 2004: Advances in Artificial Intelligence, 2004