MCAI uses model counting on encoded concrete and abstract semantics to give a quantitative, client-independent measure of imprecision in abstract domains, applied to Interval, Octagon, and KnownBit domains.
The dacapo benchmarks: Java benchmarking develop- ment and analysis
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
fields
cs.PL 3years
2026 3verdicts
UNVERDICTED 3representative citing papers
Microbenchmarks on the JVM can produce misleading results due to unrealistic profiles collected during isolated execution despite following JMH guidelines.
JEDI is a generated benchmark suite converting SQL queries into Java Stream and imperative implementations to evaluate performance and identify efficient parallelization strategies.
citing papers explorer
-
Analyzing the Analyzers: Model Counting Meets Abstract Interpretation
MCAI uses model counting on encoded concrete and abstract semantics to give a quantitative, client-independent measure of imprecision in abstract domains, applied to Interval, Octagon, and KnownBit domains.
-
Misleading Microbenchmarks on the Java Virtual Machines
Microbenchmarks on the JVM can produce misleading results due to unrealistic profiles collected during isolated execution despite following JMH guidelines.
-
JEDI: Java Evaluation of Declarative and Imperative Queries
JEDI is a generated benchmark suite converting SQL queries into Java Stream and imperative implementations to evaluate performance and identify efficient parallelization strategies.