Termination Graphs for Java Bytecode. - Marc Brockschmidt; Carsten Otto; Christian von Essen; Jürgen Giesl (Verification, Induction, Termination Analysis, 2010)

Automated Termination Analysis of Java Bytecode by Term Rewriting. - Carsten Otto; Marc Brockschmidt; Christian von Essen; Jürgen Giesl (RTA, 2010)

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; et al. (FoVeOOS, 2011)

Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode. - Marc Brockschmidt; Thomas Ströder; Carsten Otto; Jürgen Giesl (FoVeOOS, 2011)

Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting. - Marc Brockschmidt; Carsten Otto; Jürgen Giesl (RTA, 2011)

Automated Termination Proofs for Java Programs with Cyclic Data. - Marc Brockschmidt; Richard Musiol; Carsten Otto; Jürgen Giesl (CAV, 2012)

Better Termination Proving through Cooperation. - Marc Brockschmidt; Byron Cook; Carsten Fuhs (CAV, 2013)

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 (IJCAR, 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 (IJCAR, 2014)

CTL+FO verification as constraint solving. - Tewodros A. Beyene; Marc Brockschmidt; Andrey Rybalchenko (SPIN, 2014)

Alternating Runtime and Size Complexity Analysis of Integer Programs. - Marc Brockschmidt; Fabian Emmes; Stephan Falke 001; Carsten Fuhs; Jürgen Giesl (TACAS, 2014)

Termination analysis for imperative programs operating on the heap. - Marc Manuel Johannes Brockschmidt (2014)

Compositional Safety Verification with Max-SMT. - Marc Brockschmidt; Daniel Larraz; Albert Oliveras; Enric Rodríguez-Carbonell; Albert Rubio (FMCAD, 2015)

Lower Runtime Bounds for Integer Programs. - Florian Frohn; Matthias Naaf; Jera Hensel; Marc Brockschmidt; Jürgen Giesl (IJCAR, 2016)

T2: Temporal Property Verification. - Marc Brockschmidt; Byron Cook; Samin Ishtiaq; Heidy Khlaaf; Nir Piterman (TACAS, 2016)

TerpreT: A Probabilistic Programming Language for Program Induction. - Alexander L. Gaunt; Marc Brockschmidt; Rishabh Singh; Nate Kushman; Pushmeet Kohli; Jonathan Taylor 001; Daniel Tarlow (CoRR, 2016)

Summary - TerpreT: A Probabilistic Programming Language for Program Induction. - Alexander L. Gaunt; Marc Brockschmidt; Rishabh Singh; Nate Kushman; Pushmeet Kohli; Jonathan Taylor 001; Daniel Tarlow (CoRR, 2016)

Gated Graph Sequence Neural Networks. - Yujia Li 001; Daniel Tarlow; Marc Brockschmidt; Richard S. Zemel (ICLR (Poster), 2016)

Analyzing Runtime and Size Complexity of Integer Programs. - Marc Brockschmidt; Fabian Emmes; Stephan Falke 001; Carsten Fuhs; Jürgen Giesl (ACM Trans. Program. Lang. Syst., 2016)

Certifying Safety and Termination Proofs for Integer Transition Systems. - Marc Brockschmidt; Sebastiaan J. C. Joosten; René Thiemann; Akihisa Yamada 002 (CADE, 2017)

Complexity Analysis for Term Rewriting by Integer Transition Systems. - Matthias Naaf; Florian Frohn; Marc Brockschmidt; Carsten Fuhs; Jürgen Giesl (FroCoS, 2017)

DeepCoder: Learning to Write Programs. - Matej Balog; Alexander L. Gaunt; Marc Brockschmidt; Sebastian Nowozin; Daniel Tarlow (ICLR (Poster), 2017)

Neural Functional Programming. - John K. Feser; Marc Brockschmidt; Alexander L. Gaunt; Daniel Tarlow (ICLR (Workshop), 2017)

Lifelong Perceptual Programming By Example. - Alexander L. Gaunt; Marc Brockschmidt; Nate Kushman; Daniel Tarlow (ICLR (Workshop), 2017)

Neural Program Lattices. - Chengtao Li; Daniel Tarlow; Alexander L. Gaunt; Marc Brockschmidt; Nate Kushman (ICLR (Poster), 2017)

Differentiable Programs with Neural Libraries. - Alexander L. Gaunt; Marc Brockschmidt; Nate Kushman; Daniel Tarlow (ICML, 2017)

Learning Shape Analysis. - Marc Brockschmidt; Yuxin Chen 001; Pushmeet Kohli; Siddharth Krishna 001; Daniel Tarlow (SAS, 2017)

Proving Termination Through Conditional Termination. - Cristina Borralleras; Marc Brockschmidt; Daniel Larraz; Albert Oliveras; Enric Rodríguez-Carbonell; Albert Rubio (TACAS (1), 2017)

SmartPaste: Learning to Adapt Source Code. - Miltiadis Allamanis; Marc Brockschmidt (CoRR, 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; et al. (J. Autom. Reason., 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)

Learning to Represent Programs with Graphs. - Miltiadis Allamanis; Marc Brockschmidt; Mahmoud Khademi (ICLR, 2018)

Graph Partition Neural Networks for Semi-Supervised Classification. - Renjie Liao; Marc Brockschmidt; Daniel Tarlow; Alexander L. Gaunt; Raquel Urtasun; Richard S. Zemel (ICLR (Workshop), 2018)

Constrained Graph Variational Autoencoders for Molecule Design. - Qi Liu 049; Miltiadis Allamanis; Marc Brockschmidt; Alexander L. Gaunt (NeurIPS, 2018)

Learning from code with graphs (keynote). - Marc Brockschmidt (NL4SE@ESEC/SIGSOFT FSE, 2018)

Execution-Guided Neural Program Decoding. - Chenglong Wang; Po-Sen Huang; Alex Polozov; Marc Brockschmidt; Rishabh Singh (CoRR, 2018)

Generative Code Modeling with Graphs. - Marc Brockschmidt; Miltiadis Allamanis; Alexander L. Gaunt; Oleksandr Polozov (ICLR (Poster), 2019)

Structured Neural Summarization. - Patrick Fernandes; Miltiadis Allamanis; Marc Brockschmidt (ICLR (Poster), 2019)

Learning to Represent Edits. - Pengcheng Yin; Graham Neubig; Miltiadis Allamanis; Marc Brockschmidt; Alexander L. Gaunt (ICLR (Poster), 2019)

Learning units-of-measure from scientific code. - Matthew Danish; Miltiadis Allamanis; Marc Brockschmidt; Andrew C. Rice; Dominic Orchard (SE4Science@ICSE, 2019)

Program Synthesis and Semantic Parsing with Learned Code Idioms. - Eui Chul Richard Shin; Miltiadis Allamanis; Marc Brockschmidt; Alex Polozov (NeurIPS, 2019)

CodeSearchNet Challenge: Evaluating the State of Semantic Code Search. - Hamel Husain; Ho-Hsiang Wu; Tiferet Gazit; Miltiadis Allamanis; Marc Brockschmidt (CoRR, 2019)

Disentangling Interpretable Generative Parameters of Random and Real-World Graphs. - Niklas Stoehr; Marc Brockschmidt; Jan Stuehmer; Emine Yilmaz (CoRR, 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)

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 (CCS, 2020)

GNN-FiLM: Graph Neural Networks with Feature-wise Linear Modulation. - Marc Brockschmidt (ICML, 2020)

Inferring Lower Runtime Bounds for Integer Programs. - Florian Frohn; Matthias Naaf; Marc Brockschmidt; Jürgen Giesl (ACM Trans. Program. Lang. Syst., 2020)

Copy That! Editing Sequences by Copying Spans. - Sheena Panthaplackel; Miltiadis Allamanis; Marc Brockschmidt (AAAI, 2021)

Self-Supervised Bug Detection and Repair. - Miltiadis Allamanis; Henry Jackson-Flux; Marc Brockschmidt (NeurIPS, 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 (NeurIPS Datasets and Benchmarks, 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)

Learning to Generate Code Sketches. - Daya Guo; Alexey Svyatkovskiy; Jian Yin 001; Nan Duan; Marc Brockschmidt; Miltiadis Allamanis (CoRR, 2021)

Learning to Complete Code with Sketches. - Daya Guo; Alexey Svyatkovskiy; Jian Yin 001; Nan Duan; Marc Brockschmidt; Miltiadis Allamanis (ICLR, 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 (ICLR, 2022)

Exploring Representation of Horn clauses using GNNs. - Chencheng Liang; Philipp Rümmer; Marc Brockschmidt (PAAR@IJCAR, 2022)

Exploring Representation of Horn Clauses using GNNs (Extended Technique Report). - Chencheng Liang; Philipp Rümmer; Marc Brockschmidt (CoRR, 2022)

HEAT: Hyperedge Attention Networks. - Dobrik Georgiev; Marc Brockschmidt; Miltiadis Allamanis (Trans. Mach. Learn. Res., 2022)

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 (NeurIPS, 2023)