Popular repositories Loading

1. Cocoon-implementation Cocoon-implementation Public

   Rust 12 1

2. Vindicator Vindicator Public

   Java 6 2

3. Crafty Crafty Public

   Public implementation of Crafty, published in PLDI 2020. https://arxiv.org/abs/2004.00262

   C 4 3

4. SmartTrack-pldi20 SmartTrack-pldi20 Public

   SmartTrack: A highly-optimized predictive data race detection analysis implementation.

   Java 2 1

5. Raptor Raptor Public

   Public open source prototype implementation of Raptor analysis, an Online Set-Based Dynamic Analysis for Sound Predictive Race Detection

   Java 1 2

6. SDP-WDP-implementation SDP-WDP-implementation Public

   Public implementation of SDP and WDP analyses, published in OOPSLA 2019. https://arxiv.org/abs/1904.13088

   Java 1