Marc Brockschmidt

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 64

Top Topics

Integer Program

Transition Systems

Complexity Analysis

Top Venues

Publications

Leon Klein, Andrew Y. K. Foong, Tor Erlend Fjelde, Bruno Mlodozeniec, Marc Brockschmidt, Sebastian Nowozin, Frank Noé, Ryota Tomioka
Timewarp: Transferable Acceleration of Molecular Dynamics by Learning Time-Coarsened Dynamics. CoRR (2023)
Leon Klein, Andrew Y. K. Foong, Tor Erlend Fjelde, Bruno Mlodozeniec, Marc Brockschmidt, Sebastian Nowozin, Frank Noé, Ryota Tomioka
Timewarp: Transferable Acceleration of Molecular Dynamics by Learning Time-Coarsened Dynamics. NeurIPS (2023)
Krzysztof Maziarz, Henry Richard Jackson-Flux, Pashmina Cameron, Finton Sirockin, Nadine Schneider, Nikolaus Stiefl, Marwin H. S. Segler, Marc Brockschmidt
Learning to Extend Molecular Scaffolds with Structural Motifs. ICLR (2022)
Chencheng Liang, Philipp Rümmer, Marc Brockschmidt
Exploring Representation of Horn clauses using GNNs. PAAR@IJCAR (2022)
Daya Guo, Alexey Svyatkovskiy, Jian Yin, Nan Duan, Marc Brockschmidt, Miltiadis Allamanis
Learning to Complete Code with Sketches. ICLR (2022)
Chencheng Liang, Philipp Rümmer, Marc Brockschmidt
Exploring Representation of Horn Clauses using GNNs (Extended Technique Report). CoRR (2022)
Dobrik Georgiev, Marc Brockschmidt, Miltiadis Allamanis
HEAT: Hyperedge Attention Networks. CoRR (2022)
Dobrik Georgiev, Marc Brockschmidt, Miltiadis Allamanis
HEAT: Hyperedge Attention Networks. Trans. Mach. Learn. Res. 2022 (2022)
Megan Stanley, John Bronskill, Krzysztof Maziarz, Hubert Misztela, Jessica Lanini, Marwin H. S. Segler, Nadine Schneider, Marc Brockschmidt
FS-Mol: A Few-Shot Learning Dataset of Molecules. NeurIPS Datasets and Benchmarks (2021)
Daya Guo, Alexey Svyatkovskiy, Jian Yin, Nan Duan, Marc Brockschmidt, Miltiadis Allamanis
Learning to Generate Code Sketches. CoRR (2021)
Krzysztof Maziarz, Henry Jackson-Flux, Pashmina Cameron, Finton Sirockin, Nadine Schneider, Nikolaus Stiefl, Marc Brockschmidt
Learning to Extend Molecular Scaffolds with Structural Motifs. CoRR (2021)
Miltiadis Allamanis, Henry Jackson-Flux, Marc Brockschmidt
Self-Supervised Bug Detection and Repair. NeurIPS (2021)
Miltiadis Allamanis, Henry Jackson-Flux, Marc Brockschmidt
Self-Supervised Bug Detection and Repair. CoRR (2021)
Sheena Panthaplackel, Miltiadis Allamanis, Marc Brockschmidt
Copy That! Editing Sequences by Copying Spans. AAAI (2021)
Florian Frohn, Matthias Naaf, Marc Brockschmidt, Jürgen Giesl
Inferring Lower Runtime Bounds for Integer Programs. ACM Trans. Program. Lang. Syst. 42 (3) (2020)
Sheena Panthaplackel, Miltiadis Allamanis, Marc Brockschmidt
Copy that! Editing Sequences by Copying Spans. CoRR (2020)
Marc Brockschmidt
GNN-FiLM: Graph Neural Networks with Feature-wise Linear Modulation. ICML (2020)
Santiago Zanella Béguelin, Lukas Wutschitz, Shruti Tople, Victor Rühle, Andrew Paverd, Olga Ohrimenko, Boris Köpf, Marc Brockschmidt
Analyzing Information Leakage of Updates to Natural Language Models. CCS (2020)
Eui Chul Richard Shin, Miltiadis Allamanis, Marc Brockschmidt, Alex Polozov
Program Synthesis and Semantic Parsing with Learned Code Idioms. NeurIPS (2019)
Florian Frohn, Matthias Naaf, Marc Brockschmidt, Jürgen Giesl
Inferring Lower Runtime Bounds for Integer Programs. CoRR (2019)
Richard Shin, Miltiadis Allamanis, Marc Brockschmidt, Oleksandr Polozov
Program Synthesis and Semantic Parsing with Learned Code Idioms. CoRR (2019)
Marc Brockschmidt
GNN-FiLM: Graph Neural Networks with Feature-wise Linear Modulation. CoRR (2019)
Niklas Stoehr, Marc Brockschmidt, Jan Stuehmer, Emine Yilmaz
Disentangling Interpretable Generative Parameters of Random and Real-World Graphs. CoRR (2019)
Hamel Husain, Ho-Hsiang Wu, Tiferet Gazit, Miltiadis Allamanis, Marc Brockschmidt
CodeSearchNet Challenge: Evaluating the State of Semantic Code Search. CoRR (2019)
Pengcheng Yin, Graham Neubig, Miltiadis Allamanis, Marc Brockschmidt, Alexander L. Gaunt
Learning to Represent Edits. ICLR (Poster) (2019)
Patrick Fernandes, Miltiadis Allamanis, Marc Brockschmidt
Structured Neural Summarization. ICLR (Poster) (2019)
Shruti Tople, Marc Brockschmidt, Boris Köpf, Olga Ohrimenko, Santiago Zanella Béguelin
Analyzing Privacy Loss in Updates of Natural Language Models. CoRR (2019)
Marc Brockschmidt, Miltiadis Allamanis, Alexander L. Gaunt, Oleksandr Polozov
Generative Code Modeling with Graphs. ICLR (Poster) (2019)
Matthew Danish, Miltiadis Allamanis, Marc Brockschmidt, Andrew C. Rice, Dominic Orchard
Learning units-of-measure from scientific code. SE4Science@ICSE (2019)
Marc Brockschmidt, Miltiadis Allamanis, Alexander L. Gaunt, Oleksandr Polozov
Generative Code Modeling with Graphs. CoRR (2018)
Qi Liu, Miltiadis Allamanis, Marc Brockschmidt, Alexander L. Gaunt
Constrained Graph Variational Autoencoders for Molecule Design. CoRR (2018)
Renjie Liao, Marc Brockschmidt, Daniel Tarlow, Alexander L. Gaunt, Raquel Urtasun, Richard S. Zemel
Graph Partition Neural Networks for Semi-Supervised Classification. ICLR (Workshop) (2018)
Patrick Fernandes, Miltiadis Allamanis, Marc Brockschmidt
Structured Neural Summarization. CoRR (2018)
Renjie Liao, Marc Brockschmidt, Daniel Tarlow, Alexander L. Gaunt, Raquel Urtasun, Richard S. Zemel
Graph Partition Neural Networks for Semi-Supervised Classification. CoRR (2018)
Miltiadis Allamanis, Marc Brockschmidt, Mahmoud Khademi
Learning to Represent Programs with Graphs. ICLR (2018)
Marc Brockschmidt
Learning from code with graphs (keynote). NL4SE@ESEC/SIGSOFT FSE (2018)
Chenglong Wang, Po-Sen Huang, Alex Polozov, Marc Brockschmidt, Rishabh Singh
Execution-Guided Neural Program Decoding. CoRR (2018)
Qi Liu, Miltiadis Allamanis, Marc Brockschmidt, Alexander L. Gaunt
Constrained Graph Variational Autoencoders for Molecule Design. NeurIPS (2018)
Pengcheng Yin, Graham Neubig, Miltiadis Allamanis, Marc Brockschmidt, Alexander L. Gaunt
Learning to Represent Edits. CoRR (2018)
Alexander L. Gaunt, Marc Brockschmidt, Nate Kushman, Daniel Tarlow
Lifelong Perceptual Programming By Example. ICLR (Workshop) (2017)
Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp, Cornelius Aschermann
Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic. J. Autom. Reason. 58 (1) (2017)
Chengtao Li, Daniel Tarlow, Alexander L. Gaunt, Marc Brockschmidt, Nate Kushman
Neural Program Lattices. ICLR (Poster) (2017)
Miltiadis Allamanis, Marc Brockschmidt
SmartPaste: Learning to Adapt Source Code. CoRR (2017)
Cristina Borralleras, Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
Proving Termination Through Conditional Termination. TACAS (1) (2017)
Miltiadis Allamanis, Marc Brockschmidt, Mahmoud Khademi
Learning to Represent Programs with Graphs. CoRR (2017)
John K. Feser, Marc Brockschmidt, Alexander L. Gaunt, Daniel Tarlow
Neural Functional Programming. ICLR (Workshop) (2017)
Marc Brockschmidt, Yuxin Chen, Pushmeet Kohli, Siddharth Krishna, Daniel Tarlow
Learning Shape Analysis. SAS (2017)
Marc Brockschmidt, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
Certifying Safety and Termination Proofs for Integer Transition Systems. CADE (2017)
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
Analyzing Program Termination and Complexity Automatically with AProVE. J. Autom. Reason. 58 (1) (2017)
Matthias Naaf, Florian Frohn, Marc Brockschmidt, Carsten Fuhs, Jürgen Giesl
Complexity Analysis for Term Rewriting by Integer Transition Systems. FroCoS (2017)
Alexander L. Gaunt, Marc Brockschmidt, Nate Kushman, Daniel Tarlow
Differentiable Programs with Neural Libraries. ICML (2017)
Matej Balog, Alexander L. Gaunt, Marc Brockschmidt, Sebastian Nowozin, Daniel Tarlow
DeepCoder: Learning to Write Programs. ICLR (Poster) (2017)
Yujia Li, Daniel Tarlow, Marc Brockschmidt, Richard S. Zemel
Gated Graph Sequence Neural Networks. ICLR (Poster) (2016)
Alexander L. Gaunt, Marc Brockschmidt, Nate Kushman, Daniel Tarlow
Lifelong Perceptual Programming By Example. CoRR (2016)
John K. Feser, Marc Brockschmidt, Alexander L. Gaunt, Daniel Tarlow
Neural Functional Programming. CoRR (2016)
Florian Frohn, Matthias Naaf, Jera Hensel, Marc Brockschmidt, Jürgen Giesl
Lower Runtime Bounds for Integer Programs. IJCAR (2016)
Alexander L. Gaunt, Marc Brockschmidt, Rishabh Singh, Nate Kushman, Pushmeet Kohli, Jonathan Taylor, Daniel Tarlow
TerpreT: A Probabilistic Programming Language for Program Induction. CoRR (2016)
Matej Balog, Alexander L. Gaunt, Marc Brockschmidt, Sebastian Nowozin, Daniel Tarlow
DeepCoder: Learning to Write Programs. CoRR (2016)
Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Jürgen Giesl
Analyzing Runtime and Size Complexity of Integer Programs. ACM Trans. Program. Lang. Syst. 38 (4) (2016)
Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman
T2: Temporal Property Verification. TACAS (2016)
Alexander L. Gaunt, Marc Brockschmidt, Rishabh Singh, Nate Kushman, Pushmeet Kohli, Jonathan Taylor, Daniel Tarlow
Summary - TerpreT: A Probabilistic Programming Language for Program Induction. CoRR (2016)
Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman
T2: Temporal Property Verification. CoRR (2015)
Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
Compositional Safety Verification with Max-SMT. FMCAD (2015)
Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
Compositional Safety Verification with Max-SMT. CoRR (2015)
Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp
Proving Termination and Memory Safety for Programs with Pointer Arithmetic. IJCAR (2014)
Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Jürgen Giesl
Alternating Runtime and Size Complexity Analysis of Integer Programs. TACAS (2014)
Tewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko
CTL+FO Verification as Constraint Solving. CoRR (2014)
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
Proving Termination of Programs Automatically with AProVE. IJCAR (2014)
Tewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko
CTL+FO verification as constraint solving. SPIN (2014)
Marc Brockschmidt, Byron Cook, Carsten Fuhs
Better Termination Proving through Cooperation. CAV (2013)
Marc Brockschmidt, Richard Musiol, Carsten Otto, Jürgen Giesl
Automated Termination Proofs for Java Programs with Cyclic Data. CAV (2012)
Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl
Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode. FoVeOOS (2011)
Marc Brockschmidt, Carsten Otto, Jürgen Giesl
Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting. RTA (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
The COST IC0701 Verification Competition 2011. FoVeOOS (2011)
Carsten Otto, Marc Brockschmidt, Christian von Essen, Jürgen Giesl
Automated Termination Analysis of Java Bytecode by Term Rewriting. RTA (2010)
Marc Brockschmidt, Carsten Otto, Christian von Essen, Jürgen Giesl
Termination Graphs for Java Bytecode. Verification, Induction, Termination Analysis (2010)