Projects

DeployFix Dynamic Repair of Software Deployment Failures via Constraint Solving

EFACT An External Function Auto-Completion Tool to strengthen static binary lifting

hperf A cross-platform microarchitectural performance measurement tool

TCSA Efficient Localization of Busy-Wait Synchronization Bugs for Latency-Critical Applications.

Hmem A holistic memory performance metric, calculated from a fusion of bandwidth and latency metrics across different access patterns.

AOBO The first online code layout optimization system on the AArch64 platform.

hotspotdrivenframework A hotspot-driven semi-automatic framework for identifying key compiler optimizations through comparing the binaries generated by two different compilers.