Universität Karlsruhe
cand. inform. Karsten Sperling

Research interests

Compiler Verification

Projects

Former
Aktionsplan Informatik
Eliteförderprogramm für Postdoktoranden

Theses worked on

Studien thesis
Verifikation unimodularer Schleifentransformationen (closed)

Publications

2004
Sperling, Verifikation unimodularer Schleifentransformation
Login
Links