Future Soot core library Coding guidelines and contributors notice! Notizen zum kick-off meeting Design of update mechanism Actor model for new soot