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