Follow
Henning Korsholm Rohde
Henning Korsholm Rohde
Verified email at google.com
Title
Cited by
Cited by
Year
Embedded annotation and program analysis
HK Rohde, AS Gavlovski, B Neerumalla
US Patent 8,726,254, 2014
1352014
A denotational account of untyped normalization by evaluation
A Filinski, H Korsholm Rohde
Foundations of Software Science and Computation Structures: 7th …, 2004
382004
On obtaining the boyer–moore string-matching algorithm by partial evaluation
O Danvy, HK Rohde
Information Processing Letters 99 (4), 158-162, 2006
342006
Detecting data race and atomicity violation via typestate-guided static analysis
Y Yang, A Gringauze, D Wu, HK Rohde
US Patent 8,510,722, 2013
332013
Fast partial evaluation of pattern matching in strings
MS Ager, O Danvy, HK Rohde
ACM SIGPLAN Notices 38 (10), 3-9, 2003
322003
On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation
MS Ager, O Danvy, HK Rohde
Proceedings of the ASIAN symposium on Partial evaluation and semantics-based …, 2002
282002
Globally sound and consistent configuration management for distributed datacenter components
H Rohde, M Kerner, KKB Ma
US Patent 8,769,494, 2014
202014
Fast partial evaluation of pattern matching in strings
MS Ager, O Danvy, HK Rohde
ACM Transactions on Programming Languages and Systems (TOPLAS) 28 (4), 696-714, 2006
202006
Static analysis using interactive and integration tools
HK Rohde, A Gringauze
US Patent 8,443,342, 2013
182013
Denotational aspects of untyped normalization by evaluation
A Filinski, HK Rohde
RAIRO-Theoretical Informatics and Applications 39 (3), 423-453, 2005
172005
Intermediate representation construction for static analysis
A Gringauze, HK Rohde
US Patent 8,930,913, 2015
122015
Event system for a distributed fabric
SV Soman, H Rohde
US Patent 9,652,307, 2017
102017
Cluster management of distributed applications
HK Rohde, S Soman, SP Singh, H Li, CR Erhard, Y Alperovitch, ...
US Patent 9,860,311, 2018
42018
Measuring the propagation of information in partial evaluation
HK Rohde
BRICS Report Series 12 (26), 2005
42005
Formal Aspects of Partial Evaluation
HK Rohde
PhD thesis, BRICS PhD School, University of Aarhus, Aarhus, Denmark, 2005
22005
Denotational aspects of untyped normalization by evaluation (extended version, with detailed proofs)
A Filinski, HK Rohde
BRICS Report RS-05-4, University of Aarhus, Denmark (February 2005 …, 2005
22005
A denotational account of untyped normalization by evaluation (extended version, with detailed proofs)
A Filinski, HK Rohde
BRICS Report RS-03-40, University of Aarhus, Denmark, 2003
22003
Cluster management
H Rohde, SV Soman, SP Singh, H Li, CR Erhard, S Sullivan, ...
US Patent 10,210,027, 2019
12019
Formal aspects of polyvariant specialization
HK Rohde
BRICS Report Series 12 (34), 2005
12005
Intermediate representation construction for static analysis
A Gringauze, HK Rohde
US Patent 9,563,535, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20