Embedded annotation and program analysis HK Rohde, AS Gavlovski, B Neerumalla US Patent 8,726,254, 2014 | 135 | 2014 |
A denotational account of untyped normalization by evaluation A Filinski, H Korsholm Rohde Foundations of Software Science and Computation Structures: 7th …, 2004 | 38 | 2004 |
On obtaining the boyer–moore string-matching algorithm by partial evaluation O Danvy, HK Rohde Information Processing Letters 99 (4), 158-162, 2006 | 34 | 2006 |
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 | 33 | 2013 |
Fast partial evaluation of pattern matching in strings MS Ager, O Danvy, HK Rohde ACM SIGPLAN Notices 38 (10), 3-9, 2003 | 32 | 2003 |
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 | 28 | 2002 |
Globally sound and consistent configuration management for distributed datacenter components H Rohde, M Kerner, KKB Ma US Patent 8,769,494, 2014 | 20 | 2014 |
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 | 20 | 2006 |
Static analysis using interactive and integration tools HK Rohde, A Gringauze US Patent 8,443,342, 2013 | 18 | 2013 |
Denotational aspects of untyped normalization by evaluation A Filinski, HK Rohde RAIRO-Theoretical Informatics and Applications 39 (3), 423-453, 2005 | 17 | 2005 |
Intermediate representation construction for static analysis A Gringauze, HK Rohde US Patent 8,930,913, 2015 | 12 | 2015 |
Event system for a distributed fabric SV Soman, H Rohde US Patent 9,652,307, 2017 | 10 | 2017 |
Cluster management of distributed applications HK Rohde, S Soman, SP Singh, H Li, CR Erhard, Y Alperovitch, ... US Patent 9,860,311, 2018 | 4 | 2018 |
Measuring the propagation of information in partial evaluation HK Rohde BRICS Report Series 12 (26), 2005 | 4 | 2005 |
Formal Aspects of Partial Evaluation HK Rohde PhD thesis, BRICS PhD School, University of Aarhus, Aarhus, Denmark, 2005 | 2 | 2005 |
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 | 2 | 2005 |
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 | 2 | 2003 |
Cluster management H Rohde, SV Soman, SP Singh, H Li, CR Erhard, S Sullivan, ... US Patent 10,210,027, 2019 | 1 | 2019 |
Formal aspects of polyvariant specialization HK Rohde BRICS Report Series 12 (34), 2005 | 1 | 2005 |
Intermediate representation construction for static analysis A Gringauze, HK Rohde US Patent 9,563,535, 2017 | | 2017 |