Pinned Repositories
bayonet
Probabilistic Computer Network Analysis
diffai
A certifiable defense against adversarial examples by training neural networks to be provably robust
ELINA
ELINA: ETH LIbrary for Numerical Analysis
Nice2Predict
Learning framework for program property prediction
TFix
learnbigcode.github.io
Website for Learning from "Big Code"
EventRacer
A race detection tool for event driven applications.
learnbigcode.github.io
Website for Learning from "Big Code"
RxJava
RxJava – Reactive Extensions for the JVM – a library for composing asynchronous and event-based programs using observable sequences for the Java VM.
webkit
WebKit fork with the EventRacer instrumentation for race detection.
mvechev's Repositories
mvechev/EventRacer
A race detection tool for event driven applications.
mvechev/learnbigcode.github.io
Website for Learning from "Big Code"
mvechev/RxJava
RxJava – Reactive Extensions for the JVM – a library for composing asynchronous and event-based programs using observable sequences for the Java VM.
mvechev/webkit
WebKit fork with the EventRacer instrumentation for race detection.