| Rethinking attention with performers K Choromanski, V Likhosherstov, D Dohan, X Song, A Gane, T Sarlos, ... arXiv preprint arXiv:2009.14794, 2020 | 477 | 2020 |
| 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 | 233 | 2018 |
| 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 | 171 | 2017 |
| 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 | 144 | 2007 |
| 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 | 104 | 2019 |
| Data representation synthesis P Hawkins, A Aiken, K Fisher, M Rinard, M Sagiv Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011 | 93 | 2011 |
| 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 | 90 | 2017 |
| 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 | 72 | 2012 |
| 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 | 64 | 2018 |
| Solving set constraint satisfaction problems using ROBDDs PJ Hawkins, V Lagoon, PJ Stuckey Journal of Artificial Intelligence Research 24, 109-156, 2005 | 62 | 2005 |
| 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 | 48 | 2015 |
| 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 | 40 | 2020 |
| 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 | 31 | 2018 |
| A hybrid BDD and SAT finite domain constraint solver P Hawkins, PJ Stuckey International Symposium on Practical Aspects of Declarative Languages, 103-117, 2006 | 28 | 2006 |
| An inexpensive sensor for ultraviolet-A and ultraviolet-B radiation JAB Howie, GK Rowles, P Hawkins Measurement Science and Technology 2 (11), 1070, 1991 | 18 | 1991 |
| 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 | 16 | 2018 |
| 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 | 15 | 2019 |
| Set bounds and (split) set domain propagation using ROBDDs P Hawkins, V Lagoon, PJ Stuckey Australasian Joint Conference on Artificial Intelligence, 706-717, 2004 | 12 | 2004 |
| Data structure fusion P Hawkins, A Aiken, K Fisher, M Rinard, M Sagiv Asian Symposium on Programming Languages and Systems, 204-221, 2010 | 11 | 2010 |
| The Saturn program analysis system A Aiken, S Bugrara, I Dillig, T Dillig, B Hackett, P Hawkins Computer science technical report, Stanford University, 2006 | 9 | 2006 |
