Deletion: The curse of the red-black tree K Germane, M Might Journal of Functional Programming 24 (4), 423-433, 2014 | 9 | 2014 |
A posteriori environment analysis with pushdown Delta CFA K Germane, M Might ACM SIGPLAN Notices 52 (1), 19-31, 2017 | 8 | 2017 |
Demand control-flow analysis K Germane, J McCarthy, MD Adams, M Might Verification, Model Checking, and Abstract Interpretation: 20th …, 2019 | 6 | 2019 |
Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap K Germane, MD Adams Programming Languages and Systems: 29th European Symposium on Programming …, 2020 | 2 | 2020 |
Newly-single and loving it: improving higher-order must-alias analysis with heap fragments K Germane, J McCarthy Proceedings of the ACM on Programming Languages 5 (ICFP), 1-28, 2021 | 1 | 2021 |
Relatively complete pushdown analysis of escape continuations K Germane, M Might International Conference on Verification, Model Checking, and Abstract …, 2019 | 1 | 2019 |
m-CFA Exhibits Perfect Stack Precision K Germane Asian Symposium on Programming Languages and Systems, 290-309, 2023 | | 2023 |
A CPS-Like Transformation of Continuation Marks KR Germane Brigham Young University, 2012 | | 2012 |
Demand Control-Flow Analysis Technical Report K Germane, J McCarthy, MD Adams, M Might | | |
Multi-Continuation Pushdown Analysis Technical Report K Germane, M Might | | |
FUNCTIONAL PEARL K GERMANE, M MIGHT | | |
Pure Continuation Marks K Germane, J McCarthy | | |