Marc Brockschmidt

According to our database1, Marc Brockschmidt authored at least 39 papers between 2010 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Learning to Represent Edits.
CoRR, 2018

Execution-Guided Neural Program Decoding.
CoRR, 2018

Constrained Graph Variational Autoencoders for Molecule Design.
CoRR, 2018

Generative Code Modeling with Graphs.
CoRR, 2018

Graph Partition Neural Networks for Semi-Supervised Classification.
CoRR, 2018

2017
Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic.
J. Autom. Reasoning, 2017

Analyzing Program Termination and Complexity Automatically with AProVE.
J. Autom. Reasoning, 2017

Learning to Represent Programs with Graphs.
CoRR, 2017

SmartPaste: Learning to Adapt Source Code.
CoRR, 2017

Proving Termination Through Conditional Termination.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

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

Differentiable Programs with Neural Libraries.
Proceedings of the 34th International Conference on Machine Learning, 2017

Complexity Analysis for Term Rewriting by Integer Transition Systems.
Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

Certifying Safety and Termination Proofs for Integer Transition Systems.
Proceedings of the Automated Deduction - CADE 26, 2017

2016
Analyzing Runtime and Size Complexity of Integer Programs.
ACM Trans. Program. Lang. Syst., 2016

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

TerpreT: A Probabilistic Programming Language for Program Induction.
CoRR, 2016

Lifelong Perceptual Programming By Example.
CoRR, 2016

Neural Functional Programming.
CoRR, 2016

DeepCoder: Learning to Write Programs.
CoRR, 2016

T2: Temporal Property Verification.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Lower Runtime Bounds for Integer Programs.
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015
Gated Graph Sequence Neural Networks.
CoRR, 2015

Compositional Safety Verification with Max-SMT.
CoRR, 2015

T2: Temporal Property Verification.
CoRR, 2015

Compositional Safety Verification with Max-SMT.
Proceedings of the Formal Methods in Computer-Aided Design, 2015

2014
Termination analysis for imperative programs operating on the heap.
PhD thesis, 2014

CTL+FO Verification as Constraint Solving.
CoRR, 2014

Alternating Runtime and Size Complexity Analysis of Integer Programs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

CTL+FO verification as constraint solving.
Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Proving Termination and Memory Safety for Programs with Pointer Arithmetic.
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

Proving Termination of Programs Automatically with AProVE.
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013
Better Termination Proving through Cooperation.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Automated Termination Proofs for Java Programs with Cyclic Data.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011
Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting.
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode.
Proceedings of the Formal Verification of Object-Oriented Software, 2011


2010
Automated Termination Analysis of Java Bytecode by Term Rewriting.
Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

Termination Graphs for Java Bytecode.
Proceedings of the Verification, Induction, Termination Analysis, 2010


  Loading...