Marc Brockschmidt

According to our database, Marc Brockschmidt authored at least 58 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Timewarp: Transferable Acceleration of Molecular Dynamics by Learning Time-Coarsened Dynamics.

Leon Klein, Andrew Y. K. Foong, Tor Erlend Fjelde, Bruno Mlodozeniec, Marc Brockschmidt, Sebastian Nowozin, Frank Noé, Ryota Tomioka

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2022

HEAT: Hyperedge Attention Networks.

Dobrik Georgiev, Marc Brockschmidt, Miltiadis Allamanis

Trans. Mach. Learn. Res., 2022

Exploring Representation of Horn Clauses using GNNs (Extended Technique Report).

Chencheng Liang, Philipp Rümmer, Marc Brockschmidt

CoRR, 2022

Exploring Representation of Horn clauses using GNNs.

Chencheng Liang, Philipp Rümmer, Marc Brockschmidt

Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11, 2022

Learning to Extend Molecular Scaffolds with Structural Motifs.

Krzysztof Maziarz, Henry Richard Jackson-Flux, Pashmina Cameron, Finton Sirockin, Nadine Schneider, Nikolaus Stiefl, Marwin H. S. Segler, Marc Brockschmidt

Proceedings of the Tenth International Conference on Learning Representations, 2022

Learning to Complete Code with Sketches.

Daya Guo, Alexey Svyatkovskiy, Jian Yin, Nan Duan, Marc Brockschmidt, Miltiadis Allamanis

Proceedings of the Tenth International Conference on Learning Representations, 2022

2021

Learning to Generate Code Sketches.

Daya Guo, Alexey Svyatkovskiy, Jian Yin, Nan Duan, Marc Brockschmidt, Miltiadis Allamanis

CoRR, 2021

Learning to Extend Molecular Scaffolds with Structural Motifs.

Krzysztof Maziarz, Henry Jackson-Flux, Pashmina Cameron, Finton Sirockin, Nadine Schneider, Nikolaus Stiefl, Marc Brockschmidt

CoRR, 2021

FS-Mol: A Few-Shot Learning Dataset of Molecules.

Megan Stanley, John Bronskill, Krzysztof Maziarz, Hubert Misztela, Jessica Lanini, Marwin H. S. Segler, Nadine Schneider, Marc Brockschmidt

Proceedings of the Neural Information Processing Systems Track on Datasets and Benchmarks 1, 2021

Self-Supervised Bug Detection and Repair.

Miltiadis Allamanis, Henry Jackson-Flux, Marc Brockschmidt

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Copy That! Editing Sequences by Copying Spans.

Sheena Panthaplackel, Miltiadis Allamanis, Marc Brockschmidt

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Inferring Lower Runtime Bounds for Integer Programs.

Florian Frohn, Matthias Naaf, Marc Brockschmidt, Jürgen Giesl

ACM Trans. Program. Lang. Syst., 2020

GNN-FiLM: Graph Neural Networks with Feature-wise Linear Modulation.

Marc Brockschmidt

Proceedings of the 37th International Conference on Machine Learning, 2020

Analyzing Information Leakage of Updates to Natural Language Models.

Santiago Zanella Béguelin, Lukas Wutschitz, Shruti Tople, Victor Rühle, Andrew Paverd, Olga Ohrimenko, Boris Köpf, Marc Brockschmidt

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019

Analyzing Privacy Loss in Updates of Natural Language Models.

Shruti Tople, Marc Brockschmidt, Boris Köpf, Olga Ohrimenko, Santiago Zanella Béguelin

CoRR, 2019

Disentangling Interpretable Generative Parameters of Random and Real-World Graphs.

Niklas Stoehr, Marc Brockschmidt, Jan Stuehmer, Emine Yilmaz

CoRR, 2019

CodeSearchNet Challenge: Evaluating the State of Semantic Code Search.

Hamel Husain, Ho-Hsiang Wu, Tiferet Gazit, Miltiadis Allamanis, Marc Brockschmidt

CoRR, 2019

Program Synthesis and Semantic Parsing with Learned Code Idioms.

Eui Chul Richard Shin, Miltiadis Allamanis, Marc Brockschmidt, Alex Polozov

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Learning units-of-measure from scientific code.

Matthew Danish, Miltiadis Allamanis, Marc Brockschmidt, Andrew C. Rice, Dominic Orchard

Proceedings of the 14th International Workshop on Software Engineering for Science, 2019

Learning to Represent Edits.

Pengcheng Yin, Graham Neubig, Miltiadis Allamanis, Marc Brockschmidt, Alexander L. Gaunt

Proceedings of the 7th International Conference on Learning Representations, 2019

Structured Neural Summarization.

Patrick Fernandes, Miltiadis Allamanis, Marc Brockschmidt

Proceedings of the 7th International Conference on Learning Representations, 2019

Generative Code Modeling with Graphs.

Marc Brockschmidt, Miltiadis Allamanis, Alexander L. Gaunt, Oleksandr Polozov

Proceedings of the 7th International Conference on Learning Representations, 2019

2018

Execution-Guided Neural Program Decoding.

Chenglong Wang, Po-Sen Huang, Alex Polozov, Marc Brockschmidt, Rishabh Singh

CoRR, 2018

Learning from code with graphs (keynote).

Marc Brockschmidt

Proceedings of the 4th ACM SIGSOFT International Workshop on NLP for Software Engineering, 2018

Constrained Graph Variational Autoencoders for Molecule Design.

Qi Liu, Miltiadis Allamanis, Marc Brockschmidt, Alexander L. Gaunt

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Graph Partition Neural Networks for Semi-Supervised Classification.

Renjie Liao, Marc Brockschmidt, Daniel Tarlow, Alexander L. Gaunt, Raquel Urtasun, Richard S. Zemel

Proceedings of the 6th International Conference on Learning Representations, 2018

Learning to Represent Programs with Graphs.

Miltiadis Allamanis, Marc Brockschmidt, Mahmoud Khademi

Proceedings of the 6th International Conference on Learning Representations, 2018

2017

Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic.

Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp, Cornelius Aschermann

J. Autom. Reason., 2017

Analyzing Program Termination and Complexity Automatically with AProVE.

Jürgen Giesl, Cornelius Aschermann, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Jera Hensel, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Stephanie Swiderski, René Thiemann

J. Autom. Reason., 2017

SmartPaste: Learning to Adapt Source Code.

Miltiadis Allamanis, Marc Brockschmidt

CoRR, 2017

Proving Termination Through Conditional Termination.

Cristina Borralleras, Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Learning Shape Analysis.

Marc Brockschmidt, Yuxin Chen, Pushmeet Kohli, Siddharth Krishna, Daniel Tarlow

Proceedings of the Static Analysis - 24th International Symposium, 2017

Differentiable Programs with Neural Libraries.

Alexander L. Gaunt, Marc Brockschmidt, Nate Kushman, Daniel Tarlow

Proceedings of the 34th International Conference on Machine Learning, 2017

Neural Program Lattices.

Chengtao Li, Daniel Tarlow, Alexander L. Gaunt, Marc Brockschmidt, Nate Kushman

Proceedings of the 5th International Conference on Learning Representations, 2017

Lifelong Perceptual Programming By Example.

Alexander L. Gaunt, Marc Brockschmidt, Nate Kushman, Daniel Tarlow

Proceedings of the 5th International Conference on Learning Representations, 2017

Neural Functional Programming.

John K. Feser, Marc Brockschmidt, Alexander L. Gaunt, Daniel Tarlow

Proceedings of the 5th International Conference on Learning Representations, 2017

DeepCoder: Learning to Write Programs.

Matej Balog, Alexander L. Gaunt, Marc Brockschmidt, Sebastian Nowozin, Daniel Tarlow

Proceedings of the 5th International Conference on Learning Representations, 2017

Complexity Analysis for Term Rewriting by Integer Transition Systems.

Matthias Naaf, Florian Frohn, Marc Brockschmidt, Carsten Fuhs, Jürgen Giesl

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

Certifying Safety and Termination Proofs for Integer Transition Systems.

Marc Brockschmidt, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada

Proceedings of the Automated Deduction - CADE 26, 2017

2016

Analyzing Runtime and Size Complexity of Integer Programs.

Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Jürgen Giesl

ACM Trans. Program. Lang. Syst., 2016

Gated Graph Sequence Neural Networks.

Yujia Li, Daniel Tarlow, Marc Brockschmidt, Richard S. Zemel

Proceedings of the 4th International Conference on Learning Representations, 2016

Summary - TerpreT: A Probabilistic Programming Language for Program Induction.

Alexander L. Gaunt, Marc Brockschmidt, Rishabh Singh, Nate Kushman, Pushmeet Kohli, Jonathan Taylor, Daniel Tarlow

CoRR, 2016

TerpreT: A Probabilistic Programming Language for Program Induction.

Alexander L. Gaunt, Marc Brockschmidt, Rishabh Singh, Nate Kushman, Pushmeet Kohli, Jonathan Taylor, Daniel Tarlow

CoRR, 2016

T2: Temporal Property Verification.

Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Lower Runtime Bounds for Integer Programs.

Florian Frohn, Matthias Naaf, Jera Hensel, Marc Brockschmidt, Jürgen Giesl

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Compositional Safety Verification with Max-SMT.

Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio

Proceedings of the Formal Methods in Computer-Aided Design, 2015

2014

Termination analysis for imperative programs operating on the heap.

Marc Manuel Johannes Brockschmidt

PhD thesis, 2014

Alternating Runtime and Size Complexity Analysis of Integer Programs.

Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Jürgen Giesl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

CTL+FO verification as constraint solving.

Tewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Proving Termination and Memory Safety for Programs with Pointer Arithmetic.

Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

Proving Termination of Programs Automatically with AProVE.

Jürgen Giesl, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Stephanie Swiderski, René Thiemann

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

Better Termination Proving through Cooperation.

Marc Brockschmidt, Byron Cook, Carsten Fuhs

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Automated Termination Proofs for Java Programs with Cyclic Data.

Marc Brockschmidt, Richard Musiol, Carsten Otto, Jürgen Giesl

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting.

Marc Brockschmidt, Carsten Otto, Jürgen Giesl

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode.

Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl

Proceedings of the Formal Verification of Object-Oriented Software, 2011

The COST IC0701 Verification Competition 2011.

Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich

Proceedings of the Formal Verification of Object-Oriented Software, 2011

2010

Automated Termination Analysis of Java Bytecode by Term Rewriting.

Carsten Otto, Marc Brockschmidt, Christian von Essen, Jürgen Giesl

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

Termination Graphs for Java Bytecode.

Marc Brockschmidt, Carsten Otto, Christian von Essen, Jürgen Giesl

Proceedings of the Verification, Induction, Termination Analysis, 2010