The HARP Lab

Welcome to the High-performance Automated Reasoning and Programming (HARP) lab. We are a collaboration of researchers (at UAB, UIC, and Syracuse) working to scale deductive analytics (e.g., program analysis, vulnerability detection, and drug discovery) to next-generation architectures (e.g., supercomputers and GPU clusters) leveraging enabling algorithmic insights.