Michael Achenbach

I recently made my Ph.D. with the dissertation: An Engineering Approach to Dynamic Program Analysis by Layering Language Abstractions. I was Ph.D. student in the Programming Languages and Formal Models group at the Department of Computer Science (DAIMI), Aarhus University, under the supervision of Klaus Ostermann and Olivier Danvy.

I studied Computer Science at the TU Darmstadt, Germany, and got my Diplom degree (MSc equivalent) in 2007. I began my Ph.D. studies in Darmstadt before moving to Denmark in February 2008.

Contact Information

Research Interests

Static/Dynamic Program Analysis, Testing, Source Code Instrumentation, Software Verification, Object-Oriented Programming, Advanved Modularization Mechanisms, Algorithms, Computational Biology, Music Computing.

Projects

TwisteR: Dynamic Aspect Deployment for Ruby

TwisteR is an AOP-DSL that brings dynamic deployment to Ruby. Aspects can be deployed in blocks. Their dynamic scope can be controlled with expressive scoping strategies. TwisteR is designed as a small core language to be extended for specific domains.

Publications

Teaching