Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Henning Korsholm Rohde
[go: Go Back, main page]

Henning Korsholm Rohde

Research SDE, Program Analysis Group, Microsoft
PhD, BRICS, 2005

Contact information
Email:
Mail:
Phone: 		[sig]  
One Microsoft Way, Redmond, WA 98052
+1 (425) 703-2324

Research

I'm mainly interested in applied static analysis. I also harbor secret interests in formal semantics, normalization by evaluation, partial evaluation, string matchers, chess engines, evolutionary computation, assembly language, and artificial life.

Journal publications

[1]
 Andrzej Filinski and Henning Korsholm Rohde:
Denotational Aspects of Untyped Normalization by Evaluation.
RAIRO - Theoretical Informatics and Applications 39(3)423-454 (July 2005). FOSSACS'04 special issue. [details]
[dvi,ps,pdf]
[2]
 Mads Sig Ager, Olivier Danvy, and Henning Korsholm Rohde:
Fast Partial Evaluation of Pattern Matching in Strings.
ACM Transactions on Programming Languages and Systems 28(4)696-714 (July 2006). [details]
[dvi,ps,pdf]
[3]
 Olivier Danvy and Henning Korsholm Rohde:
On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation.
Information Processing Letters 99(4)158-162 (August 2006). [details]
[dvi,ps,pdf]

Conference/workshop publications

[4]
 Mads Sig Ager, Olivier Danvy, and Henning Korsholm Rohde:
On Obtaining Knuth, Morris, and Pratt's String Matcher by Partial Evaluation.
In Wei-Ngan Chin (editor), Proceedings of the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pp. 32-46, ACM Press (September 2002). [details]
[dvi,ps,pdf]
[5]
 Mads Sig Ager, Olivier Danvy, and Henning Korsholm Rohde:
Fast Partial Evaluation of Pattern Matching in Strings.
In Michael Leuschel (editor), Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pp. 3-9, ACM Press (June 2003). [details]
[dvi,ps,pdf]
[6]
 Andrzej Filinski and Henning Korsholm Rohde:
A Denotational Account of Untyped Normalization by Evaluation.
In Igor Walukiewicz (editor), Foundations of Software Science and Computation Structures, 7th International Conference, LNCS 2987, pp. 167-181, Springer-Verlag (March 2004). [details]
[dvi,ps,pdf]

Thesis

[7]
 Henning Korsholm Rohde:
Formal Aspects of Partial Evaluation.
PhD thesis, BRICS, University of Aarhus, Denmark (December 2005). [details]
[dvi,ps,pdf]

Technical reports

[8]
 Henning Korsholm Rohde:
Measuring the Propagation of Information in Partial Evaluation.
Technical report BRICS-RS-05-26, University of Aarhus, Denmark (August 2005). [details]
[dvi,ps,pdf]
[9]
 Henning Korsholm Rohde:
Formal Aspects of Polyvariant Specialization.
Technical report BRICS-RS-05-34, University of Aarhus, Denmark (November 2005). [details]
[dvi,ps,pdf]

July 2006 - [sig]