Christoph Matheja

According to our database1, Christoph Matheja authored at least 14 papers between 2015 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs.
PACMPL, 2019

On the hardness of analyzing probabilistic programs.
Acta Inf., 2019


Effective Entailment Checking for Separation Logic with Inductive Definitions.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018
Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms.
J. ACM, 2018

Rule-Based Conditioning of Probabilistic Data.
Proceedings of the Scalable Uncertainty Management - 12th International Conference, 2018

Graph-Based Shape Analysis Beyond Context-Freeness.
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times.
Proceedings of the Programming Languages and Systems, 2018

Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic.
Proceedings of the Programming Languages and Systems, 2017

2016
Inferring Covariances for Probabilistic Programs.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Reasoning about Recursive Probabilistic Programs.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs.
Proceedings of the Programming Languages and Systems, 2016

2015
Tree-Like Grammars and Separation Logic.
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015


  Loading...