About

Henry Sudhof's homepage. It accumulates the various pieces of data and work considered worth sharing. Mostly this means phD thesis-related research and some other results not directly relevant to the Ascot project.

Papers and Presentations

• F. Kammüller and H. Sudhof. A Mechanized Theory of Aspects 22nd International Conference on Theorem proving in Higher Order Logic, emerging trends, TPHOLs 2009, to appear
• F. Kammüller and H. Sudhof. Composing safely - A Type System for Aspects 7th International Symposium on Software Composition, SC 2008 . Vol. 4954, LNCS, Springer, 2008.
• L. Henrio, F. Kammüller and H. Sudhof. Aspfun: A functional and distributed object calculus semantics, type-system, and formalization. Research Report 6353, INRIA, 11/2007
• An earlier version of the previous appeared as TU-Berlin TR: F. Kammüller and H. Sudhof. A Formalization of Typed Aspects for the ς-calculus in Isabelle/HOL Technical Report 2007-20, Technische Universität Berlin 2007.
• F. Kammüller and H. Sudhof. A Mechanized Framework for Aspects in Isabelle/HOL. 2nd Informal ACM SIGPLAN Workshop on Mechanizing Metatheory WMM 2007. Satellite to ICFP, Freiburg, 2007. 2007.
• Henry Sudhof, Vergleichende Fallstudie über Techniken für wiederverwendbare Aspekte, Diplomarbeit, Technische Universität Berlin, 2006
• Dehla Sokenou, Katharina Mehner, Stephan Herrmann and Henry Sudhof, Patterns for re-usable Aspects in ObjectTeams, NODe Conference, Net.ObjectsDays Erfurt, 2006, NODe 2006/ GSEM 2006, GI/Edition: Lecture Notes in Informatics, (LNI) P-88, S. 65-80
• Henry Sudhof, Gefährliches Schnüffeln / Dangerous Sniffing, heise security, online publication, here (translation by 3rd party). 2009

In Books

• F. Kammüller and H. Sudhof. Compositionality of Aspect Weaving. Autonomous Systems - Self-Organisation, Management, and Control. B. Mahr, Z. Sheng (Eds.), Springer, 2008.

Dissertation

This section holds the complete Isabelle/HOL formalizations for my doctoral dissertation A Mechanized Theory of Aspects.

• Complete Formalization Using De Bruijn Indices Outline
• Complete Formalization Using De Bruijn Indices Complete Isabelle/HOLFormalization
• Complete Formalization Using Locally Nameless Variables Outline
• Complete Formalization Using Locally Nameless Variables Complete Isabelle/HOL Formalization

Henry B. Sudhof

Institut für Softwaretechnik und theoretische Informatik
Fachgebiet Softwaretechnik
Ernst-Reuter-Platz 7
Raum TEL 1005
FR 12-3
10587 Berlin
Telefon: 314-24330
Email: hsudhof@cs.tu-berlin.de

CV

Henry Sudhof is a reasearcher into formal methods and type systems. He has an extensive background in web application development and web application security.