(cons 'Aarhus
(cons 'DAIMI
(cons 'BRICS '())))
About Me
I successfully defended my PhD dissertation, entitled A
Structured Approach to the Transformation, Normalization and Execution
of Computer Programs, on May 1, 2007. I am now working as a
post-doc at BRICS in the Department of Computer Science of
the University of Aarhus.
My main area of interest is programming languages, specifically
program transformation, continuation passing style, (delimited)
continuations, compilation and decompilation, abstract interpretation,
attribute grammars, bananas, lenses, envelopes, and barbed
wire.
My wife and I are maintaining a weblog of our experiences in
Denmark. These days, it seems to be mostly baby pictures.
Contact Me
|
Email: kmillikin [at] brics [dot] dk
|
Address: |
IT-parken, Aabogade 34 |
| Phone: +45 89 42 57 71 |
|
DK-8200 Aarhus N |
|
Office: Room 226, Turing building
|
|
Denmark |
Publications
Olivier Danvy and Kevin Millikin. A Simple Application of Lightweight
Fusion to Proving the Equivalence of Abstract Machines. BRICS
Research Report RS-07-8, Department of Computer Science, University of Aarhus,
Aarhus, Denmark, March 2007.
Olivier Danvy and Kevin Millikin. Refunctionalization at Work.
BRICS Research Report RS-07-7, Department of Computer Science, University of
Aarhus, Aarhus, Denmark, March 2007.
Olivier Danvy, Kevin Millikin, and Lasse R. Nielsen. On One-Pass CPS
Transformations. BRICS Research Report RS-07-6, Department of
Computer Science, University of Aarhus, Aarhus, Denmark, March 2007.
Theoretical Pearl to appear in the Journal of Functional
Programming.
Olivier Danvy and Kevin Millikin. A Rational Deconstruction of Landin's
J Operator. BRICS Research Report RS-06-17, Department of Computer
Science, University of Aarhus, Aarhus, Denmark, December 2006. A preliminary
version appears in the proceedings of the 17th International Workshop on the
Implementation and Application of Functional Languages (IFL'05),
Dublin, Ireland. LNCS 4015:55-73.
Dariusz Biernacki, Olivier Danvy, and Kevin Millikin. A Dynamic Continuation-Passing Style
for Dynamic Delimited Continuations. BRICS Research Report RS-06-15,
Department of Computer Science, University of Aarhus, Aarhus, Denmark, October
2006.
Kevin Millikin. A New
Approach to One-Pass Transformations. Sixth Symposium on Trends in
Functional Programming. September 2005.
Ranga Ramanujan, Maher Kaddoura, John Wu, Kevin Millikin, Doug Harper, and
David Baca. Organic Techniques for Protecting Virtual Private Network
(VPN) Services from Access Link Flooding Attacks. Proceedings of the
IEEE International Conference on Networking 2002.
John Budenske, Ranga Ramanujan, Jordan Bonney, Kevin Millikin, and Scott
Sands. Space Network Architecture Technologies. Proceedings of the
IEEE Aerospace Conference 2002.
Kevin Millikin. Geographically Targeted Information Dissemination
Services (GeoTIDeS). Second NASA I-CNS Conference and Workshop. May
2002.