Grigore Rosu

From FSL
Jump to: navigation, search
Grigore Rosu

Conferences and journals in which I am involved

Research ideas in which I am currently interested

Runtime Verification, Inc.
  • Are data races something that really annoy you? Do you suspect your tests are non-deterministic and sometimes fail because of a data race that you were not able to catch yet? Find it using our RV-Predict tool, which implements our maximal causal model approach in PLDI'14 and RV'12. It is production-ready and gives you the peace of mind that it is the best you can do dynamically without false alarms.
Other links
Personal tools