...
- 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
- EGEN – tool for compile-time optimization of Java classes serialization
- Bintray Maven Plugin – maven plugin supporting delivery to bintray repositories
- USAGES – Java API usage analyzer
- JAGENT – framework for implementing java agents
- LINCHECKlin-check – Java linearization checker
- dgen – generator of documenting annotations based on javadocDXMGNL
- 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.