Peter Hawkins
Peter Hawkins
Unknown affiliation
Verified email at cs.stanford.edu
Title
Cited by
Cited by
Year
Human-computer interaction: the human and computer as a team in emergency management information systems
L Carver, M Turoff
Communications of the ACM 50 (3), 33-38, 2007
818*2007
Cognitive computing
DS Modha, R Ananthanarayanan, SK Esser, A Ndirango, AJ Sherbondy, ...
Communications of the ACM 54 (8), 62-71, 2011
3722011
Overview of the JET results in support to ITER
X Litaudon, S Abduallev, M Abhangi, P Abreu, M Afzal, KM Aggarwal, ...
Nuclear Fusion 57 (10), 102001, 2017
1532017
An overview of the Saturn project
A Aiken, S Bugrara, I Dillig, T Dillig, B Hackett, P Hawkins
Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on program analysis for …, 2007
1332007
Mesh-tensorflow: Deep learning for supercomputers
N Shazeer, Y Cheng, N Parmar, D Tran, A Vaswani, P Koanantakool, ...
arXiv preprint arXiv:1811.02084, 2018
1132018
Data representation synthesis
P Hawkins, A Aiken, K Fisher, M Rinard, M Sagiv
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
882011
Concurrent data representation synthesis
P Hawkins, A Aiken, K Fisher, M Rinard, M Sagiv
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012
682012
Efficient generation of energetic ions in multi-ion plasmas by radio-frequency heating
YO Kazakov, J Ongena, JC Wright, SJ Wukitch, E Lerche, MJ Mantsinen, ...
Nature Physics 13 (10), 973-978, 2017
672017
Overview of the JET preparation for deuterium–tritium operation with the ITER like-wall
E Joffrin, S Abduallev, M Abhangi, P Abreu, V Afanasev, M Afzal, ...
Nuclear Fusion 59 (11), 112021, 2019
602019
Solving set constraint satisfaction problems using ROBDDs
PJ Hawkins, V Lagoon, PJ Stuckey
Journal of Artificial Intelligence Research 24, 109-156, 2005
592005
Rethinking attention with performers
K Choromanski, V Likhosherstov, D Dohan, X Song, A Gane, T Sarlos, ...
arXiv preprint arXiv:2009.14794, 2020
472020
Dynamic control flow in large-scale machine learning
Y Yu, M Abadi, P Barham, E Brevdo, M Burrows, A Davis, J Dean, ...
Proceedings of the Thirteenth EuroSys Conference, 1-15, 2018
432018
Yedalog: Exploring knowledge at scale
B Chin, D von Dincklage, V Ercegovac, P Hawkins, MS Miller, F Och, ...
1st Summit on Advances in Programming Languages (SNAPL 2015), 2015
362015
A hybrid BDD and SAT finite domain constraint solver
P Hawkins, PJ Stuckey
International Symposium on Practical Aspects of Declarative Languages, 103-117, 2006
262006
Set bounds and (split) set domain propagation using ROBDDs
P Hawkins, V Lagoon, PJ Stuckey
Australasian Joint Conference on Artificial Intelligence, 706-717, 2004
122004
14 MeV calibration of JET neutron detectors—phase 2: in-vessel calibration
P Batistoni, S Popovichev, Z Ghani, A Cufar, L Giacomelli, P Hawkins, ...
Nuclear Fusion 58 (10), 106016, 2018
112018
Data structure fusion
P Hawkins, A Aiken, K Fisher, M Rinard, M Sagiv
Asian Symposium on Programming Languages and Systems, 204-221, 2010
112010
Sub-millisecond electron density profile measurement at the jet tokamak with the fast lithium beam emission spectroscopy system
DI Réfy, M Brix, R Gomes, B Tál, S Zoletnik, D Dunai, G Kocsis, S Kálvin, ...
Review of Scientific Instruments 89 (4), 043509, 2018
92018
Masked language modeling for proteins via linearly scalable long-context transformers
K Choromanski, V Likhosherstov, D Dohan, X Song, A Gane, T Sarlos, ...
arXiv preprint arXiv:2006.03555, 2020
82020
The Saturn program analysis system
A Aiken, S Bugrara, I Dillig, T Dillig, B Hackett, P Hawkins
Computer science technical report, Stanford University, 2006
82006
The system can't perform the operation now. Try again later.
Articles 1–20