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
1682020
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
1622017
Mesh-tensorflow: Deep learning for supercomputers
N Shazeer, Y Cheng, N Parmar, D Tran, A Vaswani, P Koanantakool, ...
arXiv preprint arXiv:1811.02084, 2018
1502018
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
1382007
Data representation synthesis
P Hawkins, A Aiken, K Fisher, M Rinard, M Sagiv
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
902011
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
772017
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
732019
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
702012
Solving set constraint satisfaction problems using ROBDDs
PJ Hawkins, V Lagoon, PJ Stuckey
Journal of Artificial Intelligence Research 24, 109-156, 2005
622005
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
542018
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
402015
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
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
232020
Modelling of the neutron production in a mixed beam DT neutron generator
A Čufar, P Batistoni, Z Ghani, L Giacomelli, I Lengar, S Loreti, A Milocco, ...
Fusion engineering and design 136, 1089-1093, 2018
122018
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
122018
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
102006
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
Reasoning about lock placements
P Hawkins, A Aiken, K Fisher, M Rinard, M Sagiv
European Symposium on Programming, 336-356, 2012
72012
The system can't perform the operation now. Try again later.
Articles 1–20