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
912014
A denotational account of untyped normalization by evaluation
A Filinski, HK Rohde
International Conference on Foundations of Software Science and Computation …, 2004
362004
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
282013
On obtaining the boyer–moore string-matching algorithm by partial evaluation
O Danvy, HK Rohde
Information Processing Letters 99 (4), 158-162, 2006
282006
Fast partial evaluation of pattern matching in strings
MS Ager, O Danvy, HK Rohde
ACM SIGPLAN Notices 38 (10), 3-9, 2003
252003
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
242002
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
182006
Globally sound and consistent configuration management for distributed datacenter components
H Rohde, M Kerner, KKB Ma
US Patent 8,769,494, 2014
112014
Static analysis using interactive and integration tools
HK Rohde, A Gringauze
US Patent 8,443,342, 2013
112013
Denotational aspects of untyped normalization by evaluation
A Filinski, HK Rohde
RAIRO-Theoretical Informatics and Applications-Informatique Théorique et …, 2005
92005
Intermediate representation construction for static analysis
A Gringauze, HK Rohde
US Patent 8,930,913, 2015
42015
Measuring the propagation of information in partial evaluation
HK Rohde
BRICS Report Series 12 (26), 2005
32005
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
32005
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 of distributed applications
HK Rohde, S Soman, SP Singh, H Li, CR Erhard, Y Alperovitch, ...
US Patent 9,860,311, 2018
12018
Event system for a distributed fabric
SV Soman, H Rohde
US Patent 9,652,307, 2017
12017
Formal Aspects of Partial Evaluation
HK Rohde
PhD thesis, BRICS PhD School, University of Aarhus, Aarhus, Denmark, 2005
12005
Formal aspects of polyvariant specialization
HK Rohde
BRICS Report Series 12 (34), 2005
12005
Cluster management
H Rohde, SV Soman, SP Singh, H Li, CR Erhard, S Sullivan, ...
US Patent 10,210,027, 2019
2019
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