Christopher D. Whitney

Latest

• Verified Programs for Frequent Itemset Mining
• Towards a Verified Parallel Implementation of Frequent Itemset Mining