DaCapo
From MaRDI portal
swMATH7215MaRDI QIDQ19266FDOQ19266
Author name not available (Why is that?)
Official website: http://www.dacapobench.org/
Cited In (38)
- Specification-based program repair using SAT
- Using abstract interpretation to add type checking for interfaces in Java bytecode verification
- Compact and efficient strings for Java
- Parametric Trace Slicing and Monitoring
- DEP+BURST: Online DVFS Performance Prediction for Energy-Efficient Managed Language Execution
- Accelerating program analyses in Datalog by merging library facts
- Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability
- Array bounds check elimination in the context of deoptimization
- Semantics and algorithms for parametric monitoring
- SDSAT
- AspectJ
- WALA
- SciMark
- BCEL
- Atomizer
- AspectS
- GC
- Soot
- SPECjvm98
- Banshee
- Java Grande
- Java-MOP
- Alchemy
- DIOTA
- SPLLIFT
- Sparrow
- VOLT
- LARVA
- SPECjvm2008
- ASM
- jPredictor
- Tuffy
- J-LO
- Faster algorithms for quantitative verification in bounded treewidth graphs
- The Complexity of Andersen’s Analysis in Practice
- Volt: a lazy grounding framework for solving very large MaxSAT instances
- RPython
- Algorithms for algebraic path properties in concurrent systems of constant treewidth components
This page was built for software: DaCapo
