Tobias Gedell

According to our database, Tobias Gedell authored at least 6 papers between 2005 and 2008.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2008

Combining and Strengthening Program Analysis and Verification.

Tobias Gedell

PhD thesis, 2008

Abstract Interpretation Plugins for Type Systems.

Tobias Gedell, Daniel Hedin

Proceedings of the Algebraic Methodology and Software Technology, 2008

2006

Automating Verification of Loops by Parallelization.

Tobias Gedell, Reiner Hähnle

Proceedings of the Logic for Programming, 2006

Verification by Parallelization of Parametric Code.

Tobias Gedell, Reiner Hähnle

Proceedings of the Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006

Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis.

Tobias Gedell, Jörgen Gustavsson, Josef Svenningsson

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

Embedding Static Analysis into Tableaux and Sequent Based Frameworks.

Tobias Gedell

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005