Marc Brockschmidt

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