|Conferences and journals in which I am involved|
|Research ideas in which I am currently interested|
|Runtime Verification, Inc.|
- Runtime Verification, Inc.: a startup company that I founded, commercializing tools for increasing software quality.
- 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.