Klaus T Aehlig
(photo)
I am currently working on
justbuild.
I was working on
Bazel and on
ganeti.
Before 2011, I was working
in academia (affiliations,
CV). I'm very open for new opportunities
in Munich.
This page mainly holds notes and talks, as well as academic
publications (from the time I was still in academia).
To contact me,
please use my private email address aehlig@linta.de.
(gpg key: DD3EF963991F1EC2)
Latest Publications
- Resource Aware ML.
with Jan Hoffmann and
Martin Hofmann.
Tools paper at CAV 12.
Bib
(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
