Mohamed gave a talk at Tower Research conference on synthetic software.