Follow
Peter Hawkins
Peter Hawkins
Unknown affiliation
Verified email at cs.stanford.edu
Title
Cited by
Cited by
Year
Rethinking attention with performers
K Choromanski, V Likhosherstov, D Dohan, X Song, A Gane, T Sarlos, ...
arXiv preprint arXiv:2009.14794, 2020
4772020
Mesh-tensorflow: Deep learning for supercomputers
N Shazeer, Y Cheng, N Parmar, D Tran, A Vaswani, P Koanantakool, ...
Advances in neural information processing systems 31, 2018
2332018
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
1712017
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
1442007
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
1042019
Data representation synthesis
P Hawkins, A Aiken, K Fisher, M Rinard, M Sagiv
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
932011
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
902017
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
722012
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
642018
Solving set constraint satisfaction problems using ROBDDs
PJ Hawkins, V Lagoon, PJ Stuckey
Journal of Artificial Intelligence Research 24, 109-156, 2005
622005
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
482015
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
402020
W transport and accumulation control in the termination phase of JET H-mode discharges and implications for ITER
F Köchl, A Loarte, E De La Luna, V Parail, G Corrigan, D Harting, I Nunes, ...
Plasma Physics and Controlled Fusion 60 (7), 074008, 2018
312018
A hybrid BDD and SAT finite domain constraint solver
P Hawkins, PJ Stuckey
International Symposium on Practical Aspects of Declarative Languages, 103-117, 2006
282006
An inexpensive sensor for ultraviolet-A and ultraviolet-B radiation
JAB Howie, GK Rowles, P Hawkins
Measurement Science and Technology 2 (11), 1070, 1991
181991
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
162018
Analysis of deposited layers with deuterium and impurity elements on samples from the divertor of JET with ITER-like wall
P Ström, P Petersson, M Rubel, E Fortuna-Zaleśna, A Widdowson, ...
Journal of Nuclear Materials 516, 202-213, 2019
152019
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
Data structure fusion
P Hawkins, A Aiken, K Fisher, M Rinard, M Sagiv
Asian Symposium on Programming Languages and Systems, 204-221, 2010
112010
The Saturn program analysis system
A Aiken, S Bugrara, I Dillig, T Dillig, B Hackett, P Hawkins
Computer science technical report, Stanford University, 2006
92006
The system can't perform the operation now. Try again later.
Articles 1–20