Watchers
- andreiarusoaie
- andreistefanescu@GaloisInc
- ayberktUniversity of Birmingham
- bmmoore
- chathhorn
- daejunpark
- daniel-ionut-vicol
- dlucanuAlexandru Ioan Cuza University of Iasi
- eemailme
- ehildenb
- grosuUniversity of Illinois at Urbana-Champaign
- jhcloos
- kheradmandUniversity of Illinois at Urbana-Champaign
- liyili2Iowa State University
- lucaspena
- msaxena2University of Illinois at Urbana Champaign
- nishantjr
- pdaian@initc3
- pmeredit
- radumereutaRuntimeVerification
- rv-jenkins
- traiansf@fmi-unibuc, @ilds-institute, @pi-squared-inc