Explore projects
-
Archived 1Updated
-
Archived 1Updated
-
Updated
-
Archived 1Updated
-
Archived 1Updated
-
Updated
-
Updated
-
Updated
-
-
Updated
-
Updated
-
A lightweight agent for Java applications to sample CPU traces. We use the traces to derive resource profiles within PerTract-DSL instances
Updated -
Updated
-
Updated
-
-
Updated
-
Implementation for "Inferring Region Types via Abstract Transformations" (APLAS 2022)
Updated -
-
-
Simulate PerTract-DSL instances
Updated