...
- AProf – lightweight memory allocation profiler for Java
- BINTRAYMP – maven plugin supporting delivery to bintray repositoriesto 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
- DLCHECKDl-Check – tool for finding potential deadlocks
- EGEN – tool for compile-time optimization of Java classes serialization
- JAGENT – framework for implementing java agents
- LINCHECK – Java linearization checker
- DXMGNL
- TIMETEST – lightweight framework for testing time-based functionality
- USAGES – Java API usage analyzer
...
Most of these projects are developed with active participation of dxLab research group and our students.