| A functional correspondence between evaluators and abstract machines MS Ager, D Biernacki, O Danvy, J Midtgaard Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003 | 230 | 2003 |
| Control-flow analysis of functional programs J Midtgaard ACM Computing Surveys (CSUR) 44 (3), 10, 2012 | 135 | 2012 |
| A functional correspondence between monadic evaluators and abstract machines for languages with computational effects MS Ager, O Danvy, J Midtgaard Theoretical Computer Science 342 (1), 149-172, 2005 | 87 | 2005 |
| A functional correspondence between call-by-need evaluators and lazy abstract machines MS Ager, O Danvy, J Midtgaard Information Processing Letters 90 (5), 223-232, 2004 | 81 | 2004 |
| From interpreter to compiler and virtual machine: a functional derivation MS Ager, D Biernacki, O Danvy, J Midtgaard BRICS, Dept. of Computer Science, Univ., 2003 | 79 | 2003 |
| A calculational approach to control-flow analysis by abstract interpretation J Midtgaard, T Jensen International Static Analysis Symposium, 347-362, 2008 | 53 | 2008 |
| Monadic abstract interpreters I Sergey, D Devriese, M Might, J Midtgaard, D Darais, D Clarke, ... Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013 | 52 | 2013 |
| Systematic derivation of correct variability-aware program analyses J Midtgaard, AS Dimovski, C Brabrand, A Wąsowski Science of Computer Programming 105, 145-170, 2015 | 50 | 2015 |
| Control-flow analysis of function calls and returns by abstract interpretation J Midtgaard, TP Jensen Proceedings of the 14th ACM SIGPLAN international conference on Functional …, 2009 | 42 | 2009 |
| Quickchecking static analysis properties J Midtgaard, A Møller Software Testing, Verification and Reliability 27 (6), e1640, 2017 | 34 | 2017 |
| Effect-driven QuickChecking of compilers J Midtgaard, MN Justesen, P Kasting, F Nielson, HR Nielson Proceedings of the ACM on Programming Languages 1 (ICFP), 1-23, 2017 | 31 | 2017 |
| Systematic derivation of static analyses for software product lines J Midtgaard, C Brabrand, A Wasowski Proceedings of the 13th international conference on Modularity, 181-192, 2014 | 22 | 2014 |
| Process-local static analysis of synchronous processes J Midtgaard, F Nielson, HR Nielson Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018 | 17 | 2018 |
| Transformation, analysis, and interpretation of higher-order procedural programs J Midtgaard | 17 | 2007 |
| Subcubic control flow analysis algorithms J Midtgaard, D Van Horn Computer Science Research Report, 1-35, 2009 | 16 | 2009 |
| A parametric abstract domain for lattice-valued regular expressions J Midtgaard, F Nielson, HR Nielson Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK …, 2016 | 14 | 2016 |
| Flow-sensitive type recovery in linear-log time MD Adams, AW Keep, J Midtgaard, M Might, A Chauhan, RK Dybvig Proceedings of the 2011 ACM international conference on Object oriented …, 2011 | 13 | 2011 |
| A structural soundness proof for Shivers’s escape technique: A case for Galois connections J Midtgaard, MD Adams, M Might Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012 | 12 | 2012 |
| Control-flow analysis of function calls and returns by abstract interpretation J Midtgaard, TP Jensen Information and Computation 211, 49-76, 2012 | 11 | 2012 |
| Calculating graph algorithms for dominance and shortest path I Sergey, J Midtgaard, D Clarke Mathematics of Program Construction: 11th International Conference, MPC 2012 …, 2012 | 10 | 2012 |
Olivier DanvyYale-NUS College and School of Computing, National University of Singapore在 yale-nus.edu.sg 的电子邮件经过验证
