Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.Sign up
Paderborn University & Fraunhofer IEM
- Paderborn, Germany
A set of AspectJ aspects to detect errors with Concurrency Control in Java and AspectJ applications.
MOPBox is Monitor-Oriented Programming in a box.
Work repository for the incremental IFDS solver
Forked from ckaestne/if2ifdef_subjects
Forked from StevenArzt/reviser
Forked from MaxLillack/LTOimpact
Tracking Load-time Configuration Options