Seguir
Marc Brockschmidt
Marc Brockschmidt
Research Scientist, Google DeepMind
Dirección de correo verificada de google.com
Título
Citado por
Citado por
Año
Gated Graph Sequence Neural Networks
Y Li, D Tarlow, M Brockschmidt, R Zemel
International Conference on Learning Representations (ICLR), 2016
43282016
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
11522019
Learning to Represent Programs with Graphs
M Allamanis, M Brockschmidt, M Khademi
International Conference on Learning Representations (ICLR), 2018
10492018
DeepCoder: Learning to Write Programs
M Balog, AL Gaunt, M Brockschmidt, S Nowozin, D Tarlow
International Conference on Learning Representations (ICLR), 2017
7472017
Constrained Graph Variational Autoencoders for Molecule Design
Q Liu, M Allamanis, M Brockschmidt, AL Gaunt
Conference on Neural Information Processing Systems (NeurIPS), 2018
5802018
Structured Neural Summarization
P Fernandes, M Allamanis, M Brockschmidt
International Conference on Learning Representations (ICLR), 2019
2712019
Generative Code Modeling with Graphs
M Brockschmidt, M Allamanis, AL Gaunt, O Polozov
International Conference on Learning Representations (ICLR), 2019
2192019
GNN-FiLM: Graph Neural Networks with Feature-wise Linear Modulation
M Brockschmidt
International Conference on Machine Learning (ICML), 2020
1852020
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
1792017
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
1362020
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
1312014
Learning to Represent Edits
P Yin, G Neubig, M Allamanis, M Brockschmidt, AL Gaunt
International Conference on Learning Representations (ICLR), 2019
1302019
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
1302016
Self-Supervised Bug Detection and Repair
M Allamanis, H Jackson-Flux, M Brockschmidt
Neural Information Processing Systems (NeurIPS), 2021
1272021
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
1162018
Better termination proving through cooperation
M Brockschmidt, B Cook, C Fuhs
International Conference on Computer Aided Verification (CAV), 413-429, 2013
1092013
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
1062010
Program synthesis and semantic parsing with learned code idioms
EC Shin, M Allamanis, M Brockschmidt, A Polozov
Neural Information Processing Systems (NeurIPS), 2019
1032019
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
962016
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
962014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20