...
- AProf – lightweight memory allocation profiler for Java
- BINTRAYMP – maven plugin supporting delivery to Bintray repositories
- ConfigEncoder – mini framework for serializing Java objects using JavaBeans introspection
- DRD – tool to find data races in Java programs
- DGEN – generator of documenting annotations based on Javadoc
- Dl-Check – tool for finding potential deadlocks
- EGENEGen – tool for compile-time optimization of Java classes serialization
- bintray-maven-plugin – maven plugin supporting delivery to bintray repositories
- usages – Java API usage analyzer
- lin-check – Java linearization checker
- JAGENT – framework for implementing java agents
- LINCHECK – Java linearization checker
- DXMGNLdgen – generator of documenting annotations based on javadoc
- TIMETEST – lightweight framework for testing time-based functionality
- JAGENT – framework for implementing java agents
- DLCHECK – tool for finding potential deadlocks DXMGNL
- USAGES – Java API usage analyzer
Most of these projects are developed with active participation of dxLab research group and our students.