Marc Brockschmidt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
10
Active years
2012–2022
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ICLR | Learning to Complete Code with Sketches. | Daya Guo, Alexey Svyatkovskiy, Jian Yin, Nan Duan, Marc Brockschmidt, Miltiadis Allamanis |
| 2022 | ICLR | 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 |
| 2021 | AAAI | Copy That! Editing Sequences by Copying Spans. | Sheena Panthaplackel, Miltiadis Allamanis, Marc Brockschmidt |
| 2020 | CCS | Analyzing Information Leakage of Updates to Natural Language Models. | Santiago Zanella-Bguelin, Lukas Wutschitz, Shruti Tople, Victor Rhle, Andrew Paverd, Olga Ohrimenko, Boris Kpf, Marc Brockschmidt |
| 2020 | ICML | GNN-FiLM: Graph Neural Networks with Feature-wise Linear Modulation. | Marc Brockschmidt |
| 2019 | ICLR | Generative Code Modeling with Graphs. | Marc Brockschmidt, Miltiadis Allamanis, Alexander L. Gaunt, Oleksandr Polozov |
| 2019 | ICLR | Structured Neural Summarization. | Patrick Fernandes, Miltiadis Allamanis, Marc Brockschmidt |
| 2019 | ICLR | Learning to Represent Edits. | Pengcheng Yin, Graham Neubig, Miltiadis Allamanis, Marc Brockschmidt, Alexander L. Gaunt |
| 2019 | ICSE | Learning units-of-measure from scientific code. | Matthew Danish, Miltiadis Allamanis, Marc Brockschmidt, Andrew C. Rice, Dominic Orchard |
| 2018 | ICLR | Learning to Represent Programs with Graphs. | Miltiadis Allamanis, Marc Brockschmidt, Mahmoud Khademi |
| 2018 | ICLR | Graph Partition Neural Networks for Semi-Supervised Classification. | Renjie Liao, Marc Brockschmidt, Daniel Tarlow, Alexander L. Gaunt, Raquel Urtasun, Richard S. Zemel |
| 2017 | CADE | Certifying Safety and Termination Proofs for Integer Transition Systems. | Marc Brockschmidt, Sebastiaan J. C. Joosten, Ren Thiemann, Akihisa Yamada |
| 2017 | ICLR | DeepCoder: Learning to Write Programs. | Matej Balog, Alexander L. Gaunt, Marc Brockschmidt, Sebastian Nowozin, Daniel Tarlow |
| 2017 | ICLR | Neural Functional Programming. | John K. Feser, Marc Brockschmidt, Alexander L. Gaunt, Daniel Tarlow |
| 2017 | ICLR | Lifelong Perceptual Programming By Example. | Alexander L. Gaunt, Marc Brockschmidt, Nate Kushman, Daniel Tarlow |
| 2017 | ICLR | Neural Program Lattices. | Chengtao Li, Daniel Tarlow, Alexander L. Gaunt, Marc Brockschmidt, Nate Kushman |
| 2017 | ICML | Differentiable Programs with Neural Libraries. | Alexander L. Gaunt, Marc Brockschmidt, Nate Kushman, Daniel Tarlow |
| 2017 | SAS | Learning Shape Analysis. | Marc Brockschmidt, Yuxin Chen, Pushmeet Kohli, Siddharth Krishna, Daniel Tarlow |
| 2017 | TACAS | Proving Termination Through Conditional Termination. | Cristina Borralleras, Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2016 | CADE | Lower Runtime Bounds for Integer Programs. | Florian Frohn, Matthias Naaf, Jera Hensel, Marc Brockschmidt, Jrgen Giesl |
| 2016 | TACAS | T2: Temporal Property Verification. | Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman |
| 2015 | FMCAD | Compositional Safety Verification with Max-SMT. | Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2014 | CADE | Proving Termination of Programs Automatically with AProVE. | Jrgen Giesl, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Carsten Otto, Martin Plcker, Peter Schneider-Kamp, Thomas Strder, Stephanie Swiderski, Ren Thiemann |
| 2014 | CADE | Proving Termination and Memory Safety for Programs with Pointer Arithmetic. | Thomas Strder, Jrgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp |
| 2014 | TACAS | Alternating Runtime and Size Complexity Analysis of Integer Programs. | Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Jrgen Giesl |
| 2013 | CAV | Better Termination Proving through Cooperation. | Marc Brockschmidt, Byron Cook, Carsten Fuhs |
| 2012 | CAV | Automated Termination Proofs for Java Programs with Cyclic Data. | Marc Brockschmidt, Richard Musiol, Carsten Otto, Jrgen Giesl |