...
- 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
- DLCHECK – tool for finding potential deadlocks
- EGEN – tool for compile-time optimization of Java classes serialization
- BINTRAYMP – maven plugin supporting delivery to bintray repositories
- USAGES – Java API usage analyzer
- JAGENT – framework for implementing java agents
- lin-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
- DXMGNLUSAGES – Java API usage analyzer
Most of these projects are developed with active participation of dxLab research group and our students.
...