Eraser A Dynamic Data Race Detector for Multi-Threaded Programs الأبحاث والدراسات العلمية (ملفات PDF)
Dyna an Integrated Architecture for Learning Planning and Reacting الأبحاث والدراسات العلمية (ملفات PDF)