Klaus T Aehlig
(photo)
In November 2011, I
joined google Munich,
where I work (since April 2013) on
ganeti.
Before that, I was working
in academia (former affiliations,
CV). This
page is about my academic activities. For anything not related to my
work for google, please use my private email address aehlig@linta.de.
(gpg key)
Recent Publications and Drafts
- Resource Aware ML.
with Jan Hoffmann and
Martin Hofmann.
Tools paper at CAV 12.
Bib
(online demo,
code)
-
Casimir Forces via Worldline
Numerics with
Helge Dietert,
Thomas Fischbacher,
and
Jochen Gerhard.
arXiv:1110.5936
-
Multivariate Amortized Resource Analysis
with Jan Hoffmann and
Martin Hofmann.
Popl 2011.
(code,
newer release:
2011,
2012,
online demo,
bib)
A journal
version appeared in ACM TOPLAS.
- Parallel Time and Proof Complexity (pdf)
Habilitationsschrift
in Informatik
(theory group);
submitted documents,
certificate.
Committee was
Martin Hofmann,
Wilfried Buchholz,
Stephen A Cook.
- ...more publications,
List of publications,
DBLP
Teaching
Misc
$Date: 2013/04/17 18:20:27 $
