| Gated Graph Sequence Neural Networks Y Li, D Tarlow, M Brockschmidt, R Zemel International Conference on Learning Representations (ICLR), 2016 | 4315 | 2016 |
| CodeSearchNet Challenge: Evaluating the State of Semantic Code Search H Husain, HH Wu, T Gazit, M Allamanis, M Brockschmidt arXiv preprint arXiv:1909.09436, 2019 | 1137 | 2019 |
| Learning to Represent Programs with Graphs M Allamanis, M Brockschmidt, M Khademi International Conference on Learning Representations (ICLR), 2018 | 1044 | 2018 |
| DeepCoder: Learning to Write Programs M Balog, AL Gaunt, M Brockschmidt, S Nowozin, D Tarlow International Conference on Learning Representations (ICLR), 2017 | 744 | 2017 |
| Constrained Graph Variational Autoencoders for Molecule Design Q Liu, M Allamanis, M Brockschmidt, AL Gaunt Conference on Neural Information Processing Systems (NeurIPS), 2018 | 575 | 2018 |
| Structured Neural Summarization P Fernandes, M Allamanis, M Brockschmidt International Conference on Learning Representations (ICLR), 2019 | 269 | 2019 |
| Generative Code Modeling with Graphs M Brockschmidt, M Allamanis, AL Gaunt, O Polozov International Conference on Learning Representations (ICLR), 2019 | 217 | 2019 |
| GNN-FiLM: Graph Neural Networks with Feature-wise Linear Modulation M Brockschmidt International Conference on Machine Learning (ICML), 2020 | 183 | 2020 |
| Analyzing program termination and complexity automatically with AProVE J Giesl, C Aschermann, M Brockschmidt, F Emmes, F Frohn, C Fuhs, ... Journal of Automated Reasoning 58 (1), 3-31, 2017 | 179 | 2017 |
| Analyzing Information Leakage of Updates to Natural Language Models S Zanella-Béguelin, L Wutschitz, S Tople, V Rühle, A Paverd, ... Computer and Communications Security (CCS), 2020 | 135 | 2020 |
| Proving termination of programs automatically with AProVE J Giesl, M Brockschmidt, F Emmes, F Frohn, C Fuhs, C Otto, M Plücker, ... International Joint Conference on Automated Reasoning (IJCAR), 184 - 191, 2014 | 131 | 2014 |
| TerpreT: A Probabilistic Programming Language for Program Induction AL Gaunt, M Brockschmidt, R Singh, N Kushman, P Kohli, J Taylor, ... arXiv preprint arXiv:1608.04428, 2016 | 130 | 2016 |
| Learning to Represent Edits P Yin, G Neubig, M Allamanis, M Brockschmidt, AL Gaunt International Conference on Learning Representations (ICLR), 2019 | 128 | 2019 |
| Self-Supervised Bug Detection and Repair M Allamanis, H Jackson-Flux, M Brockschmidt Neural Information Processing Systems (NeurIPS), 2021 | 126 | 2021 |
| Robust text-to-sql generation with execution-guided decoding C Wang, K Tatwawadi, M Brockschmidt, PS Huang, Y Mao, O Polozov, ... arXiv preprint arXiv:1807.03100, 2018 | 115 | 2018 |
| Better termination proving through cooperation M Brockschmidt, B Cook, C Fuhs International Conference on Computer Aided Verification (CAV), 413-429, 2013 | 109 | 2013 |
| Automated termination analysis of Java Bytecode by term rewriting C Otto, M Brockschmidt, C Von Essen, J Giesl Rewriting Techniques and Applications (RTA), 259-276, 2010 | 106 | 2010 |
| Program synthesis and semantic parsing with learned code idioms EC Shin, M Allamanis, M Brockschmidt, A Polozov Neural Information Processing Systems (NeurIPS), 2019 | 103 | 2019 |
| Analyzing runtime and size complexity of integer programs M Brockschmidt, F Emmes, S Falke, C Fuhs, J Giesl ACM Transactions on Programming Languages and Systems (TOPLAS) 38 (4), 1-50, 2016 | 96 | 2016 |
| Alternating runtime and size complexity analysis of integer programs M Brockschmidt, F Emmes, S Falke, C Fuhs, J Giesl Tools and Algorithms for the Construction and Analysis of Systems (TACAS …, 2014 | 96 | 2014 |
Miltiadis AllamanisGoogle DeepMindVerified email at google.com
