Kimball Germane

Kimball Germane

Brigham Young University - Provo / United States
Others
AD Scientific Index ID: 5348734
Brigham Young University BYU
person_outline Kimball Germane's MOST POPULAR ARTICLES
1-) Demand control-flow analysisK Germane, J McCarthy, MD Adams, M MightVerification, Model Checking, and Abstract Interpretation: 20th …, 201992019
2-) A posteriori environment analysis with pushdown Delta CFAK Germane, M MightACM SIGPLAN Notices 52 (1), 19-31, 201782017
3-) Deletion: The curse of the red-black treeK Germane, M MightJournal of Functional Programming 24 (4), 423-433, 201472014
4-) Liberate Abstract Garbage Collection from the Stack by Decomposing the HeapK Germane, MD AdamsProgramming Languages and Systems: 29th European Symposium on Programming …, 202022020
5-) Newly-single and loving it: improving higher-order must-alias analysis with heap fragmentsK Germane, J McCarthyProceedings of the ACM on Programming Languages 5 (ICFP), 1-28, 202112021