Tobias Gedell

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

Tobias Gedell, Daniel Hedin
Abstract Interpretation Plugins for Type Systems. AMAST (2008)
Tobias Gedell, Reiner Hähnle
Verification by Parallelization of Parametric Code. Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Tobias Gedell, Reiner Hähnle
Automating Verification of Loops by Parallelization. LPAR (2006)
Tobias Gedell, Jörgen Gustavsson, Josef Svenningsson
Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis. APLAS (2006)
Tobias Gedell
Embedding Static Analysis into Tableaux and Sequent Based Frameworks. TABLEAUX (2005)