| Multivariate amortized resource analysis J Hoffmann, K Aehlig, M Hofmann ACM Transactions on Programming Languages and Systems (TOPLAS) 34 (3), 1-62, 2012 | 339 | 2012 |
| Amortized resource analysis with polynomial potential: A static inference of polynomial bounds for functional programs J Hoffmann, M Hofmann Programming Languages and Systems: 19th European Symposium on Programming …, 2010 | 169 | 2010 |
| Towards automatic resource bound analysis for OCaml J Hoffmann, A Das, SC Weng Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 168 | 2017 |
| Compositional certified resource bounds Q Carbonneaux, J Hoffmann, Z Shao Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015 | 142 | 2015 |
| Bounded expectations: resource analysis for probabilistic programs VC Ngo, Q Carbonneaux, J Hoffmann ACM SIGPLAN Notices 53 (4), 496-512, 2018 | 126 | 2018 |
| Resource aware ML J Hoffmann, K Aehlig, M Hofmann Computer Aided Verification, 781-786, 2012 | 123 | 2012 |
| End-to-end verification of stack-space bounds for C programs Q Carbonneaux, J Hoffmann, T Ramananandro, Z Shao ACM SIGPLAN Notices 49 (6), 270-281, 2014 | 94 | 2014 |
| Relational cost analysis E Çiçek, G Barthe, M Gaboardi, D Garg, J Hoffmann ACM SIGPLAN Notices 52 (1), 316-329, 2017 | 92 | 2017 |
| Automatic static cost analysis for parallel programs J Hoffmann, Z Shao Programming Languages and Systems: 24th European Symposium on Programming …, 2015 | 92 | 2015 |
| A linear differential transimpedance amplifier for 100-Gb/s integrated coherent optical fiber receivers A Awny, R Nagulapalli, M Kroh, J Hoffmann, P Runge, D Micusik, ... IEEE Transactions on Microwave Theory and Techniques 66 (2), 973-986, 2017 | 74 | 2017 |
| Higher-Order Functional Reactive Programming in Bounded Space NR Krishnaswami, N Benton, J Hoffmann | 65 | 2012 |
| Resolution trees with lemmas: Resolution refinements that characterize DLL algorithms with clause learning SR Buss, J Hoffmann, J Johannsen Arxiv preprint arXiv:0811.1075, 2008 | 63 | 2008 |
| Verifying and synthesizing constant-resource implementations with types M Dehesa-Azuara, M Fredrikson, J Hoffmann 2017 IEEE Symposium on Security and Privacy (SP), 710-728, 2017 | 62 | 2017 |
| Automated resource analysis with Coq proof objects Q Carbonneaux, J Hoffmann, T Reps, Z Shao International Conference on Computer Aided Verification, 64-85, 2017 | 59 | 2017 |
| Resource-guided program synthesis T Knoth, D Wang, N Polikarpova, J Hoffmann Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 58 | 2019 |
| Types with Potential: Polynomial Resource Bounds via Automatic Amortized Analysis J Hoffmann epubli, 2011 | 52 | 2011 |
| Work analysis with resource-aware session types A Das, J Hoffmann, F Pfenning Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 47 | 2018 |
| PMAF: an algebraic framework for static analysis of probabilistic programs D Wang, J Hoffmann, T Reps ACM SIGPLAN Notices 53 (4), 513-528, 2018 | 47 | 2018 |
| Characterizing progress properties of concurrent objects via contextual refinements H Liang, J Hoffmann, X Feng, Z Shao International Conference on Concurrency Theory, 227-241, 2013 | 45 | 2013 |
| Amortized resource analysis with polymorphic recursion and partial big-step operational semantics J Hoffmann, M Hofmann Asian Symposium on Programming Languages and Systems, 172-187, 2010 | 43 | 2010 |
Zhong ShaoYale University在 yale.edu 的电子邮件经过验证
